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

分析 Stateflow 原子子图

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

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

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

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

注意

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

使用 Simulink Design Verifier 分析原子子图

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

  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 子图的分析结果：

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

    • 生成详细的分析报告

    • 创建框架模型

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