Exponenta Banner

Установите плагин рабочего стола Polyspace для Eclipse

Эта тема описывает, как установить плагин рабочего стола Polyspace® для анализа полных проектов Eclipse™. Чтобы установить Polyspace как, Вы Кодируете плагин, видите Polyspace Запуска, как Вы Кодируете в Eclipse (Polyspace Bug Finder Access).

После того, как вы установите десктопные решения Polyspace, можно продолжить устанавливать плагин Polyspace для Eclipse.

Установите плагин Polyspace

Плагин Polyspace поддерживается для версий Eclipse 4.11 к 4,18. Можно установить плагин Polyspace только после вас:

  • Установите и настройте Интегрированную среду разработки (IDE) Eclipse. Для получения дополнительной информации см. документацию Eclipse в www.eclipse.org.

  • Установите Java® 8 или более новый. См. документацию Java в www.java.com.

    Если вы сталкиваетесь с проблемами из-за несовместимых версий Java, смотрите Версию Eclipse Java, Несовместимую с Плагином Polyspace.

  • Uninstall любые предыдущие плагины Polyspace. Для получения дополнительной информации смотрите Плагин Polyspace Uninstall.

Устанавливать плагин Polyspace:

  1. Из редактора Eclipse выберите Help> Install New Software. Мастер Установки открывается, отображая страницу Available Software.

  2. Нажмите Add, чтобы открыть диалоговое окно Add Repository.

  3. В поле Name задайте имя для своего сайта Polyspace, например, Polyspace_Eclipse_PlugIn.

  4. Нажмите Local, чтобы открыть диалоговое окно Browse for Folder.

  5. Перейдите к polyspaceroot\polyspace\plugin\eclipse папка. Затем нажмите OK.

    polyspaceroot папка установки для Продукта polyspace.

  6. Нажмите OK, чтобы закрыть диалоговое окно Add Repository.

  7. На странице Available Software выберите Polyspace Plugin for Eclipse.

  8. Нажмите Next.

  9. На странице Install Details нажмите Next.

  10. На странице Review Licenses рассмотрите и примите лицензионное соглашение. Затем нажмите Finish.

  11. Перезапустите Eclipse. Вы можете получить этот prompt:Select the folder where Polyspace Bug Finder was installed. Введите путь к своей установке Polyspace, например, C:\Program Files\Polyspace\R2021a.

Если вы устанавливаете плагин в редакторе Eclipse, вы будете видеть:

  • Меню Polyspace

  • Polyspace Run - Code Prover, Results List - Code Prover и представление Result Details.

Плагин Polyspace Uninstall

Прежде, чем установить новый плагин Polyspace, необходимо удалить любые предыдущие плагины Polyspace:

  1. В Eclipse выберите Help> About Eclipse.

  2. Выберите Installation Details.

  3. Выберите плагин Polyspace и выберите Uninstall.

    Следуйте мастеру удаления, чтобы удалить плагин Polyspace. Необходимо перезапустить Eclipse для изменений, чтобы вступить в силу.

Похожие темы

Документация Polyspace Code Prover

Поддержка