主要内容

自动化覆盖工作流程

使用脚本或功能来自动覆盖集合

Model Coverage命令让您使用MATLAB自动化整个模型覆盖过程®脚本。您可以使用Model Coverage命令来设置模型覆盖测试，在模拟中执行它们，并存储并报告结果。

职能

展开全部

SIM 模拟A.万博1manbetx模型
Parsim 在并行或串行中多次模拟动态系统
CVTest. 创建模型覆盖测试规范对象
CVSIM 模拟和返回测试对象的模型覆盖结果
Cvexit. 退出模型覆盖环境
Slcovmex. 从C / C ++代码构建覆盖兼容的MEX函数
cvdata属性 店铺万博1manbetx覆盖范围用于其他覆盖功能的数据
cvload. 将覆盖范围测试和存储结果变为内存
cvsave. 将覆盖设置和结果保存到文件
cvresults. 返回活动覆盖数据，清除并从文件加载活动覆盖数据
cvmodelview. 显示模型覆盖结果：模型着色结果
ConditionInfo. 检索条件覆盖信息来自cvdata.目的
决策情况 检索决策覆盖范围信息cvdata.目的
ExecutionInfo. 检索执行覆盖信息cvdata.目的
getcoverageinfo. 检索覆盖范围信息万博1manbetx设计验证者块cvdata.目的
麦克唐霉素 检索修改的条件/决策覆盖范围信息cvdata.目的
ComplexityInfo. 从中检索循环复杂性覆盖信息cvdata.目的
overflowsaturionInfo. 从整数溢出覆盖范围内检索饱和度cvdata.目的
关系领域 检索关系边界覆盖范围cvdata.目的
SIGRANGEINFO. 检索信号范围覆盖信息cvdata.目的
sigsizeinfo. 检索信号大小覆盖信息cvdata.目的
tableInfo. 检索查找表覆盖范围信息cvdata.目的
提炼 从系统级覆盖数据中提取子系统覆盖数据
cvhtml. 从模型覆盖对象生成HTML报告
slwebview_cov. 出口万博1manbetx使用覆盖范围的模型到Web视图
slvnvlogsignals. 在模拟期间对组件或模型的日志测试数据
slvnvmergedata. 将测试数据与数据文件组合
slvnvmakeharness 产生万博1manbetx覆盖范围线束模型
slvnvharnessopts. 生成默认选项slvnvmakeharness
slvnvmergeharness 将测试数据与Harness模型组合
slvnvruntest. 使用输入数据模拟模型
slvnvruncgvtest. 调用代码生成验证（CGV）API和执行模型
slvnvruntestopts. 生成模拟或执行选项slvnvruntest.或者slvnvruncgvtest.
Slvnvextract. 将子系统或子区内容提取到新模型中

班级

展开全部

cv.cvdatagroup. 收集cvdata.对象
slcoverage.blockSelector. 选择覆盖过滤器的块
slcoverage.codeselector. 为Coverage过滤器选择Custom C或C ++代码
slcoverage.filter. 覆盖过滤器集
slcoverage.filterrule. 创建覆盖过滤规则
slcoverage.metricselector 选择覆盖过滤器的度量标准
slcoverage.Selector. 获取所有类型的选择器
slcoverage.sfcnselector 选择过滤规则的S函数标准

话题

自动化模型覆盖任务

使用MATLAB命令自动化模型覆盖率分析。

从结果中检索覆盖范围详细信息

使用MATLAB命令进行仿真后检索特定的覆盖信息。

特色例子

命令行验证教程

命令行验证教程

为可调速率限制器创建三个测试用例，并使用模型覆盖工具的命令行API分析结果模型覆盖。
打开脚本
从覆盖数据中提取详细信息

从覆盖数据中提取详细信息

覆盖实用程序命令如何用于从CVDATA对象中提取单个子系统，块或eventsflow®对象的信息。
打开脚本
使用脚本过滤覆盖结果

使用脚本过滤覆盖结果

以编程方式从覆盖结果中过滤对象和结果。
打开脚本
通过使用Parsim记录并行模拟中的覆盖范围

通过使用Parsim记录并行模拟中的覆盖范围

通过使用模拟浇口对象和对应于不同测试用例的多个并行Simulink®模拟中万博1manbetx的覆盖范围Parsim命令。如果系统上安装了并行计算工具箱，则Parsim命令并行运行模拟。否则，模拟在串行中运行。
打开脚本

万博1manbetxSimulink覆盖文档

万博1manbetx

使用Simulink自动化验证和验证万博1manbetx

使用Simulink自动化验证和验证万博1manbetx

获取资源