使用另一个Java项目中的Java路径查找器

我想使用另一个Java项目中的JPF（Java路径查找器）

我已采取的步骤：

我创建了一个新的Java项目

在构建路径中引用了jpf核心

创建了一个打印Hello world的java类（Test.java）（在我的新项目中）

创建了一个.jpf文件（Test.jpf），目标=Test

在我提到的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链接？

您的其他项目需要引用包含测试类的项目。否则，它显然不在类路径上。检查“生成路径”下的“项目”选项卡。

我希望这不会太晚。 我正在为JPF使用Eclipse插件。
从另一个java项目运行JPF。我需要创建一个jpf.properties文件来设置配置。使用eclipse插件，它可以在创建JPF项目时自动生成。在jpf.properties文件中，需要将.classpath和.sourcepath配置设置为测试文件（始终从build\XXX开始，因为jpf正在加载java字节码）。 然后右键单击.jpf文件并单击“验证”（eclipse插件）。在此之前，我需要向eclipse介绍jpf核心目录。只需创建一个site.properties文件并编写“jpf core=yourfdirectory”即可。谢谢。

---

正如JPF权威机构所建议的，JPF使用插件支持更容易、更快

我想你们搞错了，我的项目包含测试类和.jpf文件，我指的是jpf核心项目。现在当我执行.jpf文件时。我得到了问题中提到的错误，所以我还是不明白。你能澄清你的问题并展示你的项目布局吗？文件夹和用于启动它的命令？（说实话，我不明白为什么这么多人在类路径方面有问题…：-/）@angelo'Sphere：当然，如果你使用过Java路径查找器，你可能已经知道jpf-core了。jpf核心是用于运行jpf应用程序的主库/jar。我的项目（名称：TestProject）包含两个文件1.）Test.java，这是SUT（测试中的系统）。2.）Test.jpf文件，jpf core使用该文件运行我的SUT。我还在构建路径中引用了jpf核心。但是我得到了问题中提到的错误。你必须逆转项目的依赖性。这是你回答的第一个问题。你在JPF工作过吗？如果你知道的话，你的项目应该参考jpf-core.oki，这是非常基本的事情。。。。那就算了吧。如果您不想告诉Java文件在哪里，JPF应该如何找到它？