Начиная с 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, но не свой MATLAB (Simulink) установка, можно соединить установку MATLAB с более поздним релизом Polyspace.
Удалите существующую ссылку между своим Polyspace и установкой MATLAB, как описано в предыдущем разделе. Затем на вашем шаге постустановки перейдите к polyspaceroot\toolbox\polyspace\pscore\pscore\polyspaceroot
polyspacesetup('install')Если вы интегрируете MATLAB с более поздним релизом Polyspace, вы не можете использовать все функции и классы, доступные, чтобы запустить анализ. В частности, вы не можете использовать polyspace.Project, polyspace.Options и классы polyspace.ModelLinkOptions.
Используйте функцию polyspaceCodeProver, чтобы запустить Программу автоматического доказательства Кода и функцию polyspaceBugFinder, чтобы запустить Средство поиска Ошибки на рукописном коде.
Используйте функции pslinkoptions, pslinkrun и pslinkfun, чтобы запустить Polyspace на сгенерированном коде.
Можно также запустить Polyspace на коде C/C++, сгенерированном из моделей в редакторе Simulink. Однако вы не можете запустить Polyspace на коде C/C++, сгенерированном из кода MATLAB в Приложении MATLAB Coder.
Чтобы проверять, соединяется ли установка MATLAB уже с установкой Polyspace, открытым MATLAB и вводит специфичную для Polyspace команду, например:
obj = polyspace.Project