Начиная в R2019a, можно установить Polyspace® Bug Finder™ и Polyspace Code Prover™ как отдельные продукты и использовать их, чтобы анализировать код C/C++. Однако можно взаимодействовать с другими продуктами MathWorks® этими способами:
Запустите анализ Polyspace кода C/C++, который сгенерирован от или пользовательского кода С модели, включенного в модель из Редактора Simulink®.
Смотрите анализ Polyspace в Simulink.
Запустите Polyspace после генерации кода C/C++ из кода MATLAB® при помощи Приложения MATLAB Coder™ (если у вас есть лицензия Embedded Coder®).
Смотрите анализ Polyspace в MATLAB Coder.
Используйте скрипты MATLAB, чтобы автоматизировать анализ Polyspace рукописного кода.
Смотрите анализ Polyspace со Скриптами MATLAB.
Если вы устанавливаете Продукты polyspace и другие Продукты Mathworks, такие как MATLAB, Simulink или Embedded Coder, необходимо запустить установщика MATLAB дважды и Polyspace установки в различной корневой папке от других продуктов. Например, в Windows®:
Вашей корневой папкой MATLAB по умолчанию является C:\Program Files\MATLAB\R2020b.
Вашей корневой папкой Polyspace по умолчанию является C:\Program Files\Polyspace\R2020b.
Чтобы запустить Polyspace из MATLAB, Simulink или MATLAB Coder, необходимо выполнить шаг постустановки, чтобы соединить MATLAB и установки Polyspace.
Если ваши установки Polyspace и MATLAB от того же релиза, можно использовать все функции MATLAB и классы, доступные для рабочего Polyspace. Можно также запустить Polyspace на сгенерированном коде в Редакторе Simulink или Приложении MATLAB Coder (если у вас есть Embedded Coder).
Соединить MATLAB и Polyspace от того же релиза:
Откройте MATLAB с правами администратора.
В командной строке MATLAB введите:
polyspacesetup('install', 'polyspaceFolder', FOLDER);FOLDER путь к папке, где вы установили Polyspace. Папкой по умолчанию является C:\Program Files\Polyspace\R2020b. Вам предлагают, что рабочая область будет очищена и все открытые закрытые модели. Нажмите Yes. Процесс может занять несколько минут, чтобы завершиться. Избегать подсказки все вместе, введите:polyspacesetup('install', 'polyspaceFolder', FOLDER, 'silent', true);Перезапустите MATLAB. Можно теперь использовать все функции и классы, доступные для рабочего Polyspace.
Экземпляр установки MATLAB может быть соединен только с одним экземпляром установки Polyspace. Чтобы соединиться с новым экземпляром установки Polyspace, любая существующая ссылка должна быть удалена. Удалить существующую ссылку между Polyspace и MATLAB, в командной строке MATLAB, введите:
polyspacesetup('uninstall')
В определенных случаях возможно интегрировать Polyspace с MATLAB или Simulink от более раннего релиза. Смотрите Поддержку Polyspace MATLAB и Simulink от Различных Релизов.
Интегрирование перекрестного релиза предлагает ограниченную функциональность. В рабочем процессе перекрестного релиза:
Можно запустить анализ Polyspace сгенерированного кода C/C++ в командном окне MATLAB с помощью этих функций:
Вы не можете анализировать пользовательский код, включенный в модели или рукописный код.
Вы не можете запустить исследования Polyspace с Редактора Simulink или Приложения MATLAB Coder.
Чтобы выполнить интегрирование перекрестного релиза, все эти условия должны быть верными:
Ваш MATLAB или Simulink должны поддержать интеграцию перекрестного релиза с Polyspace..
Ваш MATLAB или Simulink уже не интегрированы с Polyspace.To, определяют, интегрирован ли Polyspace уже, смотрите Интегрирование Проверки Между MATLAB и Polyspace.
Соединить более ранний релиз Simulink с текущим релизом Polyspace, на вашем шаге постустановки:
Откройте более ранний релиз MATLAB с правами администратора.
Перейдите к polyspaceroot\toolbox\polyspace\pscore\pscore\polyspaceroot
В командной строке MATLAB введите:
polyspacesetup('install')Вам предлагают, что рабочая область будет очищена и все открытые закрытые модели. Нажмите Yes.
Избегать подсказок во время установки все вместе, введите:
polyspacesetup('install', 'silent', true)
Перезапустите MATLAB.
Чтобы проверять, соединяется ли MATLAB уже с Polyspace, открытым MATLAB и входит:
ver
Интегрирование MATLAB и Polyspace добавляет некоторые подпапки установки Polyspace в путь поиска файлов MATLAB. Видеть добавленные пути, введите:
polyspacesetup('showpolyspacefolders')Перед R2019a, если Polyspace был установлен в той же папке как MATLAB, чтобы интегрировать более новую версию Polyspace, не обновляя MATLAB, необходимо было удалить более старый Polyspace с помощью деинсталлятора MATLAB. После R2019a можно удалить ссылку между Polyspace и MATLAB. Удалить существующую ссылку между MATLAB и Polyspace, в командной строке MATLAB, введите:
polyspacesetup('uninstall')