Exponenta Banner

полипробел. Класс ModelLinkCodeProverOptions

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

Создайте объект 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. Для получения дополнительной информации синтаксиса смотрите полипробел. Свойства ModelLinkOptions.

Методы

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

Значение. Чтобы изучить, как классы значения влияют на операции копии, смотрите Копирование Объектов (MATLAB).

Чтобы скопировать свойства между объектами 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
Поддержка