用于Web应用程序的JPF（Java Path finder）
[英]JPF(Java Path finder) for web application
问题描述
Can JPF(Java Path Finder) be used for web applications. 
可以将JPF（Java Path Finder）用于Web应用程序。 I have a web application (struts application). 我有一个Web应用程序（struts应用程序）。 Now how do i test\\verify it using JPF. 现在我如何使用JPF测试\\验证它。 Does a main method is mandatory to run jpf and find the results? 主要方法是否必须运行jpf并查找结果？ because in a Servlet we dont have a main method and how do we approach for this? 因为在Servlet中我们没有主要方法，我们如何处理这个问题呢？
1 个解决方案
解决方案1
1 2011-10-03 20:14:40
You can use JPF's symbolic execution extension to "run" a single method: http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc 您可以使用JPF的符号执行扩展来“运行”单个方法： http ： //babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc
Haven't used it myself, though. 但是，我自己没有用过它。
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.