11、Polyspace代码分析与模型导航全解析

Polyspace代码分析与模型导航全解析

1. 代码到模型导航问题排查

在对生成的代码运行Polyspace时，分析结果中的代码注释里会出现链接，这些链接显示生成后续代码行的模块名称。点击链接中的模块名称，就能在模型中查看相应模块。不过，在从代码导航到模型的过程中可能会遇到一些问题。

1.1 代码到模型的链接未显示

要查看当前查看的是源文件（.c或.cpp）还是头文件。头文件并不直接与模型中的模块关联，所以不会有返回模型的链接。

1.2 代码到模型的链接无法使用

若遇到返回模型功能的问题，可能是以下原因：
- 操作系统为Windows Vista™或Windows 7，且启用了用户账户控制（UAC），或者没有管理员权限。
- 安装了多个版本的MATLAB。

若要重新连接MATLAB和Polyspace，可按以下步骤操作：
1. 关闭Polyspace。
2. 在MATLAB命令行中输入 pslinkfun('enablebacktomodel') 。

1.3 模型已使用高亮显示

如果模型大量使用了模块着色，此功能的着色可能会与模型中已有的颜色产生冲突。可以在模块链接到Polyspace结果时更改其颜色。例如，要将颜色更改为品红色，可使用以下命令：

color = 'magenta';
HILITE_DATA = struct('HiliteType', 'find', 'ForegroundColor', 'black