6、Polyspace分析：从MATLAB到Simulink的全流程指南

Polyspace分析：从MATLAB到Simulink的全流程指南

1. 从MATLAB进行Polyspace分析故障排除

1.1 编译错误处理

当对C/C++代码运行Polyspace分析时，若一个或多个文件编译失败，分析仍会继续处理其余文件。你可以选择在编译出错时停止分析，代码如下：

proj = polyspace.Project;
proj.Configuration.EnvironmentSettings.StopWithCompileError = true;

不过，让分析完成并捕获所有编译错误更为方便。编译错误会显示在MATLAB命令窗口的分析日志中，该日志还包含所用选项和分析的各个阶段。以“Error:”开头的行表示错误，可将这些行提取到日志文件中以便查看，并生成警告提示编译错误的发生。

1.2 捕获错误日志

在运行Polyspace之前，需将Polyspace和MATLAB安装进行链接。可以使用以下定义的 runPolyspace 函数捕获命令窗口的输出，并将以“Error:”开头的行存储在 error.log 文件中。以下是调用示例：

sourcePath = fullfile(polyspaceroot, 'polyspace', ... 
    'examples', 'cxx', 'Bug_Finder_Example', 'sources');
includePa