主要内容

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

检查 MATLAB Function 模块中的 if/elseif/else 构型

mathworks.hism.himl_0006

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: himl_0006:MATLAB 代码 if/elseif/else 构型

说明

使用此检查来识别嵌入式 MATLAB® 代码中缺少适当 else 条件的 if/elseif/else 模式。

检查参数

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

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

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

on (默认) | off

跟随链接

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

on(默认)| off

查看封装内部

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

全部(默认)| | 图形 | 功能性

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

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

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

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

建议的行动和结果

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

建模条件建议的操作
嵌入的 MATLAB 代码中存在不恰当的 if/elseif/else 模式。对于每个 if/elseif/else 模式,添加一个 else 语句,其中至少包含一条有意义的注释。

功能和限制

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

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

  • 无需模型编译

版本历史记录

在 R2018b 中推出