Exponenta Banner
exponenta event banner

запущенный

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

Запустите анализ Polyspace

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

Синтаксис

proj.run(product)

Описание

status = proj.run(product) запускает Polyspace® Bug Finder™ или анализ Polyspace Code Prover™ с помощью настройки, заданной в объекте polyspace.Project proj. Результаты анализа также хранятся в proj.

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

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

Проект Polyspace с настройкой и результатами, заданными как объект polyspace.Project.

Тип анализа, чтобы запуститься.

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

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

Состояние анализа. Если анализ перестал работать, состоянием является false. В противном случае это - true.

Анализ может перестать работать по нескольким причинам:

  • Вы обеспечиваете исходные файлы, которые не существуют.

  • Ни одна из вашей компиляции файлов. Даже если один файл компилирует, если вы не устанавливаете свойство StopWithCompileError на true, анализ следует и возвращает состояние true.

Может быть много других причин, почему анализ перестал работать. Если анализ перестал работать в вашей папке результатов, проверяйте файл журнала. Вы видите, что папка результатов использует свойство Configuration объекта polyspace.Project:

proj = polyspace.Project;
proj.Configuration.ResultsDir
Файл журнала называют Polyspace_R20##n_ProjectName_date-time.log.

Примеры

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

Запустите анализ Polyspace Bug Finder демонстрационного файла numerical.c. Сконфигурируйте эти опции:

  • Задайте GCC 4.9 как свой компилятор.

  • Сохраните результаты в подпапке results текущей рабочей папки.

proj = polyspace.Project

% Configure analysis
proj.Configuration.Sources = {fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c')};
proj.Configuration.TargetCompiler.Compiler = 'gnu4.9';
proj.Configuration.ResultsDir = fullfile(pwd,'results');

% Run analysis
bfStatus = proj.run('bugFinder');

% Read results
bfSummary = proj.Results.getSummary('defects');

Введенный в R2017b

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