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

检查 MATLAB 代码分析器消息

mathworks.hism.himl_0004

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: himl_0004:MATLAB 代码分析器对代码生成的建议

说明

使用此检查来验证 MATLAB® 函数是否存在 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。

此项检查验证以下内容：

检查参数

使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。

参数描述
检查模型中引用的外部 .m 文件

指定是否对模型中引用的 MATLAB 文件运行。

on (默认) | off

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无 | 图形 | 功能性

  • 全部 - 检查分析是否包含所有掩码模型元素。

  • 无 - 检查分析排除了已屏蔽的模型元素。

  • 图形 - 检查分析仅包括图形掩码模型元素。

  • 功能性 - 检查分析仅包括功能掩码模型元素。

建议的行动和结果

查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。

建模条件建议的操作

对于 MATLAB 功能块中的 MATLAB 代码：

  • 代码行未使用 %#ok 注释进行对齐。

  • 以 %#ok 结尾的代码行不指定消息 ID。

  • 执行 MATLAB 代码分析器的建议。

  • 用 %#ok 注释申述未遵循 MATLAB 代码分析器建议的情形。

  • 用消息 ID 指定对齐的代码行。例如，%#ok<NOPRT>。

对于在 Stateflow 图中定义的 MATLAB 函数：

  • 代码行未使用 %#ok 注释进行对齐。

  • 以 %#ok 结尾的代码行不指定消息 ID。

  • 执行 MATLAB 代码分析器的建议。

  • 用 %#ok 注释申述未遵循 MATLAB 代码分析器建议的情形。

  • 用消息 ID 指定对齐的代码行。例如，%#ok<NOPRT>。

对于调用的 MATLAB 函数：

  • 代码中缺少 %#codegen 指令。

  • 代码行未使用 %#ok 注释进行对齐。

  • 以 %#ok 结尾的代码行不指定消息 ID。

  • 在 MATLAB 代码中插入 %#codegen 指令。

  • 执行 MATLAB 代码分析器的建议。

  • 用 %#ok 注释申述未遵循 MATLAB 代码分析器建议的情形。

  • 使用消息 ID（例如 %#ok<NOPRT>）指定对齐的代码行。

功能和限制

  • 仅分析 Simulink 模型直接引用的函数

  • 可以在库模型上运行

  • 允许排除模块和图

  • 分析活动和非活动变体的选择

  • 无需模型编译

版本历史记录

在 R2016a 中推出

另请参阅

主题