polyspace.Options class

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

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

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

Описание

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

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

Примечание

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

Конструкция

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. Чтобы запустить анализ Программы автоматического доказательства Кода, использовать 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