Exponenta Banner
exponenta event banner

класс polyspace.ModelLinkCodeProverOptions

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

Создать объект проверки кода Polyspace для созданного кода

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

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

Описание

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

При проверке рукописного кода используйте polyspace.CodeProverOptions вместо этого.

Примечание

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

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

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

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

Входные аргументы

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

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

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

Свойства

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

Поддержка