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 options для сгенерированного кода с доступными опциями для сгенерированного кода C/C + +.

Свойства

Свойствами объекта являются опции анализа для проектов модели link Polyspace Bug Finder. Свойства организованы в тех же категориях, что и интерфейс Polyspace. Имена свойства являются сокращенной версией имени командной строки DOS. Для получения дополнительной информации о синтаксисе см. полипространство. Свойства 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

Поддержка