Используйте Java Path Finder из другого Java-проекта
Я хочу использовать JPF (Java Path Finder) из другого Java-проекта.
Шаги, которые я сделал:
- Я создал новый проект Java
- Ссылка на ядро jpf в пути сборки.
- Создан Java-класс (Test.java) для печати Hello world (в моем новом проекте).
- Создал файл.jpf (Test.jpf), в котором я упоминал, target=Test.
В конфигурации запуска затмения я упомянул
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')
Пожалуйста, помогите мне решить эту проблему.
Обновить:
Должен ли я написать какой-либо файл свойств с указанием пути к классам моих файлов класса Test? Если я напишу так, как мне связать их с jpf.properties?
2 ответа
Надеюсь, еще не поздно. Я использую 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 проще и быстрее с поддержкой плагинов.
Ваш другой проект должен ссылаться на проект, который содержит класс Test. В противном случае это явно не на пути к классам. Проверьте вкладку Project в Build-Path.