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