Можно установить Polyspace® Bug Finder™ Server™ и Сервер Polyspace Code Prover™ как отдельные продукты и анализируют код C/C++.
При установке серверных продуктов Polyspace и MATLAB®, вы не можете установить MATLAB и серверные продукты Polyspace вместе в одном запуске инсталлятора. Сначала установите MATLAB путем запуска установщика MATLAB. Затем установите серверный продукт Polyspace в различной корневой папке путем запуска установщика отдельно. Например, в Windows®:
Вашей корневой папкой MATLAB по умолчанию является C:\Program Files\MATLAB\R2021b.
Вашей корневой папкой Polyspace по умолчанию является C:\Program Files\Polyspace Server\R2021b для серверных продуктов Polyspace.
Чтобы автоматизировать анализ Polyspace при помощи скриптов MATLAB, интегрируйте серверные продукты Polyspace и MATLAB путем выполнения шага постустановки.
Можно интегрировать серверный продукт Polyspace с MATLAB, только если обе установки от того же релиза. После интегрирования можно использовать все функции MATLAB и классы, доступные для рабочего Polyspace.
Соединить ваш MATLAB и установки Polyspace:
Откройте MATLAB с правами администратора.
В командной строке MATLAB введите:
polyspacesetup('install');C:\Program Files\Polyspace\R2021b. Если вы устанавливаете Polyspace в папке по умолчанию, команда интегрирует Polyspace с MATLAB. Если установка Polyspace не обнаруживается в местоположении по умолчанию, обеспечьте путь к папке установки Polyspace, когда запрошено. Процесс может занять несколько минут, чтобы завершиться.Избегать подсказки во время установки, введите:
polyspacesetup('install', 'polyspaceFolder', FOLDER, 'silent', true);Перезапустите MATLAB. Можно теперь использовать все функции и классы, доступные для рабочих серверных продуктов Polyspace.
Установка MATLAB может быть интегрирована только с одной установкой Polyspace. Чтобы объединяться к новой установке Polyspace, любое предыдущее интегрирование должно быть удалено. Чтобы удалить интегрирование между Polyspace и установкой MATLAB, откройте MATLAB с правом администратора и в командной строке MATLAB, введите:
polyspacesetup('uninstall')Проверять, интегрирована ли установка MATLAB уже с установкой Polyspace, открытым MATLAB и в командной строке, введите:
ver
Интегрирование Polyspace MATLAB добавляет некоторые подпапки установки Polyspace в путь поиска файлов MATLAB. Видеть, какие пути были добавлены, введите:
polyspacesetup('showpolyspacefolders')В непрерывном процессе интеграции можно выполнить скрипты MATLAB, которые запускают анализ Polyspace новых представлений кода, и сравнивает результаты с предопределенными критериями. Используйте эти функции/классы:
Создайте polyspace.Project объект сконфигурировать опции анализа Polyspace, запустите анализ и считайте результаты в таблицы MATLAB. Можно использовать другие функции MATLAB для сравнения результатов против предопределенных критериев.
Чтобы только считать существующие результаты, не запуская анализ, используйте polyspace.CodeProverResults класс с путем к папке результатов.
Если вы хотите более гранулированный выбор средств проверки для:
Кодирование правил, создайте polyspace.CodingRulesOptions объект.
Дефекты Bug Finder, создайте polyspace.DefectsOptions объект.
Чтобы создать пользовательскую цель для анализа и явным образом задать размеры типов данных, создайте polyspace.GenericTargetOptions объект.
Можно также использовать polyspaceCodeProverServer функционируйте, чтобы запустить анализ и затем считать результаты с polyspace.CodeProverResults класс. Если вы используете команды сборки, чтобы создать ваш исходный код, можно создать настройку Polyspace из команды сборки с помощью polyspaceConfigure функция.