Exponenta Banner

polyspace.CodeProverResults

Чтение результатов Polyspace Code Prover из MATLAB

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

Описание

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

Примечание

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

Создание

Синтаксис

resObj = polyspace.CodeProverResults(resultsFolder)
proj = polyspace.Project; resObj = proj.Results;

Описание

пример

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

пример

proj = polyspace.Project; resObj = proj.Results; создает polyspace.Project объект со Results свойство. Если вы запускаете анализ Code Prover, это свойство является polyspace.CodeProverResults объект.

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

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

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

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

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

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

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

Примеры

свернуть все

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

% Read results
resObj = proj.Results;
cpSummary = getResults(resObj, 'readable');
Введенный в R2017a

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

Поддержка