主要内容

检查 Product 模块的运算符顺序

检查 IDmathworks.jmaab.jc_0610

规范:jc_0610:乘法和除法模块的运算符顺序

描述

检查 Product 模块的运算符顺序。

此检查需要 Simulink® Check™ 许可证。

检查参数化

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID(一个或多个)。

作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:

  • NA-MAAB - 无建议

  • JMAAB - a、b

结果和建议的操作

规范子 ID条件建议的操作
jc_0610_a:检查 Product 模块的第一个输入Product 模块运算符顺序的使用不正确。Product 模块中的第一个输入改为乘法 ('*')。
jc_0610_b:检查 Product 模块的输入数目 Product 模块的输入数目无效。Product 模块的输入数目限制在两个以内。

功能和限制

  • 支持选择规范子 ID。

  • 对库模型运行。

  • 可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical

  • 可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on

  • 允许排除模块和图。

编辑时检查

此检查支持编辑时检查。