主要内容

收集模型覆盖范围

测量模型的覆盖率,识别设计中未测试的元素

在模拟期间收集覆盖率以度量模型或statflow中的元素®图表进行测试。金宝app®覆盖™度量几种类型的覆盖,如执行、决策、条件和修改条件/决策覆盖。最基本的覆盖级别确定在模拟期间是否执行项,而更广泛的覆盖级别确定是否充分执行了单个逻辑条件并独立地影响逻辑表达式的输出。

功能

全部展开

sim卡 模拟一个金宝app模型
cvt 创建模型覆盖率测试规范对象
cvsim 模拟并返回测试对象的模型覆盖结果
cvdata 访问金宝app报道中的数据MATLAB工作空间
cvexit 出口模型覆盖环境
parsim 并行或串行多次模拟动态系统
slvnvlogsignals 在模拟过程中记录组件或模型的测试数据
slvnvmergedata 从数据文件中合并测试数据
slvnvmakeharness 生成金宝app报道利用模型
slvnvharnessopts 生成默认选项slvnvmakeharness
slvnvmergeharness 结合来自线束模型的测试数据
slvnvruntest 使用输入数据模拟模型
slvnvruncgvtest 调用代码生成验证(CGV) API并执行模型
slvnvruntestopts 为。生成模拟或执行选项slvnvruntestslvnvruncgvtest
slvnvextract 将原子子系统或子图表内容提取到新模型中

主题

模型覆盖类型

提供的模型覆盖度量金宝app仿真软件覆盖

使用Si金宝appmulink覆盖分析你的模型

学习的基本金宝app仿真软件覆盖工作流。

指定覆盖选项

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

对接收覆盖率的对象建模

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

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

金宝app没有接收覆盖的Simulink对象。

在Simulink覆盖中修改的条件和决策覆盖(MCDC)定义金宝app

中可用的MCDC覆盖范围的定义金宝app仿真软件覆盖

Simulink设计验证器中的改进条件和决策覆盖金宝app

中MCDC覆盖范围之间的区别金宝app仿真软件设计校验™而在金宝app仿真软件覆盖

金宝appSimulink优化和模型覆盖

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

被引用模型的多个实例的模型覆盖率

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

状态流图的模型覆盖率

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

特色的例子