用于Web应用程序的JPF（Java Path finder）

Question

可以将JPF（Java Path Finder）用于Web应用程序。我有一个Web应用程序（struts应用程序）。现在我如何使用JPF测试\验证它。主要方法是否必须运行jpf并查找结果？因为在Servlet中我们没有主要的方法，我们如何处理这个问题？

Answer 1

您可以使用JPF的符号执行扩展来“运行”单个方法： http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc

不过我自己没用过。