Интегрируйте Polyspace с MATLAB и Simulink

Polyspace^® Bug Finder™ и Polyspace Code Prover™ являются отдельными продуктами. Установите эти Продукты polyspace при помощи MathWorks^® инсталлятор. Смотрите Polyspace Установки с Другими Продуктами Mathworks.

Установите Polyspace в различной корневой папке от других Продуктов Mathworks. Например, в Windows^®:

Ваш MATLAB по умолчанию^® корневой папкой является C:\Program Files\MATLAB\R2021b.
Вашей корневой папкой Polyspace по умолчанию является C:\Program Files\Polyspace\R2021b.

Запускать Polyspace из MATLAB, Simulink^®, или MATLAB Coder™, выполните шаг постустановки, чтобы интегрировать Polyspace с MATLAB и Simulink.

Процесс интеграции и поддерживаемые релизы MATLAB могут отличаться для предыдущих релизов Polyspace. Проверяйте документацию своего релиза, если у вас есть Polyspace от более старого релиза.

Интегрируйте Polyspace с MATLAB или Simulink от того же релиза

Если ваш Polyspace и MATLAB оба от того же релиза, интегрируют их после установки на:

Запустите анализ Polyspace кода C/C++, который сгенерирован из модели или включен как пользовательский код в модели из Редактора Simulink. Можно также использовать скрипт MATLAB, чтобы запустить такие исследования.
Смотрите анализ Code Prover в Simulink.
Запустите анализ Polyspace кода C/C++, который сгенерирован из кода MATLAB при помощи Приложения MATLAB Coder (если у вас есть Embedded Coder^®).
Смотрите анализ Code Prover в MATLAB Coder.
Запустите анализ Polyspace рукописного кода C/C++ при помощи скриптов MATLAB.
Смотрите анализ Code Prover со Скриптами MATLAB.

Необходимое условие

Прежде чем вы интегрируете Polyspace с MATLAB или Simulink от того же релиза, определите, интегрированы ли ваш MATLAB или Simulink уже с Polyspace. Смотрите Интегрирование Проверки Между MATLAB и Polyspace.

Интегрируйте Polyspace с MATLAB или Simulink

Откройте MATLAB с правом администратора или полномочием пользователя root.
В командной строке MATLAB введите:
```
polyspacesetup('install');
```
Если вы установили Polyspace в папке C:\Program Files\Polyspace\R2021b по умолчанию, команда интегрирует Polyspace с MATLAB. Если установка Polyspace не обнаруживается в местоположении по умолчанию, вам предлагают местоположение установки. В качестве альтернативы используйте:
```
polyspacesetup('install', 'polyspaceFolder', Folder)
```
где Folder папка установки Polyspace. Вам можно предложить, что рабочая область будет очищена и что будут закрыты все открытые модели. Нажмите Yes. Процесс может занять несколько минут, чтобы завершиться. Избегать интерактивных подсказок, введите:
```
polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
```
Перезапустите MATLAB. Этот процесс не интегрирует документацию Polyspace с Браузером документации MATLAB.

В дополнение к использованию приглашения командной строки можно также выполнить интегрирование при помощи скрипта. Смотрите Интегрируют Polyspace Нев интерактивном режиме с MATLAB в Командной строке при помощи - пакет.

Можно интегрировать MATLAB только с одним экземпляром Polyspace. Чтобы объединяться с различным экземпляром Polyspace, удалите текущее интегрирование. В командной строке MATLAB введите:

polyspacesetup('uninstall')

Этот шаг удаляет только интегрирование между MATLAB и Polyspace. Чтобы удалить экземпляр Polyspace, используйте инсталлятор MathWorks.

Интегрируйте Polyspace с MATLAB или установкой Simulink от более раннего релиза

В определенных случаях возможно интегрировать Polyspace с MATLAB или Simulink от более раннего релиза. Это интегрирование перекрестного релиза предлагает ограниченную функциональность. В рабочем процессе перекрестного релиза:

Можно запустить анализ Polyspace сгенерированного кода C/C++ в командном окне MATLAB.
Вы не можете анализировать пользовательский код, включенный в модели или рукописный код.
Вы не можете запустить исследования Polyspace с Редактора Simulink или Приложения MATLAB Coder.

Смотрите поддержку Polyspace MATLAB и Simulink от различных релизов.

Необходимое условие

Чтобы выполнить интегрирование перекрестного релиза, все эти условия должны быть верными:

Ваш MATLAB или Simulink должны поддержать интеграцию перекрестного релиза с Polyspace. Смотрите Поддержку Polyspace MATLAB и Simulink от Различных Релизов.
Ваш MATLAB или Simulink уже не интегрированы с Polyspace.To, определяют, интегрирован ли Polyspace уже, смотрите Интегрирование Проверки Между MATLAB и Polyspace.

Интегрируйте Polyspace с перекрестным релизом MATLAB или Simulink

Откройте MATLAB.
В командной строке MATLAB введите:
```
polyspacesetup('install', 'polyspaceFolder', Folder)
```
где FOLDER папка установки Polyspace. Вам можно предложить, что рабочая область будет очищена и что будут закрыты все открытые модели. Нажмите Yes. Процесс может занять несколько минут, чтобы завершиться. Избегать интерактивных подсказок, введите:
```
polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
```
Перезапустите MATLAB. Этот процесс интеграции не интегрирует документацию Polyspace с Браузером документации MATLAB.

polyspacesetup('uninstall')

Проверяйте интегрирование между MATLAB и Polyspace

Чтобы определить, соединяется ли MATLAB уже с Polyspace, открытым MATLAB и входит:

ver

Вы видите список установленных продуктов. Если Polyspace интегрирован с MATLAB, вы видите Продукты polyspace в списке.

Интегрирование MATLAB и Polyspace добавляет некоторые подпапки установки Polyspace в путь поиска файлов MATLAB. Видеть добавленные пути, введите:

polyspacesetup('showpolyspacefolders')

Смотрите также

polyspacesetup

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