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

Эта тема показывает, как установить или удалить плагин Polyspace® для Eclipse™.

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

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

Устанавливать плагин 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\R2019a.

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

  • Меню Polyspace

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

Плагин Polyspace Uninstall для Eclipse IDE

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

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

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

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

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

Похожие темы