java - 使用另一个 java 项目中的 Java Path Finder

Question

我想使用另一个 java 项目中的 JPF(Java 路径查找器)。

我已完成的步骤:

1. 我创建了一个新的 Java 项目

2. 在构建路径中引用了 jpf-core。

3. 创建了一个 java 类(Test.java)打印 Hello world(在我的新项目中)。

4. 创建了一个 .jpf 文件 (Test.jpf)，我已经提到过，target=Test。

5. 在我提到的 eclipse 启动配置中

   project = jpf-core
   Main Class = gov.nasa.jpf.tool.RunJPF
   

我的问题是，如果我将相同的 .java 文件和 .jpf 文件放在 jpf-core 项目的 jpf-core/examples 包中，我就可以运行 jpf 文件并获得结果。但是当我尝试从另一个 java 项目运行 .jpf 时，我无法这样做。我收到以下错误

[SEVERE] can't find startup class: Test`
[SEVERE] error initializing startup classes (check 'classpath')

请帮我解决这个问题。

更新:

我是否必须编写任何属性文件来提及我的测试类文件的类路径？如果我这样写，如何将它们与 jpf.properties 链接起来？

Answer 1

我希望这还不算太晚。我正在使用 JPF 的 Eclipse 插件。
从另一个 java 项目运行 JPF。我需要创建一个 jpf.properties 文件来设置配置。使用eclipse插件，可以在创建JPF项目时自动生成。在 jpf.properties 文件内，需要将 .classpath 和 .sourcepath 配置设置为您的测试文件(始终来自 build\XXX，因为 JPF 正在加载 java 字节码)。然后右键单击 .jpf 文件并单击“验证”(eclipse 插件)。在此之前，我需要告诉 Eclipse jpf-core 目录。只需创建一个 site.properties 文件并写入“jpf-core = your JPFdirectory”即可完成。谢谢。
根据 JPF 权威机构的建议，JPF 通过插件支持变得更简单、更快捷。