Exponenta 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 и создаете объект options из этого проекта для программного выполнения анализа.

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

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

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

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

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

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

Примечание

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

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

Свойства

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

Методы

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 Code Prover

Поддержка