Exponenta Banner

polyspace.Options class

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

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

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

Описание

Создайте объект, который задает Polyspace® опции. При выполнении анализа Polyspace из MATLAB®, задайте настройку при помощи этого объекта опций. Чтобы задать исходные файлы и настроить опции анализа, измените свойства объектов.

polyspace.Options объект применяется к рукописному коду. Чтобы анализировать сгенерированный код модели (использующий десктопные решения Polyspace), используйте polyspace.ModelLinkOptions вместо этого.

Примечание

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

Конструкция

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

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

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

opts = polyspace.loadProject(projectFile) создает объект опций Polyspace из существующего проекта Polyspace projectFile. Вы устанавливаете опции в своем проекте в пользовательском интерфейсе Polyspace и создаете объект опций из того проекта для того, чтобы программно запустить анализ.

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

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

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

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

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

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

Примечание

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

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

Свойства

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

Методы

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. Чтобы запустить анализ Code Prover, использовать polyspaceCodeProver вместо polyspaceBugFinder.

results = polyspaceBugFinder(opts);

С Серверными продуктами Polyspace можно использовать функции 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 Bug Finder

Поддержка