Начиная с 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\R2019a.
Вашей корневой папкой Polyspace по умолчанию является C:\Program Files\Polyspace\R2019a.
Чтобы запустить Polyspace из MATLAB, Simulink или MATLAB Coder, необходимо выполнить шаг постустановки, чтобы соединить MATLAB и установки Polyspace.
Если ваш Polyspace и установки MATLAB принадлежат тому же релизу, можно использовать все функции MATLAB и классы, доступные для рабочего Polyspace. Можно также запустить Polyspace на сгенерированном коде в редакторе Simulink или Приложении MATLAB Coder (с лицензией Embedded Coder).
Соединить ваш MATLAB и установки Polyspace:
Откройте MATLAB с правами администратора.
Перейдите к polyspaceroot\toolbox\polyspace\pscore\pscore\polyspacerootC:\Program Files\Polyspace\R2019a.
В командной строке MATLAB, введите:
polyspacesetup('install')Вы видите, что подсказка утверждает, что рабочая область будет очищена и все открытые закрытые модели. Нажмите Yes, чтобы продолжить соединение. Процесс может занять несколько минут, чтобы завершиться.
Перезапустите MATLAB. Можно теперь использовать все функции и классы, доступные для рабочего Polyspace.
Установка MATLAB может быть соединена только с одной установкой Polyspace. Чтобы соединиться с новой установкой Polyspace, любые предыдущие ссылки должны быть удалены. Удалить ссылку между Polyspace и установкой MATLAB, в командной строке MATLAB, введите:
polyspacesetup('uninstall')
Можно соединить установку Polyspace с более ранним релизом Simulink. Релиз Simulink может быть самое большее 4 релизами позади релиза Polyspace и не должен был уже устанавливать Polyspace в той же папке. Например, можно соединить релиз R2017b Simulink с релизом R2019a Polyspace, если релиз R2017b уже не имеет Polyspace в нем. Чтобы проверять, установлен ли Polyspace уже, смотрите Интегрирование Проверки Между MATLAB и Polyspace.
Если вы соединяете Polyspace и установку Simulink от различных релизов, можно использовать только подмножество функций MATLAB, которые применяются к Simulink.
Соединить релиз R2017b Simulink с релизом R2019a Polyspace, на вашем шаге постустановки:
Откройте MATLAB от более раннего релиза (R2017b) с правами администратора.
Перейдите к polyspaceroot\toolbox\polyspace\pscore\pscore\polyspaceroot
В командной строке MATLAB, введите:
polyspacesetup('install')Вы видите, что подсказка утверждает, что рабочая область будет очищена и все открытые закрытые модели. Нажмите Yes, чтобы продолжить соединение. Процесс может занять несколько минут, чтобы завершиться.
Перезапустите 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 и входит:
ver
До R2019a, если Polyspace установлен в той же папке как MATLAB к перекрестной ссылке на более новую версию Polyspace, не обновляя MATLAB, необходимо удалить более старый Polyspace с помощью деинсталлятора MATLAB. После R2019a можно просто удалить ссылку между установкой MATLAB и Polyspace. Удалить существующую ссылку между MATLAB и Polyspace, в командной строке MATLAB, введите:
polyspacesetup('uninstall')