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) или цвету и файлу (Code Prover)
getResultsПросмотр всех образцов результатов Bug Finder или Code Prover

Примеры

свернуть все

В этом примере показано, как считать результаты анализа 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

Поддержка