Exponenta Banner

getResults

Класс: полипробел. CodeProverResults
Пакет: полипробел

Считайте результаты Программы автоматического доказательства Кода в таблицу MATLAB

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

Синтаксис

resObj.getResults(content)

Описание

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

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

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

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

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

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

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

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

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

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

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

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

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

Примеры

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

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

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

Введенный в R2017a

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