主要内容

自动化覆盖工作流程

使用脚本或函数来自动化覆盖率收集

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

功能

全部展开

sim卡 模拟动态系统
parsim 对动态系统进行多次并行或串行模拟
cvt 创建模型覆盖率测试规范对象
cvsim 模拟并返回测试对象的模型覆盖率结果
cvexit 退出模型覆盖环境
slcovmex 从C/ c++代码构建覆盖兼容的mex函数
cvdata属性 商店万博1manbetx报道用于其他覆盖功能的数据
cvload 将覆盖率测试和存储结果加载到内存中
cvsave 将覆盖率测试和结果保存到文件中
cvresults 返回活动覆盖率数据，从文件中清除并加载活动覆盖率数据
cvmodelview 显示模型覆盖结果与模型着色
conditioninfo 检索条件覆盖信息cvdata对象
decisioninfo 检索决策覆盖信息cvdata对象
executioninfo 检索执行覆盖率信息cvdata对象
getCoverageInfo 检索覆盖信息万博1manbetx设计验证器街区cvdata对象
mcdcinfo 从中检索已修改的条件/决策覆盖信息cvdata对象
complexityinfo 检索圈复杂度覆盖信息cvdata对象
overflowsaturationinfo 获取整数溢出覆盖的饱和度cvdata对象
relationalboundaryinfo 检索关系边界覆盖范围cvdata对象
sigrangeinfo 检索信号范围覆盖信息从cvdata对象
sigsizeinfo 检索信号大小覆盖信息cvdata对象
tableinfo 从中检索查找表覆盖率信息cvdata对象
提取 从系统级覆盖数据中提取子系统覆盖数据
cvhtml 从模型覆盖对象生成HTML报告
slwebview_cov 出口万博1manbetx模型到带有覆盖率的Web视图
slvnvlogsignals 在模拟过程中记录组件或模型的测试数据
slvnvmergedata 合并来自数据文件的测试数据
slvnvmakeharness 生成万博1manbetx报道利用模型
slvnvharnessopts 生成默认选项slvnvmakeharness
slvnvmergeharness 结合来自线束模型的测试数据
slvnvruntest 使用输入数据模拟模型
slvnvruncgvtest 调用代码生成验证(CGV) API并执行模型
slvnvruntestopts 生成模拟或执行选项slvnvruntest或slvnvruncgvtest
slvnvextract 将子系统或子图内容提取到新模型中

类

全部展开

cv.cvdatagroup 的集合cvdata对象
slcoverage。BlockSelector 选择覆盖过滤器的块
slcoverage。CodeSelector 为覆盖率过滤器选择自定义的C/ c++代码
slcoverage。过滤器 覆盖过滤集
slcoverage。FilterRule 创建覆盖率过滤规则
slcoverage。MetricSelector 选择覆盖率过滤器的度量标准
slcoverage。选择器 获取所有类型的选择器
slcoverage。SFcnSelector 过滤规则选择s函数准则

主题

自动化模型覆盖任务

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

从结果中检索覆盖率细节

使用MATLAB命令在模拟后检索特定的覆盖信息。

特色的例子

命令行验证教程

命令行验证教程

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

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

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

使用脚本过滤覆盖率结果

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

使用Parsim在并行模拟中记录覆盖

在多个并行Simulink®模拟中记录覆盖率，对应于不同的测试用例，使用S万博1manbetximulationInput对象和parsim命令。如果系统上安装了并行计算工具箱，则parsim命令并行运行模拟。否则，模拟是串行运行的。
打开脚本

万博1manbetxSimulink覆盖文档

万博1manbetx

试用MATLAB、Sim万博1manbetxulink和其他产品s manbetx 845

现在开始试用