Использование JavaPathFinder в Netbeans

Question

Я пытаюсь запустить Java Pathfinder (JPF) в среде IDE Netbeans, чтобы я мог выполнить тестирование. На веб-сайте JPF есть ссылка на сайт netbeans о том, как это сделать, но, конечно, этот документ больше не существует.

Кто-нибудь знает, как это сделать, или вы можете указать мне правильное направление?

Answer 1

Хм, похоже, что не многие люди используют JPF ... Или, по крайней мере, не используют JPF и Netbeans.

На сайте НАСА есть страница, которая проинструктирует вас (просто убедитесь, что вы скачали последнюю версию).

Чтобы вам не нужно было нажимать на ссылку, я включил следующие инструкции:

1. Скачать и установить jpf-core , например из Mercurial репозитория
2. [Необязательно] Загрузите и установите jpf-shell , если вы хотите использовать JPF Swing UI
3. -------------- сделать перерыв ---------------
4. Загрузите файл gov-nasa-jpf-netbeans-runjpf.nbm , прикрепленный к этой странице.
5. Из NetBeans перейдите в Инструменты-> Плагины (Alt + T, затем Alt + g)
6. Выберите вкладку «Загруженные»
7. Нажмите кнопку «Добавить плагины ...» (Alt + A)
8. Выберите файл gov-nasa-jpf-netbeans-runjpf.nbm , который был загружен на шаге 1
9. Выберите установить
10. Согласен с Лицензионным соглашением
11. Перезапустить Netbeans

Я бы предложил еще один перерыв между выбором установки и принятием лицензии. НАСА склонно ожидать, что люди будут слишком усердно работать.