jpf（java path-finder）能否用于web应用程序。我有一个web应用程序（struts应用程序）。现在我如何使用jpf测试/验证它。main方法是否必须运行jpf并查找结果？因为在一个servlet中，我们没有一个main方法，我们如何实现这个方法？
最佳答案
您可以使用jpf的符号执行扩展来“运行”单个方法：
http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc
不过，我自己也没用过。
jpf（java path-finder）能否用于web应用程序。我有一个web应用程序（struts应用程序）。现在我如何使用jpf测试/验证它。main方法是否必须运行jpf并查找结果？因为在一个servlet中，我们没有一个main方法，我们如何实现这个方法？
最佳答案
您可以使用jpf的符号执行扩展来“运行”单个方法：
http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc
不过，我自己也没用过。