Exponenta Banner

polyspaceroot

Получите папку установки Polyspace

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

Синтаксис

polyspaceroot

Описание

пример

polyspaceroot возвращает Polyspace® папка установки.

Начиная с R2019a, чтобы запустить MATLAB® скрипты для анализа Polyspace, вы устанавливаете MATLAB и Polyspace в отдельные папки и связываете между ними. После установки и связывания, для доступа к файлам в папке установки Polyspace из MATLAB, используйте эту функцию. См. также Интеграция Polyspace с MATLAB и Simulink.

Примеры

свернуть все

Для определения папки установки Polyspace используйте polyspaceroot функция.

polyspaceroot
C:\Program Files\Polyspace\R2019a

С продуктами, Polyspace Bug Finder™ Server™ или Polyspace Code Prover™ Server, папка установки по умолчанию в Windows® является:

C:\Program Files\Polyspace Server\R2019a

Для доступа к примерам файлов в папке установки Polyspace используйте polyspaceroot функция для получения корня папки установки. Добавьте подпапки к пути корневой папки с помощью fullfile функция.

Запустите Bug Finder на файл numerical.c в подпапке polyspace\examples\cxx\Bug_Finder_Example\sources папки установки Polyspace.

proj = polyspace.Project

% Specify sources and includes
sourceFile = fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources', 'numerical.c');
includeFolder = fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources');

% Configure analysis
proj.Configuration.Sources = {sourceFile};
proj.Configuration.TargetCompiler.Compiler = 'gnu4.9';
proj.Configuration.EnvironmentSettings.IncludeFolders = {includeFolder};
proj.Configuration.ResultsDir = fullfile(pwd,'results');

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

См. также

Темы

Введенный в R2019a

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

Поддержка