Exponenta Banner
exponenta event 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 функция.

Запуск средства поиска ошибок в файле 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

Поддержка