在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的

我会建议选择安装和同意许可证之间的另一个中断。美国国家航空航天局有一种倾向，希望人们努力工作。