检查流程图中无条件转移的使用
检查 ID:mathworks.jmaab.jc_0773
规范:jc_0773:流程图的无条件转移
描述
标识流程图中的无条件转移。
此检查需要 Simulink® Check™ 和 Stateflow® 许可证。
检查参数化
此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID(一个或多个)。
作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB - a、b
JMAAB - a、b
结果和建议的操作
规范子 ID | 条件 | 建议的操作 |
---|---|---|
jc_0773_a:检查带条件转移的 Stateflow 结点是否连接有源自该节点的无条件转移。 | 一个或多个 Stateflow 结点没有连接源自该结点的无条件转移。 | 请考虑在结点处添加一个无条件转移。 |
jc_0773_b:检查无条件转移的执行顺序。 | 一个或多个 Stateflow 结点的无条件转移未排在最后执行。 | 请考虑将结点所连接的无条件转移设置为执行顺序中的最高值。 |
功能和限制
对库模型运行。
支持排除模块或图。
可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on。
可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical。
当真值表中的动作语言设置为 Stateflow 时,检查会失败,但当动作语言设置为 MATLAB® 时,检查则会通过。有关 MATLAB 与 C 作为动作语言之间的差异的更多信息,请参阅 使用 MATLAB 和 C 作为动作语言语法时的差异 (Stateflow)。