Интеграция 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 из Coder™ MATLAB, Simulink ® или MATLAB выполните шаг после установки для интеграции Polyspace с MATLAB и Simulink.

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

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

Если Polyspace и MATLAB имеют одинаковую версию, их следует интегрировать после установки в:

Выполните анализ Polyspace для кода C/C + +, созданного из модели или включенного в модель в качестве пользовательского кода из редактора Simulink. Для выполнения таких анализов можно также использовать скрипт MATLAB.
См. раздел Анализ пространства в Simulink.
Выполните анализ Polyspace для кода C/C + +, который создается из кода MATLAB с помощью приложения MATLAB Coder App (если у вас есть Embedded ^Coder ®).
См. раздел Анализ пространства в кодере MATLAB.
Выполните анализ Polyspace для написанного вручную кода C/C + + с помощью сценариев MATLAB.
См. раздел Анализ в пространстве с помощью сценариев 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. Может быть предложено очистить рабочую область и закрыть все открытые модели. Нажмите «Да». Процесс может занять несколько минут. Чтобы избежать интерактивных запросов, введите:
```
polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
```
Перезапустите MATLAB. Этот процесс не интегрирует документацию Polyspace с обозревателем справки MATLAB.

Помимо командной строки, можно также выполнить интеграцию с помощью сценария. См. раздел Неинтерактивная интеграция полипространства с MATLAB в командной строке с помощью параметра -batch.

MATLAB можно интегрировать только с одним экземпляром Polyspace. Для интеграции с другим экземпляром Polyspace удалите текущую интеграцию. В командной строке MATLAB введите:

polyspacesetup('uninstall')

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

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

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

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

См. раздел Поддержка Polyspace для MATLAB и Simulink из различных версий.

Предпосылка

Для выполнения интеграции между выпусками должны быть выполнены все следующие условия:

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. Может быть предложено очистить рабочую область и закрыть все открытые модели. Нажмите «Да». Процесс может занять несколько минут. Чтобы избежать интерактивных запросов, введите:
```
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

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