Exponenta Banner

polyspace.ModelLinkCodeProverOptions class

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

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

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

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

Описание

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

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

Примечание

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

Конструкция

opts = polyspace.ModelLinkCodeProverOptions создает объект опций Программы автоматического доказательства Кода с опциями для верификации кода С.

opts = polyspace.ModelLinkCodeProverOptions(lang) создает объект опций Программы автоматического доказательства Кода с опциями, применимыми для языка lang.

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

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

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

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

Свойства

Свойства объектов являются опциями анализа для проектов ссылки модели Polyspace Code Prover. Свойства организованы в тех же категориях как в интерфейсе 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 вместо этого.

Смотрите также

| | |

Темы

Введенный в R2017b

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

Поддержка