Exponenta Banner

getResults

Просмотрите все экземпляры результатов Code Prover или Bug Finder

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

Синтаксис

resTable = getResults(resObj, content)

Описание

пример

resTable = getResults(resObj, content) возвращает таблицу, показывающую все результаты в Polyspace® набор результатов, resObj. Результаты устанавливают resObj может быть набор результатов Bug Finder, обозначенный polyspace.BugFinderResults возразите или набор результатов Code Prover, обозначенный polyspace.CodeProverResults Объект (Polyspace 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, 'defects');
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
resObj = proj.Results;
bfSummary = getResults(resObj, 'readable');

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

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

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

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

resObj = polyspace.CodeProverResults(userResPath);

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

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

Запустите анализ Polyspace Code Prover™ демонстрационного файла single_file_analysis.c. Сконфигурируйте эти опции:

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

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

  • Укажите что main функция должна быть сгенерирована, если она не существует в исходном коде.

proj = polyspace.Project

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


% Run analysis
cpStatus = proj.run('codeProver');

% Read results
resObj = proj.Results;
cpSummary = getResults(resObj, 'readable');

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

свернуть все

Bug Finder или результаты Code Prover установлены в виде polyspace.BugFinderResults или polyspace.CodeProverResults Объект (Polyspace Code Prover) соответственно.

Объем информации, который будет включен для каждого результата. Если вы задаете '', вся информация включена. Если вы задаете 'readable', следующая информация не включена:

Если вы не задаете этот аргумент, полная таблица включена.

Смотрите результаты анализа Polyspace экспорта.

Выходные аргументы

свернуть все

Таблица, показывающая все результаты одного Bug Finder или анализа Code Prover. Для каждого результата таблица имеет информацию, такую как файл, семейство, и так далее. Если особая информация не доступна для результата, запись в таблице утверждает <undefined>.

Для получения дополнительной информации о:

Смотрите также

| (Polyspace Code Prover)

Введенный в R2017a

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

Поддержка