本页采用了机器翻译。点击此处可查看英文原文。

使用模型 Slicer 和 Stateflow

您可以使用模型切片器高亮显示功能，直观地验证 Stateflow® 图或表格中的逻辑。执行 定义仿真时间窗口 操作后，您可以使用模型切片器突出显示并切片在选定时间窗口内处于活动的 Stateflow 元素。

注意

如果您在 Stateflow 图或表格中突出显示函数依赖关系时没有定义仿真时间窗口，则模型切片器会假定图或表格的所有元素都处于活动。模型切片器会突出显示此类图和表格的全部内容。

模型切片器高亮显示 Stateflow 元素的行为

模型切片器会突出显示在指定时间窗口内执行的 Stateflow 元素。例如：

  • 如果图在指定的时间窗口内激活，则会显示该图。

  • 如果在指定的时间窗口内执行了状态的进入、退出或期间操作，则该状态将被判定为有效。

  • 如果父状态的子状态在指定的时间窗口内被高亮显示，则父状态被高亮显示。

  • 如果在指定的时间窗口（例如内部、外部和默认）内进行转换，则称为转换。如果评估了转换的条件，但没有进行转换，则模型切片器不会突出显示该转换。

使用模型切片器和 Stateflow 状态转换表

模型切片器不会直接突出显示 Stateflow 状态转换表的内容。要查看状态转换表中突出显示的功能依赖关系，您必须查看状态转换表的自动生成图。在调试选项卡中，点击显示自动图。有关详细信息，请参阅Inspect the Design of State Transition Tables (Stateflow)。

使用模型 Slicer 和 Stateflow 时的支持限制

如果您将模型 Slicer 与 Stateflow 一起使用，请参阅 模型切片器对 Stateflow 的支持限制，了解支持限制。

另请参阅

主题