Exponenta Banner

polyspace.BugFinderOptions class

Пакет: полипространство

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

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

Этот класс устарел и будет удален в следующем релизе. Использование polyspace.Options вместо этого.

Описание

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

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

Примечание

Перед запуском Polyspace из MATLAB необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».

Конструкция

opts = polyspace.BugFinderOptions создает объект параметров Bug Finder с доступными опциями.

opts = polyspace.BugFinderOptions(lang) создает объект Bug Finder options с опциями, применимыми к языку lang.

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

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

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

Свойства

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

Методы

copyToСкопируйте общие настройки между объектами опций Polyspace
generateProjectСгенерируйте проект psprj из объекта опции
toScriptДобавьте определение объекта опций Polyspace в скрипт

Примеры

свернуть все

Создайте объект опций анализа Bug Finder и настройте свойства. Затем запустите анализ.

Создайте объект и настройте свойства.

sources = fullfile(polyspaceroot, 'polyspace','examples','cxx','Bug_Finder_Example','sources','numerical.c');
optsBF = polyspace.BugFinderOptions();
optsBF.Prog = 'MyProject';
optsBF.Sources = {sources};
optsBF.TargetCompiler.Compiler = 'gnu4.7';
optsBF.ResultsDir = tempname;

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

results = polyspaceBugFinder(optsBF);
polyspaceBugFinder('-results-dir',optsBF.ResultsDir);

Создайте объект опций анализа Bug Finder и настройте свойства. Затем запустите анализ.

Создайте объект и настройте свойства.

sources = fullfile(polyspaceroot, 'polyspace','examples','cxx','Bug_Finder_Example','sources','numerical.c');
optsBF = polyspace.BugFinderOptions();
optsBF.Prog = 'MyProject';
optsBF.Sources = {sources};
optsBF.TargetCompiler.Compiler = 'gnu4.7';
optsBF.ResultsDir = tempname;

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

psprj = generateProject(optsBF, optsBF.Prog);
polyspaceBugFinder(psprj);

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

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

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

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

См. также

| |

Темы

Введенный в R2016b

Документация Polyspace Bug Finder

Поддержка