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

Начиная с R2019a, можно установить Polyspace^® Bug Finder™ и Polyspace Code Prover™ как отдельные продукты и анализировать код C/C++. Однако можно взаимодействовать с другими продуктами MathWorks^® этими способами:

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

Если вы устанавливаете Продукты polyspace и другие Продукты Mathworks, такие как MATLAB, Simulink Coder или Embedded Coder, необходимо запустить установщика MATLAB дважды и Polyspace установки в различной корневой папке от других продуктов. Например, в Windows^®:

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

Чтобы запустить Polyspace из MATLAB, Simulink или MATLAB Coder, необходимо выполнить шаг постустановки, чтобы соединить MATLAB и установки Polyspace.

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

Если ваш Polyspace и установки MATLAB принадлежат тому же релизу, можно использовать все функции MATLAB и классы, доступные для рабочего Polyspace. Можно также запустить Polyspace на сгенерированном коде в редакторе Simulink или Приложении MATLAB Coder (с лицензией Embedded Coder).

Соединить ваш MATLAB и установки Polyspace:

Откройте MATLAB с правами администратора.
Перейдите к polyspaceroot\toolbox\polyspace\pscore\pscore\. Здесь, polyspaceroot папка установки Polyspace, например, C:\Program Files\Polyspace\R2020a.
В командной строке MATLAB введите:
```
polyspacesetup('install')
```
Вы видите, что подсказка утверждает, что рабочая область будет очищена и все открытые закрытые модели. Нажмите Yes, чтобы продолжить соединение. Процесс может занять несколько минут, чтобы завершиться.
Избегать подсказки во время установки, введите:
```
polyspacesetup('install', 'silent', true)
```
Перезапустите MATLAB. Можно теперь использовать все функции и классы, доступные для рабочего Polyspace.

Установка MATLAB может быть соединена только с одной установкой Polyspace. Чтобы соединиться с новой установкой Polyspace, любые предыдущие ссылки должны быть удалены. Удалить ссылку между Polyspace и установкой MATLAB, в командной строке MATLAB, введите:

polyspacesetup('uninstall')

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

Можно соединить установку Polyspace с более ранним релизом Simulink. Релиз Simulink может быть самое большее 4 релизами позади релиза Polyspace и не должен был уже устанавливать Polyspace в той же папке. Например, можно соединить релиз R2017b Simulink с релизом R2019a Polyspace, если релиз R2017b уже не имеет Polyspace в нем. Единственное исключение - то, что релиз R2020a Polyspace не может быть соединен в частности с релизом R2019b Simulink. Чтобы проверять, установлен ли Polyspace уже, смотрите Интегрирование Проверки Между MATLAB и Polyspace.

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

Соединить релиз R2017b Simulink с релизом R2019a Polyspace, на вашем шаге постустановки:

Откройте MATLAB от более раннего релиза (R2017b) с правами администратора.
Перейдите к polyspaceroot\toolbox\polyspace\pscore\pscore\. Здесь, polyspaceroot папка установки более позднего релиза (R2019a) Polyspace.
В командной строке MATLAB введите:
```
polyspacesetup('install')
```
Вы видите, что подсказка утверждает, что рабочая область будет очищена и все открытые закрытые модели. Нажмите Yes, чтобы продолжить соединение.
Избегать подсказок во время установки, введите:
```
polyspacesetup('install', 'silent', true)
```
Перезапустите MATLAB.

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

Используйте функции pslinkoptions, pslinkrun и pslinkfun запускать Polyspace на сгенерированном коде.
Запустите Polyspace на коде C/C++, сгенерированном из моделей в редакторе Simulink.

Можно только проверить сгенерированный код. Вы не можете проверить рукописный код C/C++ в S-функциях и блоках Вызывающей стороны C.

Кроме того, вы не можете:

Используйте polyspace.Project, polyspace.Options и polyspace.ModelLinkOptions классы или polyspaceCodeProver и polyspaceBugFinder функции.
Запустите Polyspace на коде C/C++, сгенерированном из кода MATLAB в Приложении MATLAB Coder.

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

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

ver

Вы видите список установленных продуктов. Если Polyspace соединяется с MATLAB (после R2019a) или в той же папке установки как MATLAB (до R2019a), вы видите Продукты polyspace в списке.

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

polyspacesetup('showpolyspacefolders')

До R2019a, если Polyspace установлен в той же папке как MATLAB к перекрестной ссылке на более новую версию Polyspace, не обновляя MATLAB, необходимо удалить более старый Polyspace с помощью деинсталлятора MATLAB. После R2019a можно просто удалить ссылку между установкой MATLAB и Polyspace. Удалить существующую ссылку между MATLAB и Polyspace, в командной строке MATLAB, введите:

polyspacesetup('uninstall')

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