Exponenta Banner
exponenta event banner

getResults

Просмотрите все экземпляры результатов Программы автоматического доказательства Средства поиска или Кода Ошибки

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

Синтаксис

resTable = getResults(resObj, content)

Описание

пример

resTable = getResults(resObj, content) возвращает таблицу, показывающую все результаты в наборе результатов Polyspace®, resObj. Результаты устанавливают resObj может быть набор результатов Средства поиска Ошибки, обозначенный polyspace.BugFinderResults возразите или Программа автоматического доказательства Кода заканчивается набор, обозначенный polyspace.CodeProverResults объект. Можно управлять таблицей, чтобы произвести графики и статистику о результатах, которые вы не можете получить с готовностью из пользовательского интерфейса.

Примеры

свернуть все

В этом примере показано, как считать результаты анализа Средства поиска Ошибки из 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');

В этом примере показано, как считать результаты анализа Программы автоматического доказательства Кода из 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');

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

свернуть все

Средство поиска ошибки или результаты Программы автоматического доказательства Кода установлены в виде polyspace.BugFinderResults или polyspace.CodeProverResults объект соответственно.

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

  • ID: Уникальный номер для результата для текущего анализа.

  • Группа: Проверяйте группыГруппы MISRA C:2012, и т.д.

  • Состояние, Серьезность, Комментарий: информация, которую вы вводите о результате.

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

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

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

свернуть все

Таблица, показывающая все результаты одного анализа Программы автоматического доказательства Средства поиска или Кода Ошибки. Для каждого результата таблица имеет информацию, такую как файл, семейство, и так далее. Если особая информация не доступна для результата, запись в таблице утверждает <undefined>.

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

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

|

Введенный в R2017a

Документация Polyspace Code Prover

Поддержка