我想使用另一个Java项目中的JPF（Java路径查找器）。
我已经完成的步骤：
我创建了一个新的Java项目
在构建路径中引用了jpf-core。
创建了一个java类（Test.java），用于打印Hello world（在我的新项目中）。
我已经提到创建了一个.jpf文件（Test.jpf），target = 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')
请帮助我解决此问题。
更新：
我是否需要编写任何提及我的Test类文件的类路径的属性文件？如果我写了，该如何将它们与jpf.properties链接起来？
最佳答案
我希望这还不算太晚。
我正在使用JPF的Eclipse插件。
从另一个Java项目运行JPF。我需要创建一个jpf.properties文件来设置配置。使用eclipse插件，可以在创建JPF项目时自动生成它。在jpf.properties文件中，需要将.classpath和.sourcepath配置设置为测试文件（由于JPF正在加载Java字节码，因此始终从build \ XXX开始）。
然后右键单击.jpf文件，然后单击“验证”（Eclipse插件）。在开始之前，我需要先向Eclipse讲解jpf-core目录。只需创建一个site.properties文件并编写“ jpf-core = your JPFdirectory”即可。谢谢。
正如JPF权威所建议的那样，通过插件支持，JPF变得更加容易和快捷。