Exponenta Banner

polyspace.CodeProverResults

Читайте Polyspace Code Prover следует из MATLAB

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

Описание

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

Примечание

Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Создание

Синтаксис

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Просмотрите все экземпляры результатов Code Prover или Bug Finder
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

Поддержка