JPF (поиск пути Java) для веб-приложения

Можно ли использовать JPF (Java Path Finder) для веб-приложений. У меня есть веб-приложение (приложение struts). Теперь, как мне проверить\проверить это с помощью JPF. Является ли основной метод обязательным для запуска jpf и поиска результатов? потому что в сервлете у нас нет основного метода, и как нам подойти к этому?


java pathfinder
person Kishore DVS    schedule 22.08.2011    source источник
comment
Вы когда-нибудь писали собственный сервлет? Кажется, нет. Сервлет имеет метод do для каждого метода HTTP.   -  person Michael-O    schedule 22.08.2011
comment
Мой вопрос: если вы перейдете к источнику JPF, вы увидите, что в классе gov.nasa.jpf.jvm.JVM они ищут имя и аргументы основного класса. Теперь сервлет имеет много точек входа, таких как doGet/doPost/... как мне сделать мой doGet точкой входа. Некоторый образец источника будет оценен.   -  person Kishore DVS    schedule 23.08.2011
comment
Вызывая сервлет с помощью HTTP GET.   -  person Michael-O    schedule 23.08.2011
comment
Вы имеете в виду написать основной метод и вызвать метод службы сервлета, но сервлет должен работать в контейнере, верно?   -  person Kishore DVS    schedule 23.08.2011
comment
В некотором роде. Вы когда-нибудь программировали сервлеты? Не похоже. Вы можете вызвать любой код, который вам нравится, в методе do.   -  person Michael-O    schedule 23.08.2011
comment
Майкл-О: Я выпускник магистратуры и имею 4 года промышленного опыта работы со Struts, Springs и другими MVC-фреймворками :) Теперь моя проблема не с сервлетами или стойками, а с JPF (Java Path Finder). Вы когда-нибудь использовали JPF с веб-приложениями? Если да, пожалуйста, скажите мне, как вы это сделали, этого будет достаточно. Заранее спасибо.   -  person Kishore DVS    schedule 24.08.2011
comment
Я не, это просто либа для меня. Поэтому я не вижу проблемы в использовании его с сервлетами.   -  person Michael-O    schedule 24.08.2011
comment
Это не просто библиотека, JPF — это виртуальная машина, созданная поверх JVM. Вы узнаете проблемы, как только вы его используете. Чтобы ответить, вам нужно лучше знать JPF. В любом случае спасибо за ваши ответы.   -  person Kishore DVS    schedule 24.08.2011
comment
Ну, это все усложняет. Может быть, вам следует запускать на разных виртуальных машинах и использовать RMI?   -  person Michael-O    schedule 24.08.2011

Ответы (1)


arrow_upward
1
arrow_downward

Вы можете использовать расширение символьного выполнения JPF для «запуска» одного метода: http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc

Хотя сам не пользовался.

person Volker Stolz    schedule 03.10.2011