полипробел. Класс BugFinderResults

Пакет: полипробел

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

Описание

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

Можно получить общий обзор или считать каждый отдельный результат, например, каждый экземпляр дефекта.

Примечание

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

Конструкция

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

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

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

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

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

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

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

Методы

getResultsСчитайте результаты Средства поиска Ошибки в таблицу MATLAB
getSummaryПросмотрите количество дефектов, организованных дефектным типом

Примеры

свернуть все

Этот пример показывает, как считать результаты анализа Средства поиска Ошибки из 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 = proj.run('bugFinder');

% Read results
bfSummary = proj.Results.getResults('readable');

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

Считать Программу автоматического доказательства Кода следует из MATLAB, используйте класс polyspace.CodeProverResults. Смотрите polyspace.CodeProverResults.

Введенный в R2017a