帮助中心帮助中心

为模型收集保险

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

在模拟过程中收集覆盖率，以度量模型或状态流中的哪些元素^®测试图表。金宝app^®覆盖™度量几种类型的覆盖率，例如执行、决策、条件和修改后的条件/决策覆盖率。最基本的覆盖级别决定在模拟过程中是否执行项目，而更广泛的覆盖级别决定是否充分执行各个逻辑条件，并独立地影响逻辑表达式的输出。

功能

收集模型覆盖率

`sim卡`	模拟金宝app模型
`cvt`	创建模型覆盖测试规范对象
`cvsim`	模拟并返回测试对象的模型覆盖结果
`cvdata`	访问金宝app报道的数据MATLAB工作空间
`cvexit`	出口覆盖环境
`parsim`	以并行或串行方式多次模拟动态系统

验证单个组件

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

主题

模型覆盖定义

模型覆盖
通过测量模型对象测试的彻底程度来验证模型测试。
模型覆盖的类型
提供的模型覆盖率度量金宝app仿真软件覆盖．
Simulink覆盖中的修改条件和决策覆盖(MCDC)定义金宝app
描述中可用的MCDC覆盖率的定义金宝app仿真软件覆盖．
Simulink设计验证器中的修正条件和决策覆盖金宝app
描述MCDC覆盖率之间的差异金宝appSimulink设计验证器™而在金宝app仿真软件覆盖．

使用模型覆盖

使用Si金宝appmulink覆盖率分析您的模型
学习基本的金宝app仿真软件覆盖工作流。
指定覆盖范围选项
在模型设置中，指定几个覆盖率分析选项。
对接收覆盖率的对象建模
在模拟过程中接受模型覆盖的模型对象。
对没有得到覆盖的对象建模
金宝app不接受覆盖的Simulink对象。
一个引用模型的多个实例的模型覆盖
当一个模型有多个引用相同模型的模型块时，收集模型覆盖率。
变量块的模型覆盖
学习如何金宝app仿真软件覆盖显示Simulink变量的覆盖结果。金宝app
金宝appSimulink优化和模型覆盖
了解内联参数、块减少和条件输入分支执行如何影响模型覆盖数据。

状态流图的模型覆盖

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

特色的例子

累积覆盖率分析

累积覆盖率分析

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

打开脚本

Parsim并行模拟中的记录覆盖

Parsim并行模拟中的记录覆盖

在多个并行Simulink®模拟中记录覆盖率，对应于不同的测试用例，使用S金宝appimulationInput对象和parsim命令。如果系统上已安装“并行计算工具箱”，则parsim命令并行运行模拟。否则，模拟将串行运行。

打开脚本

级联逻辑块的MCDC分析

级联逻辑块的MCDC分析

说明了Simulink®Cove金宝apprage™如何记录逻辑运算符块级联的MCDC度量。

打开脚本

逻辑运算符级联模式

逻辑运算符级联模式

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

打开脚本

收集整数溢出覆盖率的饱和度

收集整数溢出覆盖率的饱和度

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

开放模式

利用设计研究为多个模拟收集覆盖率

利用设计研究为多个模拟收集覆盖率

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

打开脚本