Exponenta Banner

polyspaceroot

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

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

Синтаксис

polyspaceroot

Описание

пример

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

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

Примеры

свернуть все

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

polyspaceroot
C:\Program Files\Polyspace\R2019a

С продуктами, Polyspace Bug Finder™ Server™ или Сервером Polyspace Code Prover™, папкой стандартной установки в 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 Code Prover

Поддержка