用於web應用程序的JPF（Java路徑查找程序）

可以將JPF（Java路徑查找程序）用於web應用程序。我有一個Web應用程序（struts應用程序）。現在我如何測試\使用JPF驗證它。主要方法是否必須運行jpf並查找結果？因爲在一個Servlet中我們沒有一個主要的方法，我們該如何解決這個問題？用於web應用程序的JPF（Java路徑查找程序）

來源

2011-08-22 Kishore DVS

你有沒有寫過一個自定義的servlet？似乎沒有。每個HTTP方法都有一個「do」方法。 –

我的問題是，如果你去JPF的來源，你可以看到它在gov.nasa.jpf.jvm.JVM類，他們正在尋找主類名稱和參數，現在一個Servlet有許多入口點，如doGet/doPost/.. 。我如何讓我的doGet成爲切入點。一些示例源將受到讚賞。 –

通過HTTP GET調用你的servlet。 –

您可以使用JPF的符號執行擴展「跑」了一個方法： http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc

沒有用它自己，雖然。

來源

2011-10-03 20:14:40 ShiDoiSi

用於web應用程序的JPF（Java路徑查找程序）

回答

相關問題