Exponenta Banner
exponenta event banner

run

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

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

Синтаксис

run(proj, product)

Описание

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

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

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

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

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

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

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

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

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

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

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

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

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

Примеры

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

Запустите анализ 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 = run(proj, 'bugFinder');

% Read results
bfSummary = proj.Results.getSummary('defects');
Введенный в R2017b

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

Поддержка