Можно изменить опции по умолчанию, сопоставленные с анализом Polyspace®. Например, вы можете:
Измените набор дефектов, которые ищет Средство поиска Ошибки.
Смотрите Find defects (-checkers).
Измените поведение по умолчанию средств проверки во время выполнения в Программе автоматического доказательства Кода.
Смотрите, например, Overflow mode for unsigned integer (-unsigned-integer-overflows).
Для полного списка аналитических опций см. Аналитические Опции.
В зависимости от того, как вы запускаете Polyspace, можно сконфигурировать аналитические опции соответственно.
В пользовательском интерфейсе Polyspace вы создаете проект для анализа. Проект может иметь один или несколько модулей. Кликните по узлу Configuration в модуле. На панели Configuration измените опции по мере необходимости.
Для получения дополнительной информации смотрите подсказку на каждой опции. Щелкните по ссылке More help для контекстно-зависимой справки на опциях.
Для получения дополнительной информации смотрите Анализ Polyspace Запуска Рабочего стола.
Предоставьте возможности к polyspace-bug-finder-nodesktop или polyspace-code-prover-nodesktop команда. Смотрите также:
Например:
polyspace-code-prover-nodesktop -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 options автоматически извлечена из вашего проекта Eclipse™. Смотрите Анализ Polyspace Запуска в Eclipse.
В вашей модели Simulink® задайте основные опции через Параметры конфигурации Simulink. Выберите Code> Polyspace> Options.
Из этого окна можно перейти к полному набору аналитических опций Polyspace.
См.:
В приложении MATLAB® Coder™, после генерации кода, задают основные опции через панель Polyspace. Из этого окна можно перейти к полному набору аналитических опций Polyspace.
См.:
