Используйте Java Path Finder из другого Java-проекта

Question

Я хочу использовать JPF (Java Path Finder) из другого Java-проекта.

Шаги, которые я сделал:

1. Я создал новый проект Java
2. Ссылка на ядро ​​jpf в пути сборки.
3. Создание класса java (Test.java) для печати Hello world (в моем новом проекте).
4. Создание файла .jpf (Test.JPF) в том, что я упомянул, цель = Test.

5. В конфигурации запуска затмения я упомянул

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

Моя проблема, если я помещаюодин и тот же файл .java и файл .jpf в пакете jpf-core / examples в проекте jpf-core. Я могу запустить файл jpf и получить результаты.Но когда я пытаюсь запустить .jpf из другого Java-проекта, я не могу этого сделать.Я получаю следующую ошибку

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

Пожалуйста, помогите мне решить эту проблему.

Обновление:

Должен ли я написать какой-либо файл свойств с упоминанием classpath моего Тестафайлы классов?Если я напишу так, как я могу связать их с jpf.properties?

Answer 1

Надеюсь, еще не поздно.Я использую Eclipse Plugin для JPF.
Для запуска JPF из другого Java-проекта.Мне нужно создать файл jpf.properties для настройки конфигурации.С плагином eclipse, и он может быть автоматически сгенерирован при создании проекта JPF.Внутри файла jpf.properties конфиг .classpath и .sourcepath должен быть установлен в ваш тестовый файл (всегда из build \ XXX, поскольку JPF загружает байт-код java).Затем щелкните правой кнопкой мыши на файле .jpf и нажмите «Подтвердить» (плагин eclipse).Перед этим мне нужно рассказать затмению о каталоге jpf-core.Просто создайте файл site.properties и напишите «jpf-core = your JPFdirectory».Спасибо.
В соответствии с рекомендациями JPF, JPF проще и быстрее с поддержкой плагинов.

Answer 2

Ваш другой проект должен ссылаться на проект, который содержит класс Test.В противном случае это явно не на пути к классам.Проверьте вкладку Project в Build-Path.