在具有可变大小输入的模型中实现覆盖率

打开模型

本例中的模型有两个输入端口，可传递可变大小的信号。模型的输入端口 1 (in1) 为可变大小信号，最大维度为 [3,3]。

open_system('sldvVariableSizeAtInport');

创建和分离框架模型

1.在 App 窗格中打开 Simulink Test。

2.点击创建测试框架部分中的添加测试框架。

3.点击创建测试框架对话框中的确定。

4.点击框架选项卡中的分离并导出。

使用固定尺寸信号驱动可变尺寸输入端口

Simulink Design Verifier™ 支持输入端口具有固定大小信号的模型。增强框架模型，使其具有固定大小的输入端口，但在设计界面产生可变大小的信号。

1.向框架模型添加一个 Switch 模块，并在模块参数对话框中的信号属性选项卡中，选中允许不同数据输入大小复选框。

2.将 Switch 模块的两个数据端口的尺寸设置为 [3,3] 和 [2,2]，以确保您拥有设计模型的可变维度信号 in1。

生成测试以实现覆盖率

1.在更新后的框架的 App 窗格中打开 Design Verifier。

2.点击分析部分中的生成测试。

3.点击仿真测试并在结果摘要窗口中生成模型覆盖率报告。