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

Question

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

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

Answer 1

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

NASA's site has a page that will instruct you (просто убедитесь, что вы загрузите последнюю версию).

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

1. Скачать и установить jpf-core, например, от Mercurial repository
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. Выберите гов-наса-JPF-Netbeans-runjpf.nbm файл, который был загружен в шаге 1
9. Выбор установки
10. согласен с условиями лицензионного соглашения
11. Restart Netbeans

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