Exponenta Banner
exponenta event banner

класс polyspace.CodeProverOptions

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

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

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

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

Описание

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

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

Примечание

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

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

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

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

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

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

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

Свойства

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

Методы

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

Примеры

свернуть все

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

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

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);

Создайте объект параметров анализа программы проверки кода и настройте свойства. Затем выполните анализ.

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

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

Поддержка