Эта тема показывает, как установить или удалить плагин Polyspace® для Eclipse™.
Плагин Polyspace поддерживается для версий Eclipse 4.7 к 4,9. Можно установить плагин Polyspace только после вас:
Установите и настройте Интегрированную среду разработки (IDE) Eclipse. Для получения дополнительной информации см. документацию Eclipse в www.eclipse.org.
Установите Java® 8 или более новый. См. документацию Java в www.java.com.
Если вы сталкиваетесь с проблемами из-за несовместимых версий Java, смотрите Версию Eclipse Java, Несовместимую с Плагином Polyspace.
Uninstall любые предыдущие плагины Polyspace. Для получения дополнительной информации смотрите Плагин Polyspace Uninstall для Eclipse IDE.
Устанавливать плагин Polyspace:
Из редактора Eclipse выберите Help> Install New Software. Мастер Установки открывается, отображая страницу Available Software.
Нажмите Add, чтобы открыть диалоговое окно Add Repository.
В поле Name задайте имя для своего сайта Polyspace, например, Polyspace_Eclipse_PlugIn
.
Нажмите Local, чтобы открыть диалоговое окно Browse for Folder.
Перейдите к
папка. Затем нажмите OK.polyspaceroot
\polyspace\plugin\eclipse
папка установки для Продукта polyspace.polyspaceroot
Нажмите OK, чтобы закрыть диалоговое окно Add Repository.
На странице Available Software выберите Polyspace Plugin for Eclipse
.
Нажмите Next.
На странице Install Details нажмите Next.
На странице Review Licenses рассмотрите и примите лицензионное соглашение. Затем нажмите Finish.
Перезапустите Eclipse. Вы можете получить этот prompt:Select the folder where Polyspace Bug Finder was installed
. Введите путь к своей установке Polyspace, например, C:\Program Files\Polyspace\R2020b
.
Если вы устанавливаете плагин в редакторе Eclipse, вы будете видеть:
Меню Polyspace
Polyspace Run - Code Prover, Results List - Code Prover и представление Result Details.
Прежде, чем установить новый плагин Polyspace, необходимо удалить любые предыдущие плагины Polyspace:
В Eclipse выберите Help> About Eclipse.
Выберите Installation Details.
Выберите плагин Polyspace и выберите Uninstall.
Следуйте мастеру удаления, чтобы удалить плагин Polyspace. Необходимо перезапустить Eclipse для изменений, чтобы вступить в силу.