Exponenta Banner

polyspace.ModelLinkCodeProverOptions class

Пакет: полипространство

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

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

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

Описание

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

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

Примечание

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

Конструкция

opts = polyspace.ModelLinkCodeProverOptions создает объект опций Code Prover с опциями для верификации кода С.

opts = polyspace.ModelLinkCodeProverOptions(lang) создает объект параметров Code Prover с опциями, применимыми к языку lang.

Входные параметры

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

Язык верификации указывается как 'C' или 'CPP'. Этот аргумент определяет, какие свойства имеет объект.

Пример: opts = polyspace.ModelLinkCodeProverOptions('CPP')

Свойства

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

Методы

Копировать семантику

Значение. Чтобы узнать, как классы значений влияют на операции копирования, см. раздел «Копирование объектов».

Чтобы скопировать свойства между объектами Polyspace, используйте . Можно скопировать соответствующие свойства между объектами BugFinderOptions и объектами CodeProverOptions.

Примеры

свернуть все

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

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

opts = polyspace.ModelLinkCodeProverOptions('C');
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 = 'CodeProver';

Запустите верификацию.

[polyspaceFolder, resultsFolder] = pslinkrun(model);

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

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

См. также

| | |

Темы

Введенный в R2016b

Документация Polyspace Code Prover

Поддержка