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

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