Exponenta Banner

polyspace.ModelLinkBugFinderOptions class

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

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

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

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

Описание

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

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

Примечание

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

Конструкция

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

Свойства

Свойства объектов являются аналитическими опциями для проектов ссылки модели 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
Поддержка