Exponenta Banner

polyspace.ModelLinkBugFinderOptions class

Пакет: полипробел

Создайте объект Polyspace Bug Finder для сгенерированного кода

расширьте все на странице

Этот класс удерживается от использования и будет удален в будущем релизе. Используйте polyspace.ModelLinkOptions вместо этого.

Описание

Настройте анализ Polyspace® Bug Finder™ от MATLAB® путем создания объекта опций Bug Finder. Чтобы задать исходные файлы и настроить опции анализа, измените свойства объектов.

Этот класс предназначается для сгенерированного кода модели. Если вы анализируете рукописный код, используйте polyspace.BugFinderOptions вместо этого.

Примечание

Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Конструкция

opts = polyspace.BugFinderOptions создает объект опций Bug Finder для сгенерированного кода с доступными параметрами для сгенерированного кода C/C++.

Свойства

Свойства объектов являются опциями анализа для проектов ссылки модели Polyspace Bug Finder. Свойства организованы в тех же категориях как интерфейс Polyspace. Имена свойства являются сокращенной версией имени командной строки DOS. Для получения дополнительной информации синтаксиса см. polyspace.ModelLinkOptions Свойства.

Методы

copyToСкопируйте общие настройки между объектами опций Polyspace
generateProjectСгенерируйте psprj проект от объекта опций
toScriptДобавьте определение объекта опций Polyspace скрипту

Примеры

свернуть все

В этом примере показано, как настроить и запустить анализ сгенерированного кода модели с функциями MATLAB и объектами.

Создайте пользовательскую конфигурацию, которая проверяет, что MISRA C 2012 управляет и генерирует отчет PDF.

opts = polyspace.ModelLinkBugFinderOptions();
opts.CodingRulesCodeMetrics.EnableMisraC3 = true;
opts.CodingRulesCodeMetrics.MisraC3Subset = 'all';
opts.MergedReporting.ReportOutputFormat = 'PDF';
opts.MergedReporting.EnableReportGeneration = true;

Сгенерируйте код от psdemo_model_link_sl.

model = 'psdemo_model_link_sl';
load_system(model);
slbuild(model);

Добавьте настройку в pslinkoptions объект.

prjfile = opts.generateProject('model_link_opts');
mlopts = pslinkoptions(model);
mlopts.EnablePrjConfigFile = true;
mlopts.PrjConfigFile = prjfile;
mlopts.VerificationMode = 'BugFinder';

Запустите анализ.

[polyspaceFolder, resultsFolder] = pslinkrun(model);

Альтернативы

Если вы анализируете рукописный код, используйте polyspace.BugFinderOptions вместо этого.

Смотрите также

| | |

Темы

Документация Polyspace Bug Finder

Поддержка