检查内部过渡Stateflow的起点
检查身份证:mathworks.jmaab.jc_0760
指导方针:jc_0760:内部转型的起点
描述
确定如果在所有状态图表和流程图,内部转换从状态边界必须从国家的左边缘。
这张支票需要金宝app®检查™和Stateflow®许可证。
检查参数化
这张支票不包括sub-checks因为马伯建模指南提供了只有一个接头ID。
供参考,MAB指南子ID (s)推荐使用的NA-MAAB和JMAAB建模标准组织是:
NA-MAAB——一个
JMAAB——一个
结果和建议措施
条件 | 建议的行动 |
---|---|
起点的一个或多个内部转换状态的边界状态图表或流程图不从的左边缘状态。 | 确保所有的图表和流程图,内部转换从状态边界必须从国家的左边缘。 |
功能和限制
运行库模型。
在蒙面子系统分析的内容。默认情况下,输入参数看下面具被设置为
图形化的
。分析library-linked内容块。默认情况下,输入参数链接被设置为
在
。允许排除块和图表。
编辑时间检查
这张支票是由编辑时间检查。金宝app