本页采用了机器翻译。点击此处可查看最新英文版本。

polyspaceroot

获取 Polyspace 安装文件夹

全页折叠

语法

polyspaceroot

说明

polyspaceroot 返回 Polyspace® 的安装文件夹。

从 R2019a 版本开始，要运行 MATLAB® 脚本进行 Polyspace 分析，您需要将 MATLAB 和 Polyspace 安装在不同的文件夹中，并确保它们之间建立链接。安装和链接完成后，要从 MATLAB 访问 Polyspace 安装文件夹中的文件，请使用此函数。另请参阅将 Polyspace 与 MATLAB 和 Simulink 集成或将 Polyspace Server 产品与 MATLAB 集成。

示例

示例

全部折叠

要确定 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 函数将子文件夹附加到根文件夹路径。

在安装文件夹 Polyspace 的子文件夹 polyspace\examples\cxx\Bug_Finder_Example\sources 中，对文件 numerical.c 运行 Bug Finder。

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 中推出

另请参阅

主题