Exponenta Banner

polyspace.BugFinderResults

Читайте Polyspace Bug Finder следует из MATLAB

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

Описание

Считайте результаты анализа Polyspace® Bug Finder™ в таблицы MATLAB® при помощи этого объекта. Можно получить общий обзор результатов или деталей, таких как каждый экземпляр дефекта.

Примечание

Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Создание

Синтаксис

resObj = polyspace.BugFinderResults(resultsFolder)
proj = polyspace.Project; resObj = proj.Results;

Описание

пример

resObj = polyspace.BugFinderResults(resultsFolder) создает объект для чтения определенного набора результатов Bug Finder в таблицы MATLAB. Используйте методы объекта считать результаты.

пример

proj = polyspace.Project; resObj = proj.Results; создает polyspace.Project объект с Results свойство. Если при запуске анализ Bug Finder, этим свойством является polyspace.BugFinderResults объект.

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

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

Имя папки результата в виде вектора символов. Папка должна непосредственно содержать файл результатов с дополнительным .psbf. Даже если файл результатов находится в подпапке заданной папки, к нему нельзя получить доступ.

Если папка не находится в текущей папке, resultsFolder должен включать полный или относительный путь.

Пример: 'C:\Polyspace\Results\'

Функции объекта

getSummaryПросмотрите количество результатов Polyspace, организованных типом результатов (Bug Finder) или цвет и файл (Программа автоматического доказательства Кода)
getResultsПросмотрите все экземпляры Bug Finder или результатов Программы автоматического доказательства Кода

Примеры

свернуть все

В этом примере показано, как считать результаты анализа Bug Finder из MATLAB.

Скопируйте демонстрационный набор результатов во временную папку.

resPath=fullfile(polyspaceroot,'polyspace','examples','cxx','Bug_Finder_Example',...
'Module_1','BF_Result');
userResPath = tempname;
copyfile(resPath,userResPath);

Создайте объект результатов.

resObj = polyspace.BugFinderResults(userResPath);

Считайте результаты в таблицы MATLAB с помощью объекта.

resSummary = getSummary (resObj);
resTable = getResults (resObj);

Запустите анализ Polyspace Bug Finder демонстрационного файла numerical.c. Сконфигурируйте эти опции:

  • Задайте GCC 4.9 как свой компилятор.

  • Сохраните результаты в results подпапка текущей рабочей папки.

proj = polyspace.Project;

% Configure analysis
proj.Configuration.Sources = {fullfile(polyspaceroot, 'polyspace',... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c')};
proj.Configuration.TargetCompiler.Compiler = 'gnu4.9';
proj.Configuration.ResultsDir = fullfile(pwd,'results');

% Run analysis
bfStatus = run(proj, 'bugFinder');

% Read results
resObj = proj.Results;
bfSummary = getResults(resObj, 'readable');
Введенный в R2017a

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

Поддержка