Polyspace как Вы Расширение кода в Visual Studio® IDE позволяет вам запускать Polyspace на файле, что вы в настоящее время просматриваете и видите результаты анализа, такие как ошибки и кодирование стандартных нарушений. Необходимо установить Polyspace как Вы механизм Анализа кода, чтобы запустить анализ. Расширение позволяет вам указывать на этот аналитический механизм из Visual Studio и показывать результаты, приведенные анализом Polyspace.
Можно установить расширение одним из двух способов:
При выполнении Polyspace, когда Вы Кодируете инсталлятор, выбираете опцию, чтобы установить расширение. Инсталлятор устанавливает Polyspace как Вы механизм Анализа кода и расширение.
Смотрите Polyspace установки, когда вы кодируете Используя инсталлятор.
Если вы устанавливаете только аналитический механизм при выполнении Polyspace, когда Вы Кодируете инсталлятор, используйте инсталлятор Расширения кода Visual Studio (VSIX) файл в более позднее время. Файл VSIX доступен только после того, как вы запустите установщика.
Остальная часть этой темы описывает второй подход, где вы пропускаете установку расширения при запуске установщика и используете файл VSIX, чтобы установить расширение позже.
Можно установить расширение в Visual Studio 2017 и 2019.
Устанавливать расширение в интерактивном режиме:
Дважды кликните VSIX файл в папке polyspaceroot\polyspace\plugin\visual_studio
Здесь, polyspacerootC:\Program Files\Polyspace as You Code\R2021b.
Следуйте за подсказками на экране.
Если вы видите сообщение, которое указывает, что ваш IDE Visual Studio не удовлетворяет необходимым условиям для плагина, и вы используете Visual Studio 2017 или Visual Studio 2019, устанавливаете последние обновления этих версий и пытаетесь переустановить плагин.
После установки, открытой IDE Visual Studio и проверка, что расширение было установлено. Например, в Visual Studio 2019, выберите Extensions> Manage Extensions. Необходимо видеть Polyspace в списке установленных расширений. Можно также отключить или удалить расширение прямо из этого списка.
Если вы хотите установить расширение, не открывая графический интерфейс пользователя, можно запустить установщика VSIX в командной строке с /q флаг.
Устанавливать расширение во всех версиях Visual Studio на машине, введите:
cd VSIXInstallerpath VSIXInstaller.exe /q polyspaceroot\polyspace\plugin\visual_studio\polyspace.vsix
VSIXInstallerpathC:\Program Files (x86)\Microsoft Visual Studio\2019\Professional\Common7\IDE . Устанавливать расширение на определенной Visual Studio версии, установленные на машине, введите:
cd VSIXInstallerpath
VSIXInstaller.exe /q /s:name /v:version ^
polyspaceroot\polyspace\plugin\visual_studio\polyspace.vsixnamePro для выпуска Профессионала Visual Studio и versionmajor.minor16.0 для основной версии Visual Studio 2019. Чтобы удалить расширение тихо, используйте /u флаг.
Для получения дополнительной информации о флагах ищите онлайновую документацию VSIXInstaller или просто войдите:
cd VSIXInstallerpath VSIXInstaller.exe