主要内容

收集模型的覆盖范围

测量模型的覆盖率,确定设计中未经测试的元素

在模拟期间收集覆盖率,以测量模型或状态流中的哪些元素®图表经过测试。万博1manbetx®新闻报道™测量几种类型的覆盖率,例如执行、决策、条件和修改的条件/决策覆盖率。最基本的覆盖率级别确定项目是否在模拟期间执行,而更广泛的覆盖率级别确定单个逻辑条件是否完全执行并独立影响逻辑表达式的输出。

功能

全部展开

模拟 模拟万博1manbetx模型
cvtest 创建模型覆盖率测试规范对象
cvsim 模拟并返回测试对象的模型覆盖结果
cvdata 通道万博1manbetx新闻报道数据库中的数据MATLAB工作空间
cvexit 出口模型覆盖环境
帕西姆 并行或串行多次模拟动态系统
SLVNVLOG信号 模拟期间记录组件或模型的测试数据
slvvmergedata 组合数据文件中的测试数据
SLVNVMAKE线束 生成万博1manbetx新闻报道线束模型
slvnvharnessopts 生成默认选项SLVNVMAKE线束
slvnvmergeharness 组合线束模型的测试数据
slvnvruntest 使用输入数据模拟模型
SLVNVRUNCGV试验 调用代码生成验证(CGV)API并执行模型
SLVNVRUNTETS站 为。生成模拟或执行选项slvnvruntestSLVNVRUNCGV试验
slvnvextract 将原子子系统或子图表内容提取到新模型中

话题

模型覆盖范围的类型

模型覆盖率指标由万博1manbetx仿真软件覆盖.

使用Si万博1manbetxmulink覆盖率分析模型

学习的基本万博1manbetx仿真软件覆盖工作流程。

指定覆盖率选项

在模型设置中,指定几个覆盖率分析选项。

为接收覆盖的对象建模

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

对未接收覆盖的对象进行建模

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

Simulink覆盖中修改的条件和决策覆盖(MCDC)定义万博1manbetx

描述可在中使用的MCDC覆盖范围的定义万博1manbetx仿真软件覆盖.

Simulink设计验证器中的改进条件和决策覆盖万博1manbetx

中MCDC覆盖范围之间的区别万博1manbetxSimulink设计验证程序™而在万博1manbetx仿真软件覆盖.

万博1manbetxSimulink优化和模型覆盖率

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

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

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

状态流图的模型覆盖率

描述状态流程图中元素的覆盖率定义。

特色实例