Может использоваться JPF (Java Path Finder) для веб-приложений. У меня есть веб-приложение (приложение struts). Теперь как проверить/проверить его с помощью JPF. Требуется ли основной метод для запуска jpf и поиска результатов? потому что в сервлете у нас нет основного метода и как мы к этому подходим?JPF (Java Path finder) для веб-приложения
3
A
ответ
1
Вы можете использовать символическое расширение исполнения ССПМ на «запустить» один метод: http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc
не использовал его сам, хотя.
Смежные вопросы
- 1. Graph path finder
- 2. ScriptingBridge Finder POSIX path
- 3. Path код Finder, __getitem__ TypeError
- 4. Есть ли программное обеспечение для проверки модели (например, Java Path Finder), но для C#?
- 5. Как улучшить производительность моего A * path finder?
- 6. C Программирование - Stern-Brocot Tree path finder
- 7. Files.move (Path, Path) в Java
- 8. Eclipse java автоматический метод finder
- 9. Невозможно запустить команду jpf: исключение JPF, завершение: ошибка чтения класса java.lang.reflect.AnnotatedElement
- 10. Как сделать плагин для [Path] Finder для просмотра zip-архивов в виде папок?
- 11. java spring dependency path class path
- 12. JAVA CLASS PATH
- 13. Java Complex Path Collision
- 14. java path independent
- 15. Java: ZipFile using Path
- 16. Как анализировать нативный метод с JPF
- 17. Как обойти исключение null-указателя? #JPF
- 18. Сжатие Java Path
- 19. java class path issue
- 20. java set path hsqldb
- 21. Force java path mac
- 22. Команда Automator для обновления ALL Finder/all Finder Windows
- 23. Java bootstrap class path
- 24. .class path api java
- 25. Java configure build path
- 26. Java Build Path
- 27. java path issue
- 28. Underground Shortest Path - Java
- 29. Java Path ZeroMQ установки
- 30. Параметр командной строки Java для изменения PATH
Вы когда-нибудь писали пользовательский сервлет? Кажется, нет. Сервлет имеет метод 'do' для каждого метода HTTP. –
Мой вопрос: если вы перейдете к источнику JPF, вы увидите, что он в классе gov.nasa.jpf.jvm.JVM ищет имя и аргументы основного класса. Теперь у сервлета много точек входа, например doGet/doPost /. Как сделать мой doGet в качестве точки входа. Будет изучен некоторый источник выборки. –
Вызов вашего сервлета с помощью HTTP GET. –