Exponenta Banner
exponenta event banner

класс polyspace.Options

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

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

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

Для упрощения создания сценариев задайте параметры анализа Polyspace ® с помощью Configuration свойство polyspace.Project объект. Не создавать polyspace.Options непосредственно объект.

Описание

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

Для анализа созданного моделью кода (с использованием настольных продуктов Polyspace) используйте polyspace.ModelLinkOptions вместо этого.

Примечание

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

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

opts = polyspace.Options создает объект, свойства которого соответствуют параметрам выполнения анализа Polyspace.

proj = polyspace.Project создает polyspace.Project объект. Объект имеет свойство Configuration, который является polyspace.Options объект.

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

opts = polyspace.loadProject(projectFile) создает объект параметров «Полиспейс» из существующего проекта «Полиспейс» projectFile. Параметры в проекте задаются в интерфейсе пользователя Polyspace и создается объект options из этого проекта для программного выполнения анализа.

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

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

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

Типы данных: char

Имя файла проекта Polyspace с расширением .psprj, задается как символьный вектор.

Если файл не находится в текущей папке, projectFile должен включать полный или относительный путь. Чтобы определить текущую папку, используйте pwd. Чтобы изменить текущую папку, используйте cd.

Примечание

Вы не можете использовать loadProject метод для файла проекта, созданного из команды build с помощью polyspace-configure.

Пример: 'C:\projects\myProject.psprj'

Свойства

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

Методы

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

Примеры

свернуть все

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

Создание объекта и настройка свойств. Если у вас нет доступа на запись к текущей папке, для хранения результатов анализа используется временная папка.

sources = fullfile(polyspaceroot, 'polyspace','examples','cxx','Bug_Finder_Example','sources','numerical.c');
opts = polyspace.Options();
opts.Prog = 'MyProject';
opts.Sources = {sources};
opts.TargetCompiler.Compiler = 'gnu4.7';
opts.ResultsDir = tempname;

Выполните анализ Bug Finder. Для выполнения анализа программы проверки кода используйте polyspaceCodeProver вместо polyspaceBugFinder.

results = polyspaceBugFinder(opts);

С продуктами Polyspace Server можно использовать функции polyspaceBugFinderServer или polyspaceCodeProverServer.

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

polyspaceBugFinder('-results-dir',opts.ResultsDir);

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

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

sources=fullfile(polyspaceroot,'polyspace','examples','cxx','Bug_Finder_Example','sources','numerical.c');
opts = polyspace.Options();
opts.Prog = 'MyProject';
opts.Sources = {sources};
opts.TargetCompiler.Compiler = 'gnu4.7';
opts.ResultsDir = tempname;

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

psprj = opts.generateProject(opts.Prog);
polyspaceBugFinder(psprj);

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

results = polyspaceBugFinder(psprj, '-nodesktop');
polyspaceBugFinder('-results-dir',opts.ResultsDir);

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

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

См. также

| |

Темы

Представлен в R2017a

Документация по программе проверки кода Polyspace

Поддержка