检查关系运算符的用法

检查 ID：mathworks.jmaab_v6.mp_0023

规范：mp_0023：使用关系运算符的方法

检查表达式中变量和常量相对于关系运算符的位置。

常量是指在多次程序执行过程中其值不会变化的量，而变量是在程序执行过程中其值可能发生变化的量。

function assign(in)
a = 4;
b = a;
in++;
end

在上述示例中，a 被视为常量，而 in 和 b 则是变量。

此检查适用于以下目标组件：

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

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

作为参考，JMAAB 建模标准组织建议使用的规范子 ID 为：

选择检查模型中引用的外部 .m 文件，以在分析中包括扩展名为 .m 的文件。默认情况下，该复选框处于选中状态。

规范子 ID	条件	建议的操作
mp_0023_a1：检查变量是否位于关系运算符的左侧	一个或多个关系运算符的右侧包含变量，左侧包含常量。	重写包含变量和常量的关系表达式，使变量位于关系运算符的左侧，常量位于右侧。
mp_0023_a2：检查变量是否位于关系运算符的右侧	一个或多个关系运算符的左侧包含变量，右侧包含常量。	重写包含变量和常量的关系表达式，使变量位于关系运算符的右侧，常量位于左侧。