Exponenta Banner

polyspace.CodeProverOptions class

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

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

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

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

Описание

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

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

Примечание

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

Конструкция

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

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

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

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

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

Свойства

Свойства объекта соответствуют опциям анализа, найденным в интерфейсе Polyspace. Для получения дополнительной информации о синтаксисе см. полипространство. Строения.

Методы

copyToСкопируйте общие настройки между объектами опций Polyspace
generateProjectСгенерируйте проект psprj из объекта опции
toScriptДобавьте определение объекта опций Polyspace в скрипт

Примеры

свернуть все

Создайте объект опций Code Prover и настройте свойства. Затем запустите верификацию.

Создайте объект и настройте свойства.

sources = fullfile(polyspaceroot, 'polyspace','examples','cxx','Code_Prover_Example', ...
'sources','single_file_analysis.c');
includes = fullfile(polyspaceroot, 'polyspace','examples','cxx','Code_Prover_Example', ...
'sources');
optsCP = polyspace.CodeProverOptions();
optsCP.Prog = 'MyProject';
optsCP.Sources = {sources};
optsCP.EnvironmentSettings.IncludeFolders = {includes};
optsCP.TargetCompiler.Compiler = 'gnu4.7';
optsCP.ResultsDir = tempname;

Запустите анализ и откройте результаты в интерфейсе Polyspace.

results = polyspaceCodeProver(optsCP);
polyspaceCodeProver('-results-dir',optsCP.ResultsDir);

Создайте объект опций анализа Code Prover и настройте свойства. Затем запустите анализ.

Создайте объект и настройте свойства.

sources = fullfile(polyspaceroot, 'polyspace','examples','cxx','Code_Prover_Example', ...
'sources','single_file_analysis.c');
includes = fullfile(polyspaceroot, 'polyspace','examples','cxx','Code_Prover_Example', ...
'sources');
optsCP = polyspace.CodeProverOptions();
optsCP.Prog = 'MyProject';
optsCP.Sources = {sources};
optsCP.EnvironmentSettings.IncludeFolders = {includes};
optsCP.TargetCompiler.Compiler = 'gnu4.7';
optsCP.ResultsDir = tempname;

Сгенерируйте проект Polyspace, назовите его с помощью Prog Свойство и откройте проект в интерфейсе Polyspace.

psprj = generateProject(optsCP, optsCP.Prog);
polyspaceCodeProver(psprj);

Можно также проанализировать проект из командной строки. Запустите анализ и откройте результаты в интерфейсе Polyspace. 

results = polyspaceCodeProver(psprj, '-nodesktop');
polyspaceCodeProver('-results-dir',optsCP.ResultsDir);

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

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

См. также

| |

Темы

Введенный в R2016b

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

Поддержка