主要内容

检查流程图中无条件转移的使用

检查 IDmathworks.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)