遥不可及的执行路径
描述
选择诊断操作当有图表结构不是一个有效的执行路径。这些结构会导致无法执行路径:
晃来晃去的转换不是连接到一个目的地国家,结或港口
过渡阴影造成的无条件的过渡,防止其他来自同一来源执行的转换
州,连接,或端口未连接从一个可获得的来源
无条件的转换主要的状态,防止的执行
在
行动在国家和孩子状态之间的转换
类别:诊断
设置
默认值:警告
-
没有一个
-
没有出现警告或错误。
-
警告
-
会出现一个警告。
-
错误
-
出现一个错误并停止仿真。
提示
这个诊断不检测的执行路径引起的转换条件,总是真或假。例如,在这个图表中,诊断不检测到无条件的过渡状态D
从来都不是有效的。
如果你有金宝app®设计验证器™,你可以使用死逻辑检测分析图表为这种类型的遥不可及的执行路径。有关更多信息,请参见死的逻辑检测(金宝app仿真软件设计验证器)。
命令行信息
参数:SFUnreachableExecutionPathDiag |
值:“没有” |“警告” |“错误” |
默认值:“警告” |
推荐设置
应用程序 | 设置 |
---|---|
调试 | 警告 |
可追溯性 | 没有影响 |
效率 | 没有影响(模拟)没有一个 (用于生产代码生成) |
安全预防措施 | 错误 |
相关的话题
- 模型配置参数:Stateflow诊断
- 在编辑时检测建模错误(Stateflow)
- 死的逻辑检测(金宝app仿真软件设计验证器)