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 = run(proj, 'bugFinder');

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

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

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

Введенный в R2017a

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