Exponenta Banner
exponenta event banner

класс polyspace.ModelLinkBugFinderOptions

Пакет: полиспейс

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

развернуть все на странице

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

Описание

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

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

Примечание

Перед запуском Polyspace из MATLAB необходимо связать установки Polyspace и MATLAB. См. раздел Интеграция полиспейса с MATLAB и Simulink.

Строительство

opts = polyspace.BugFinderOptions создает объект параметров поиска ошибок для сгенерированного кода с доступными параметрами для сгенерированного кода 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

Поддержка