3
Может использоваться JPF (Java Path Finder) для веб-приложений. У меня есть веб-приложение (приложение struts). Теперь как проверить/проверить его с помощью JPF. Требуется ли основной метод для запуска jpf и поиска результатов? потому что в сервлете у нас нет основного метода и как мы к этому подходим?JPF (Java Path finder) для веб-приложения
Вы когда-нибудь писали пользовательский сервлет? Кажется, нет. Сервлет имеет метод 'do' для каждого метода HTTP. –
Мой вопрос: если вы перейдете к источнику JPF, вы увидите, что он в классе gov.nasa.jpf.jvm.JVM ищет имя и аргументы основного класса. Теперь у сервлета много точек входа, например doGet/doPost /. Как сделать мой doGet в качестве точки входа. Будет изучен некоторый источник выборки. –
Вызов вашего сервлета с помощью HTTP GET. –