Интеграция Polyspace с MATLAB и Simulink

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

Установите Polyspace в другую корневую папку от других продуктов MathWorks. Например, в Windows^®:

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

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

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

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

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

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

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

Прежде чем интегрировать Polyspace с MATLAB или Simulink из того же релиза, определите, интегрирован ли ваш MATLAB или Simulink с Polyspace. См. Раздел «Проверка интегрирования между MATLAB и Polyspace».

Интеграция Polyspace с MATLAB или Simulink

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

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

Можно интегрировать 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 из различных релизов.

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

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

Ваш MATLAB или Simulink должны поддерживать кросс-релизное интегрирование с Polyspace. Смотрите Поддержку Polyspace MATLAB и Simulink из различных релизов.
Ваш MATLAB или Simulink еще не интегрирован с Polyspace.Чтобы определить, интегрирован ли Polyspace, смотрите Проверку интегрирования между MATLAB и Polyspace.

Интеграция Polyspace с Cross-Release 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

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