在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. 选择在步骤1中下载的 gov-nasa-jpf-netbeans-runjpf.nbm 文件
9. 选择安装
10. 同意许可协议
11. 重新启动Netbeans

我建议在选择安装和同意许可之间再次休息。美国宇航局倾向于期望人们过于努力。