主要内容

执行路径不可达

描述

当有图表构造不在有效执行路径上时，选择要采取的诊断操作。这些构造会导致执行路径不可达:

  • 悬空转换未连接到目标状态、连接或端口

    包含悬垂转换的图表。

  • 由无条件转换引起的转换阴影，该无条件转换阻止来自同一源的其他转换执行

    用无条件转换遮蔽条件转换的图表。

  • 未与来自可达源的转换连接的状态、连接或端口

    包含不可访问状态的图表。

  • 方法的执行导致状态的无条件转换在状态中的操作以及子状态之间的转换

    在图表中使用一个过渡到一个状态，其中包含during动作，另一个过渡到一个状态，其中包含子状态。

类别:诊断

设置

默认值:警告

没有一个

不会出现任何警告或错误。

警告

出现一个警告。

错误

出现错误并停止模拟。

提示

此诊断不会检测由始终为true或false的转换条件导致的不可达执行路径。例如，在这个图表中，诊断没有检测到状态的无条件转换D从来都是无效的。

包含永远无效的无条件转换的图表。

如果你有动态仿真模块®设计验证器™，您可以使用死逻辑检测来分析这种类型的不可达执行路径的图表。有关更多信息，请参见死逻辑检测(Simulink Design Verifier)．

命令行信息

参数:SFUnreachableExecutionPathDiag
值:“没有”|“警告”|“错误”
默认值:“警告”

推荐设置

应用程序 设置
调试 警告
可追溯性 没有影响
效率 无影响(用于模拟)
没有一个(用于生产代码生成)
安全预防措施 错误

相关的话题

Baidu
map