Exponenta Banner

polyspace.CodeProverResults class

Пакет: полипробел

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

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

Описание

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

Можно получить общий обзор или считать каждый отдельный результат, например, каждый экземпляр проверки на этапе выполнения.

Примечание

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

Конструкция

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

proj = polyspace.Project создает polyspace.Project объект. Объект имеет свойство Results. Если при запуске анализ Программы автоматического доказательства Кода, этим свойством является polyspace.CodeProverResults объект.

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

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

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

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

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

Методы

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

Альтернативы

Считать Средство поиска Ошибки следует из MATLAB, используйте класс polyspace.BugFinderResults.

Введенный в R2017a

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