Exponenta Banner
exponenta event banner

класс polyspace.BugFinderOptions

Пакет: полиспейс

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

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

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

Описание

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

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

Примечание

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

Строительство

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

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

Входные аргументы

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

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

Свойства

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

Методы

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

Поддержка