Exponenta Banner
exponenta event banner

полипространство. CodeProverResults

Считывание результатов проверки кода Polyspace из MATLAB

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

Описание

Прочтите результаты анализа Prover™ кода Polyspace ® в таблицы MATLAB ® с помощью этого объекта. Можно получить общий обзор результатов или подробных данных, таких как каждый экземпляр проверки времени выполнения.

Примечание

Перед запуском Polyspace из MATLAB необходимо связать установки Polyspace и MATLAB. Смотрите.

Создание

Синтаксис

resObj = polyspace. CodeProverResults (папка результатов)
proj = polyspace. Проект; resObj = проект. Результаты;

Описание

пример

resObj = polyspace.CodeProverResults(resultsFolder) создает объект для считывания определенного набора результатов проверки кода в таблицы MATLAB. Используйте методы объекта для чтения результатов.

пример

proj = polyspace.Project; resObj = proj.Results; создает polyspace.Project объект с Results собственность. При выполнении анализа средства проверки кода это свойство является polyspace.CodeProverResults объект.

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

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

Имя папки результатов, указанное как символьный вектор. Папка должна непосредственно содержать файл результатов с расширением .psbf. Даже если файл результатов находится в подпапке указанной папки, доступ к нему невозможен.

Если папка отсутствует в текущей папке, resultsFolder должен включать полный или относительный путь.

Пример: 'C:\Polyspace\Results\'

Функции объекта

getSummaryПросмотр количества результатов Polyspace, упорядоченных по типу результатов (Bug Finder) или цвету и файлу (Code Prover)
getResultsПросмотр всех экземпляров результатов поиска ошибок или проверки кода
variableAccessПросмотр глобальных переменных C/C + + вместе с операциями чтения/записи

Примеры

свернуть все

В этом примере показано, как считывать результаты анализа проверки кода из 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 в демонстрационном файле 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 = run(proj, 'codeProver');

% Read results
resObj = proj.Results;
cpSummary = getResults(resObj, 'readable');
Представлен в R2017a

Документация по программе проверки кода Polyspace

Поддержка