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

Question

我想从另一个java项目中使用JPF（Java Path Finder）。

我已完成的步骤：

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')

请帮我解决这个问题。

更新

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

Answer 1

我希望现在还为时不晚。 我正在为JPF使用Eclipse插件 从另一个java项目运行JPF。我需要创建一个jpf.properties文件来设置配置。使用eclipse插件，可以在创建JPF项目时自动生成。在jpf.properties文件中，需要将.classpath和.sourcepath配置设置为您的测试文件（始终来自build \ XXX，因为JPF正在加载java字节码）。 然后右键单击.jpf文件并单击“Verify”（eclipse插件）。在此之前，我需要告诉关于jpf-core目录的eclipse。只需创建一个site.properties文件，然后编写“jpf-core = your JPFdirectory”即可。谢谢。
根据JPF权威的建议，使用插件支持，JPF更容易，更快捷。

Answer 2

您的其他项目需要引用包含Test类的项目。否则它显然不在类路径上。检查Build-Path下的Project选项卡。