Main Content

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

分析 Stateflow 原子子图

在 Stateflow® 图表中，原子子图是一个图形对象，允许您在多个图表和模型中重复使用相同的状态或子图。您可以使用Simulink® Design Verifier™单独分析原子子图。您不必分析包含原子子图的图表或包含该图表的模型。

如果您在分析大型模型时遇到问题，那么在受控环境中分析原子子图会有所帮助。如自下而上的模型分析方法中所述，通过单独分析模型层次结构中的原子子图或其他组件，您可以分析模型以：

  • 解决减慢或阻止测试生成、属性证明或设计错误检测的问题。

  • 分析在容器模型或图表上下文中无法访问的模型组件。

注意

有关原子子图的更多信息，请参阅 Create Reusable Subcomponents by Using Atomic Subcharts (Stateflow) 。

使用 Simulink Design Verifier 分析原子子图

sf_atomic_sensor_pair 示例模型使用原子子图对冗余传感器对进行建模。本例分析RedundantSensors图中的Sensor1子图。

  1. 打开sf_atomic_sensor_pair示例模型：

    openExample('stateflow/ModelingARedundantSensorPairUsingAtomicSubchartExample',...
'supportingFile','sf_atomic_sensor_pair');

    该模型演示了如何使用原子子图来模型简单的冗余传感器对。

  2. 双击 RedundantSensors 图表将其打开。

    这个 Stateflow 图表有两个原子子图表：

    • Sensor1

    • Sensor2

  3. 要使用 Simulink Design Verifier 分析 Sensor1 子图，请右键单击子图并选择 Design Verifier > 为子图生成测试 。

    在分析过程中，软件会创建一个名为Sensor1的Simulink模型，其中包含Sensor1子图。新的模型包含Inport和Outport模块，分别对应子图中的数据对象u和y。

    软件将新模型和分析生成的其他文件保存在：

    <current_folder>/sldv_output/Sensor1

  4. 分析完成后，单击以下选项之一查看 Sensor1 子图的分析结果：

    • 在模型上突出显示分析结果

    • 生成详细的分析报告

    • 创建框架模型

    • 仿真测试并生成模型覆盖率报告