Exponenta Banner

polyspace.BugFinderResults class

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

Читайте 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

Документация Polyspace Bug Finder
Поддержка