Exponenta Banner
exponenta event banner

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.

Пример: '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
Поддержка