帮助中心帮助中心

收集模型的覆盖范围

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

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

功能

收集模型覆盖率

`sim卡`	模拟万博1manbetx模型
`cvt`	创建模型覆盖测试规范对象
`cvsim`	模拟并返回测试对象的模型覆盖结果
`cvdata`	访问万博1manbetx报道资料载于MATLAB工作空间
`cvexit`	退出覆盖环境
`parsim`	对动态系统进行多次并行或串行仿真

验证单个组件

`slvnvlogsignals`	在模拟过程中记录组件或模型的测试数据
`slvnvmergedata`	结合来自数据文件的测试数据
`slvnvmakeharness`	生成万博1manbetx报道利用模型
`slvnvharnessopts`	生成默认选项`slvnvmakeharness`
`slvnvmergeharness`	结合来自线束模型的测试数据
`slvnvruntest`	利用输入数据对模型进行仿真
`slvnvruncgvtest`	使用代码生成验证(CGV) API执行模型
`slvnvruntestopts`	生成模拟或执行选项`slvnvruntest`或`slvnvruncgvtest`
`slvnvextract`	将原子子系统或子图内容提取到新模型中

主题

模型覆盖定义

模型覆盖
通过测量模型对象测试的彻底程度来验证模型测试。
模型覆盖的类型
提供的模型覆盖度量万博1manbetx仿真软件覆盖．
Simulink覆盖中的修改条件和决策覆盖(MCDC)定义万博1manbetx
描述可用的MCDC覆盖的定义万博1manbetx仿真软件覆盖．
Simulink设计验证器中的修正条件和决策覆盖万博1manbetx
描述中MCDC覆盖范围的差异万博1manbetxSimulink设计验证器™而在万博1manbetx仿真软件覆盖．

使用模型覆盖

使用Si万博1manbetxmulink覆盖率来分析你的模型
学习基本的万博1manbetx仿真软件覆盖工作流。
指定覆盖范围选项
在模型设置中，指定几个覆盖分析选项。
为接受覆盖的对象建模
在模拟期间接收模型覆盖的模型对象。
建模不接受覆盖的对象
万博1manbetx不接收覆盖的Simulink对象。
一个引用模型的多个实例的模型覆盖
当一个模型有多个引用相同模型的model块时，收集模型覆盖率。
不同块的模型覆盖
学习如何万博1manbetx仿真软件覆盖显示Simulink变量的覆盖结果。万博1manbetx
万博1manbetxSimulink优化和模型覆盖
了解内联参数、块缩减和条件输入分支执行如何影响模型覆盖率数据。

状态流程图的模型覆盖

状态流程图的模型覆盖报告
描述状态流程图中元素覆盖率的定义。
状态流程图的覆盖类型
描述可以为状态流程图收集的覆盖率指标。
状态流原子子图的模型覆盖
当您的模型包含状态流原子子图时，覆盖行为。
状态流程图的模型覆盖显示
解释状态流程图的彩色模型高亮显示。
状态流真值表的模型覆盖
当您的模型包含状态流真值表时，覆盖行为。

特色的例子

累积覆盖率分析

累积覆盖率分析

说明如何使用覆盖结果资源管理器来简化跨越一组多个覆盖运行的累积覆盖数据和报告的生成。

打开脚本

用Parsim记录并行模拟中的覆盖率

用Parsim记录并行模拟中的覆盖率

在与不同测试用例对应的多个并行Simulink®模拟中记录覆盖率，使用Si万博1manbetxmulationInput对象和parsim命令。如果系统上已安装“并行计算工具箱”，则parsim命令并行运行模拟。否则，模拟将以串行方式运行。

打开脚本

级联逻辑块的MCDC分析

级联逻辑块的MCDC分析

演示了Simulink®Cove万博1manbetxrage™如何为级联的逻辑运算符块记录MCDC度量。

打开脚本

逻辑运算符级联模式

逻辑运算符级联模式

该模型包括级联的逻辑操作符块的各种模式。这个例子说明了为MCDC度量的模型覆盖分析而识别逻辑块级联的标准。

打开脚本

收集整数溢出覆盖饱和度

收集整数溢出覆盖饱和度

配置您的模型以收集饱和整数溢出覆盖。

开放模式

通过使用设计研究收集多个模拟的覆盖率

通过使用设计研究收集多个模拟的覆盖率

在运行多个模拟时收集覆盖率。要了解有关运行多个模拟的详细信息，请参见运行多个模拟。

打开脚本