Можно изменить опции по умолчанию, связанные с Polyspace® анализ. Для образца можно:
Измените набор дефектов, которые ищет Bug Finder.
Измените поведение шашек во время выполнения по умолчанию в Code Prover.
См., например, Overflow mode for unsigned integer (-unsigned-integer-overflows) (Polyspace Code Prover).
Полный список вариантов анализа см. в разделе Опции анализа в Polyspace Bug Finder.
В зависимости от того, как вы запускаете Polyspace, можно соответствующим образом сконфигурировать опции анализа.
В пользовательском интерфейсе Polyspace вы создаете проект для анализа. Проект может иметь один или несколько модулей. Щелкните узел Configuration в модуле. На панели Configuration измените опции по мере необходимости.
Для получения дополнительной информации см. всплывающую подсказку по каждой опции. Щелкните ссылку More help для контекстно-зависимой справки по опциям.
Для получения дополнительной информации смотрите Запуск анализа Polyspace на Рабочем столе.
Предоставьте опции polyspace-bug-finder или polyspace-code-prover команда. См. также:
polyspace-code-prover (Polyspace Code Prover)
Для образца:
polyspace-code-prover -sources file_name -main-generator main-generator-writes-variables all
Можно также указать опции в текстовом файле. См. «Запуск анализа Polyspace из командной строки».
Создайте polyspace.Project Объекту и установите опции через Configuration свойство объекта. См. также:
Для образца:
proj = polyspace.Project; proj.Configuration.CodingRulesCodeMetrics.EnableMisraC3 = true; proj.Configuration.BugFinderAnalysis.EnableCheckers = false;
Смотрите также Запуск анализа Polyspace при помощи скриптов MATLAB.
Выберите Polyspace > Configure Project. Установите опции в окне Configuration.
Некоторые опции Target & Compiler автоматически извлекаются из Eclipse™ проекта. Смотрите Запуск анализа Polyspace на проектах Eclipse.
В вашем Simulink® задайте основные опции через Simulink Параметры Конфигурации. На вкладке Apps выберите Polyspace а затем на вкладке Polyspace выберите Settings.
Для перехода к опциям анализа Polyspace, связанным с сгенерированным кодом, на вкладке Polyspace смотрите Settings > Project Settings.
См.:
В MATLAB® Coder™ приложении после генерации кода задайте основные опции через панель Polyspace. Из этого окна можно перейти к полному набору опций анализа Polyspace.
См.:
