Exponenta Banner

polyspace.Options class

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

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

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

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

Описание

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

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

Примечание

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

Примечание

Вы не можете использовать 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;

Запустите анализ Средства поиска Ошибки. Чтобы запустить анализ Программы автоматического доказательства Кода, использовать polyspaceCodeProver вместо polyspaceBugFinder.

results = polyspaceBugFinder(opts);

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

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

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

Создайте анализ 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;

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

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

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

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

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

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

Смотрите также

|

Темы

Введенный в R2017a

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

Поддержка