Exponenta Banner
exponenta event banner

polyspaceBugFinder

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

Свернуть все на странице

Для более легкого скриптирования запустите Polyspace® анализ с использованием polyspace.Project объект.

Синтаксис

status = polyspaceBugFinder
status = polyspaceBugFinder(projectFile)
status = polyspaceBugFinder(optsObject)
status = polyspaceBugFinder(projectFile, '-nodesktop')
status = polyspaceBugFinder(resultsFile)
status = polyspaceBugFinder('-results-dir',resultsFolder)
status = polyspaceBugFinder('-help')
status = polyspaceBugFinder('-sources',sourceFiles)
status = polyspaceBugFinder('-sources',sourceFiles,Name,Value)

Описание

status = polyspaceBugFinder открывает Polyspace Bug Finder™.

пример

status = polyspaceBugFinder(projectFile) открывает файл проекта Polyspace в Polyspace Bug Finder.

пример

status = polyspaceBugFinder(optsObject) запускает анализ на Объект опций Polyspace в MATLAB®.

status = polyspaceBugFinder(projectFile, '-nodesktop') запускает анализ файла проекта Polyspace в MATLAB.

status = polyspaceBugFinder(resultsFile) открывает файл результатов Polyspace в Polyspace Bug Finder.

пример

status = polyspaceBugFinder('-results-dir',resultsFolder) открывает файл результатов Polyspace из resultsFolder в Polyspace Bug Finder.

status = polyspaceBugFinder('-help') отображает опции, которые могут быть переданы в polyspaceBugFinder команда для запуска анализа Polyspace Bug Finder.

пример

status = polyspaceBugFinder('-sources',sourceFiles) запускает анализ Polyspace Bug Finder на исходных файлах, указанных в sourceFiles.

пример

status = polyspaceBugFinder('-sources',sourceFiles,Name,Value) запускает анализ Polyspace Bug Finder на исходных файлах с дополнительными опциями, заданными одним или несколькими Name,Value аргументы в виде пар.

Примечание

Перед запуском Polyspace из MATLAB необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».

Примеры

свернуть все

В этом примере показано, как открыть файл проекта Polyspace с расширением .psprj от MATLAB. В этом примере вы открываете файл проекта Bug_Finder_Example.psprj из папки polyspaceroot\ polyspace\примеры\cxx\Bug _ Finder _ Пример.

Откройте Bug_Finder_Example.psprj проекта в интерфейсе Polyspace.

prjFile = fullfile(polyspaceroot, 'polyspace', 'examples', 'cxx', ...
         'Bug_Finder_Example', 'Bug_Finder_Example.psprj');
polyspaceBugFinder(prjFile);

В этом примере показано, как открыть файл результатов Polyspace из MATLAB. В этом примере вы открываете файл результатов из папки polyspaceroot\ polyspace\examples\cxx\Bug _ Finder _ Example\Module _ 1\BF _ результат.

Откройте результаты resFolder.

resFolder = fullfile(polyspaceroot, 'polyspace', 'examples',  ...
         'cxx', 'Bug_Finder_Example', 'Module_1', 'BF_Result');
polyspaceBugFinder('-results-dir',resFolder)

В этом примере показано, как запустить анализ Polyspace из командной строки MATLAB с использованием объектов.

Создайте объект опции и добавьте исходный файл и включите папку в свойства.

opts = polyspace.BugFinderOptions;
opts.Sources = {fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c')};
opts.EnvironmentSettings.IncludeFolders = {fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources')};
opts.ResultsDir = fullfile(pwd,'results');

Запустите анализ и просмотрите результаты.

polyspaceBugFinder(opts);
polyspaceBugFinder('-results-dir',opts.ResultsDir)

В этом примере показано, как запустить анализ Polyspace в MATLAB с помощью опций DOS/UNIX-стиля.

Запустите анализ и откройте результаты.

sourceFiles = fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c');
includeFolders = fullfile(polyspaceroot, 'polyspace', 'examples',...
    'cxx', 'Bug_Finder_Example', 'sources');
resultsDir = fullfile(pwd,'results');
polyspaceBugFinder('-sources',sourceFiles, ...
             '-I',includeFolders, ...
             '-results-dir',resultsDir);

Чтобы просмотреть результаты, введите:

polyspaceBugFinder('-results-dir',resultsDir);

В этом примере показаны два различных способа настройки анализа в MATLAB. Можно настроить любое количество дополнительных опций путем изменения свойств в объекте options или с помощью пар "имя-значение". Здесь вы задаете проверку MISRA C® Правила кодирования 2012 года.

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

sourceFileName = fullfile(polyspaceroot, 'polyspace','examples', 'cxx', 'Bug_Finder_Example','sources','dataflow.c');
resFolder1 = fullfile('Polyspace_Results_1');
resFolder2 = fullfile('Polyspace_Results_2');

Анализируйте правила кодирования с объектом опции.

opts = polyspace.BugFinderOptions();
opts.Sources = {sourceFileName};
opts.ResultsDir = resFolder1;
opts.CodingRulesCodeMetrics.MisraC3Subset = 'all';
opts.CodingRulesCodeMetrics.EnableMisraC3 = true;
polyspaceBugFinder(opts);
polyspaceBugFinder('-results-dir',resFolder1);

Анализ правил кодирования с помощью опций DOS/UNIX.

polyspaceBugFinder('-sources',sourceFileName,'-results-dir',resFolder2,'-misra3','all');
polyspaceBugFinder('-results-dir',resFolder2);

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

свернуть все

Имя объекта опций Polyspace, заданное как указатель на объект.

Чтобы создать объект опции, используйте один из классов опции.

Пример: opts

Имя файла проекта с расширением .psprj, заданный как вектор символов.

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

Пример: 'C:\Polyspace_Projects\myProject.psprj'

Типы данных: char

Имя файла результатов с расширением .psbf, заданный как вектор символов.

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

Пример: 'myResults.psbf'

Типы данных: char

Имя папки результатов, заданное как вектор символов. Папка должна содержать файл результатов с расширением .psbf. Если файл результатов находится в подпапке указанной папки, эта команда не открывает файл результатов.

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

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

Типы данных: char

Разделенные запятыми имена исходных файлов C или C++, заданные как один вектор символов.

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

Пример: 'myFile.c', 'C:\mySources\myFile1.c,C:\mySources\myFile2.c'

Аргументы в виде пар имя-значение

Задайте необязательные разделенные разделенными запятой парами Name,Value аргументы. Name - имя аргумента и Value - соответствующее значение. Name должны находиться внутри кавычек. Можно задать несколько аргументов в виде пар имен и значений в любом порядке Name1,Value1,...,NameN,ValueN.

Пример: '-target','i386','-compiler','gnu4.6' указывает, что исходный код предназначен для целевого устройства i386 и содержит синтаксис, отличный от Синтаксис C для GCC 4.6.

Для имен и значений опций смотрите раздел Command-Line Information в Опции анализа в Polyspace Bug Finder.

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

свернуть все

Если анализ Polyspace Bug Finder завершается без ошибок, status является false. В противном случае это true.

Анализ может оказаться неудачным по нескольким причинам, включая:

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

  • Указан недопустимый путь.

  • Один из ваших файлов не скомпилировался.

См. также

|

Темы

Введенный в R2013b

Документация Polyspace Bug Finder

Поддержка