检查 Stateflow 状态中内部转移的使用

检查 ID：mathworks.jmaab.jc_0763

规范：jc_0763：多个内部转移的使用

标识使用多个内部转移的 Stateflow 状态。

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

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

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

注意

子检查 jc_0763_a1 默认选中。

规范子 ID	条件	建议的操作
jc_0763_a1：检查多个内部转移。	一个或多个 Stateflow 状态具有多个内部转移。	重新设计，避免使用多个内部转移。
jc_0763_a2：检查多个内部转移的顺序。	一个或多个 Stateflow 状态具有多个未按执行顺序放置的内部转移。	请考虑按执行顺序从上到下放置内部转移。