在Netbeans中使用JavaPathFinder

Question

我想在Netbeans IDE中運行Java Pathfinder（JPF），以便執行測試。在JPF網站上，它提供了一個關於如何做到這一點的netbeans網站的鏈接，當然這個文檔不再存在。

有誰知道如何做到這一點，或者你可以指出我在正確的方向嗎？

Answer 1

嗯，似乎沒有很多人使用JPF ...或者至少不使用JPF和Netbeans。

NASA's site has a page that will instruct you（只要確保您下載最新版本）。

，這樣你就不需要點擊一個鏈接，我已經包括以下說明：

1. 下載並安裝jpf-core，例如從Mercurial repository
2. [可選]如果要使用JPF Swing UI，請下載並安裝jpf-shell
3. --------------休息-------- -------
4. 下載附加到此頁面的gov-nasa-jpf-netbeans-runjpf.nbm文件。
5. 從NetBeans中轉到工具>插件（Alt + T鍵，然後Alt + G）
6. 選擇 '下載' 選項卡
7. 單擊 '添加插件...' 按鈕（ALT + A）
8. 選擇GOV-NASA-JPF-於NetBeans runjpf.nbm文件已在步驟下載1
9. 選擇安裝
10. 同意許可協議
11. 重新啓動Netbeans的

我會建議選擇安裝和同意許可證之間的另一箇中斷。美國國家航空航天局有一種傾向，希望人們努力工作。