检查 Switch Case 模块和 If 模块中的 default/else case
检查 ID:mathworks.jmaab.jc_0656
规范:jc_0656:条件控制模块的使用
描述
检查是否为 Switch Case 和 If 模块启用了 default/else
case 选项。
此检查需要 Simulink® Check™ 许可证。
检查参数化
此检查不包括子检查,因为 MAB 建模规范仅提供一个子 ID。
作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB - 无建议
JMAAB - a
结果和建议的操作
条件 | 建议的操作 |
---|---|
Switch Case 和 If 模块的用法不正确。 | 将 Switch Case 和 If 模块中的 default/else case 选项设置为 on。 |
功能和限制
对库模型运行。
可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on。
允许排除模块和图。
另请参阅