主要内容

使用模型切片机与Stateflow

您可以使用Model Slicer高亮显示来可视化地验证statflow中的逻辑®图表或表格。在你定义一个模拟时间窗口，您可以使用Model切片器来突出显示和切片所选时间窗口内活动的状态流元素。

请注意

如果你没有定义一个模拟时间窗口当您在状态流图表或表中突出显示功能依赖项时，模型切片器假定图表或表的所有元素都是活动的。Model Slicer突出显示这类图表和表格的全部内容。

模型切片器突出显示的行为Stateflow元素

如果statflow元素在指定的时间窗口内执行，Model切片器将突出显示该元素。一些例子包括:

  • 图表，如果它在指定的时间窗口中被激活。

  • 一种状态，如果在指定的时间窗口内执行其进入、退出或期间操作。

  • 父状态，如果它的子状态在指定的时间窗口中突出显示。

  • 如果转换是在指定的时间窗口内进行的，例如内部、外部和默认。如果评估了转换的条件，但没有进行转换，则Model Slicer不会突出显示转换。

使用模型切片机与Stateflow状态转换表

模型切片器不直接突出显示状态流状态转换表的内容。若要查看状态转换表中突出显示的功能依赖项，必须查看状态转换表的自动生成关系图。有关如何查看状态转换表的自动生成关系图的说明，请参见从状态转换表生成图表(Stateflow)．

金宝app支持使用模型切片器的限制Stateflow

有关与状金宝app态流一起使用模型切片器时的支持限制，请参见模型切片器支持状态流的限制金宝app．

相关的话题