Exponenta Banner

polyspace.CodeProverResults

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

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

Описание

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

Примечание

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

Создание

Синтаксис

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

Описание

пример

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) или цвет и файл (Программа автоматического доказательства Кода)
getResultsПросмотрите все экземпляры Bug Finder или результатов Программы автоматического доказательства Кода
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 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

Поддержка