检查状态转移条件中使用的变量的更新
检查 ID：mathworks.jmaab_v6.jc_0741
规范：jc_0741：更新状态图转移条件中所用数据的时机
描述
状态转移条件中使用的变量不能通过 "during" 状态动作类型执行更新。
此检查需要 Simulink® Check™ 和 Stateflow® 许可证。
检查参数化
此检查包含与 MAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。
作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为：
NA-MAAB - 无建议
JMAAB - a1、a2、b
结果和建议的操作
| 规范子 ID | 条件 | 建议的操作 |
|---|---|---|
| jc_0741_a1：状态转移条件中使用的变量不应使用 "during" 来执行更新。 | 状态转移条件中的变量通过 "during" 状态动作类型执行更新。 | 请考虑更改在 "during" 动作中更新的变量 |
| jc_0741_a2：状态转移条件中使用的变量应使用 "during" 来执行更新。 | 状态转移条件中的变量没有通过 "during" 状态动作类型执行更新。 | 请考虑更改在 "during" 动作中更新的状态转移条件中使用的变量。 |
| jc_0741_b：在同一转移条件下，同时使用正在更新的数据和未更新的数据 | 状态转移条件中使用的变量同时包含了在 "during" 状态动作类型中更新和未更新的数据。 | 请考虑更改转移条件中的变量。 |
功能和限制
对库模型运行。
当存在结点循环时，无法验证。
当存在多个源自同一结点的转移时，无法验证。
可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为 on。
允许排除模块和图。
