【发布时间】：2011-08-22 14:57:30
【问题描述】：
JPF(Java Path Finder) 能否用于 Web 应用程序。我有一个 Web 应用程序（struts 应用程序）。现在我如何使用 JPF 测试\验证它。运行 jpf 并查找结果是否必须使用 main 方法？因为在 Servlet 中我们没有 main 方法，我们该如何处理呢？
【问题讨论】：
-
你写过自定义的servlet吗？似乎没有。 servlet 对每个 HTTP 方法都有一个
do方法。 -
我的问题是，如果您访问 JPF 源代码，您可以在 gov.nasa.jpf.jvm.JVM 类中看到它正在寻找主类名和参数，现在 Servlet 有很多入口点像 doGet/doPost/... 我如何让我的 doGet 作为入口点。一些示例源将不胜感激。
-
通过使用 HTTP GET 调用您的 servlet。
-
你的意思是写一个main方法，调用servlet服务方法，但是Servlet应该在容器中运行吧？
-
Michael-O：我是硕士研究生，在 Struts、Springs 和其他 MVC 框架方面有 4 年的行业经验 :) 现在我的问题不在于 Servlet 或 struts，而在于 JPF(Java路径查找器）。您曾经在 Web 应用程序中使用过 JPF 吗？如果是这样，请告诉我你是怎么做到的，这就足够了。提前致谢。
标签： java path-finding