模型覆盖基础知识

模型覆盖

通过测量测试模型对象的彻底程度来验证模型测试。

模型覆盖收集工作流程

开发具有模型覆盖率的有效测试。

指定覆盖范围选项

在Simuli万博1manbetxnk编辑器中，指定多个覆盖率录制选项。

模型覆盖类型

模型覆盖度量由万博1manbetxSimulink的覆盖范围.

查看覆盖率结果在模型

突出显示模型元素以查看覆盖率结果。

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

创建和查看累计覆盖率结果具有可重复使用的子系统模型。

累积覆盖率数据

从连续的模拟运行中收集累积模型覆盖率。

创建并运行测试用例

使用模型覆盖率MATLAB创建和运行测试用例^®命令CVT测试和cvsim卡.

Simulink模型中自定义C/C++代码的覆盖万博1manbetx

分析C/C++函数的模型覆盖率。

模型覆盖对象详细信息

Simulink覆盖中的修正条件和决策覆盖（MCDC）定义万博1manbetx

描述中使用的MCDC覆盖范围的定义万博1manbetxSimulink的覆盖范围.

修正条件和判定覆盖在Simulink设计验证万博1manbetx

介绍MCDC覆盖率之间的区别万博1manbetxSimulink设计验证程序™在万博1manbetxSimulink的覆盖范围.

逻辑运算符级联模式

该模型包括多种级联逻辑运算块模式。

分析MCDC梯级逻辑块

本例说明了Simulink®的覆盖范围™ 记录逻辑运算符块万博1manbetx级联的MCDC度量。

万博1manbetxSimulink优化与模型覆盖

了解内联参数、块缩减和条件输入分支执行如何影响模型覆盖率数据。

对接收覆盖率的对象建模

在模拟期间接收模型覆盖率的模型对象。

模型对象不接收范围

万博1manbetx不接收覆盖率的Simulink对象。

型号为覆盖功能的MATLAB

使用MATLAB功能块的模型覆盖率并解释结果。

型号覆盖范围Stateflow图

确定模型测试用例通过模型执行模拟控制流路径的程度。

模型覆盖了参考模型的多个实例

当模型有多个引用同一模型的模型块时，收集模型覆盖率。

MATLAB®功能块的覆盖范围

此示例模型解释模型覆盖如何涉及MATLAB代码一个MATLAB功能块的内部。

S-函数的覆盖范围

这个例子显示了如何配置与遗留代码工具生成的S-功能可与兼容的覆盖。

整数溢出覆盖的饱和

模拟此模型以收集和报告整数溢出覆盖的饱和。