获取可重用子系统和Stateflow®结构的累积覆盖率

这个例子使用了:

打开脚本

这个例子展示了如何创建和查看具有可重用子系统的模型的累积覆盖结果。

万博1manbetxSimulink®Coverage™为相同配置的多个实例提供累计覆盖:

要获得累积覆盖率，可以在命令行中添加各个覆盖率结果。通过添加单个覆盖率结果，您可以获得跨模型和测试工具的多个实例的累积覆盖率结果。

在MATLAB®命令行，输入:

模型=“slvnvdemo_cv_mutual_exclusion”；open_system(模型);

这个模型有两个可重用子系统的实例。实例分别命名为子系统1和子系统2。

执行子系统1决策覆盖的命令:

Testobj1 = cvtest([模型“/子系统1”]);Testobj1.settings.decision = 1;Covobj1 = cvsim(testobj1);

执行子系统2决策覆盖的命令:

Testobj2 = cvtest([模型“/子系统2”]);Testobj2.settings.decision = 1;Covobj2 = cvsim(testobj2);

执行命令为子系统1和子系统2创建累积决策覆盖率:

Covobj3 = covobj1 + covobj2;

为子系统1决策覆盖创建一个HTML报告:

cvhtml (“subsystem1”covobj1)

报告表明子系统1的决策覆盖率为50%。的真正的条件启用逻辑值不进行分析。

为子系统2决策覆盖创建一个HTML报告:

cvhtml (“subsystem2”covobj2)

报告表明子系统2的决策覆盖率为50%。的假条件启用逻辑值不进行分析。

为子系统1和子系统2创建一个累积决策覆盖的HTML报告:

cvhtml (“cum_subsystem”covobj3)

可重用子系统子系统1和子系统2的累计决策覆盖率为100%。这两个真正的而且假条件启用逻辑值进行了分析。