主要内容

cvdata

访问金宝app报道中的数据MATLAB工作空间

扩展所有的页面

描述

cvdata覆盖率数据对象存储模型。

创建

一个cvdata对象是自动生成的,当你启用了覆盖的模拟模型。您可以访问使用覆盖函数的覆盖率数据。的cvdata对象变得无效,如果你关闭或修改它的父模型。

属性

全部展开

这个属性是只读的。

覆盖率数据起源释放,作为一个字符数组返回。

数据类型:字符

这个属性是只读的。

内部覆盖数据ID,作为一个标量返回。

数据类型:双

这个属性是只读的。

内部覆盖类型,作为要么返回TEST_DATA一个覆盖模拟,或DERIVED_DATA聚合或累积的覆盖率数据。

数据类型:字符

这个属性是只读的。

测试数据,作为一个返回cvt对象。这个属性描述了覆盖配置。

数据类型:cvt

这个属性是只读的。

内部根ID,作为一个标量返回。

数据类型:双

这个属性是只读的。

覆盖率数据校验和,作为一个结构数组返回。导致一些变化的模型校验和改变,例如,删除或添加编辑模型结构像积木一样,或改变一些配置参数。总覆盖率结果,cvdata.checksum属性必须匹配。

数据类型:结构体

这个属性是只读的。

模型信息,作为一个结构数组返回。这个属性包含元数据的模型分析报道。

cvdata.modelinfo有以下字段:

场

描述

值

modelVersion

版本的模型分析报道。

字符数组包含版本号

创造者

原始模型的创造者。

系统名称或组织名称

lastModifiedDate

最后修改日期和时间模型。

字符数组包含日期和时间

defaultParameterBehavior

显示默认参数设置的行为。

“可调”|“内联”

blockReductionStatus

表明减少块是否启用。

看到块减少为更多的信息。

”从“|”“

conditionallyExecuteInputs

条件输入执行开关。的值1是“上”,和一个值0是“关闭”。

1 | 0

mdcdMode

定义用于修改条件决定覆盖(MCDC)分析。的值1表明该模型使用的屏蔽定义MCDC和一个值0表明该模型使用unique-cause MCDC的定义。

有关更多信息,请参见改性条件和决策覆盖(MCDC)定义在模型的报道金宝app。

1 | 0

analyzedModel

分析模型或模型对象的名称。如果分析的范围仅仅是一个子系统,Stateflow®图表或其他模型对象,这是模型对象的路径。

字符数组

reducedBlocks

块减少块减少参数的列表,如果启用了它和任何块减少。

字符数组

ownerModel

模型或包含在测试的组件。如果你有一个框图利用,这是模型,利用测试。如果你有一个子系统利用,这个模型包含子系统。

 字符数组

ownerBlock

如果模型利用包括一个子系统,这个子系统利用测试。

字符数组

harnessModel

利用模型名称。如果你有数据聚合来自多个测试运行,其中每个运行使用一种不同的利用具有相同ownerModel这个字段显示,不是独一无二的。

 字符数组

logicBlkShortcircuit

表明短路选择是否启用。

0 | 1

数据类型:结构体

系统在仿真开始,作为一个字符数组返回。

数据类型:字符

在仿真系统时间停止,作为一个字符数组返回。

数据类型:字符

覆盖间隔开始时间,作为一个标量返回。这个值来自于CovStartTime参数。有关更多信息,请参见报道时间间隔开始时间。

数据类型:双

覆盖间隔停止时间,作为一个标量返回。这个值来自于CovStopTime参数。有关更多信息,请参见覆盖间隔停止时间。

数据类型:双

覆盖过滤器文件名称,返回字符数组或单元格字符数组的数组。这个属性包含覆盖过滤器文件的名字。如果没有覆盖过滤器,这个字段是空的。您可以应用一个覆盖过滤器后仿真通过指定一个有效的过滤器文件的名字这个性质。

数据类型:字符|细胞

模拟模式,作为一个字符数组返回。有关更多信息,请参见模拟模式。

数据类型:字符

是否要排除不活跃的变体在覆盖率报告,指定为0或1。将此属性设置为0覆盖率报告报告不活跃的变体,并设置这个属性1从覆盖报告排除不活跃的变体。

这个属性只影响模型金宝app®变异与启动激活时间和不活跃的变体配置Stateflow图表。

如果你总两个或更多cvdata不同的值的对象excludeInactiveVariants,由此产生的聚合cvdata对象有一个excludeInactiveVariants属性值的0。

例子:covData。excludeInactiveVariants = 1;

数据类型:双

对象的功能

全部展开

cvhtml 从模型覆盖对象创建HTML覆盖报告
cvmodelview 模型结果与报道突出显示
cvresults 返回活动覆盖率数据,清除和覆盖率数据从文件加载活跃
cvsave 覆盖设置和结果保存到文件中
提取 从系统级的覆盖率数据提取子系统覆盖率数据
complexityinfo 检索圈复杂度覆盖率信息cvdata对象
conditioninfo 检索条件覆盖率信息cvdata对象
decisioninfo 检索决定覆盖率信息cvdata对象
executioninfo 检索执行覆盖率信息cvdata对象
getCoverageInfo 检索范围的信息金宝app设计验证器街区cvdata对象
mcdcinfo 检索条件/决定覆盖率信息修改cvdata对象
overflowsaturationinfo 检索整数溢出的饱和覆盖cvdata对象
relationalboundaryinfo 检索关系边界范围cvdata对象
sigrangeinfo 检索范围信号覆盖率信息cvdata对象
sigsizeinfo 获取信号大小覆盖率信息cvdata对象
tableinfo 从检索查找表覆盖信息cvdata对象

您可以使用这些专业MATLAB®运营商与cvdata对象。

+

返回两个的结合cvdata对象。返回的cvdata对象包含总聚合覆盖两个模拟或测试。
- - - - - -

返回一组左右操作数之间的区别。返回的cvdata对象包含客观报道的结果满意的左操作数,但不正确的操作数。使用- - - - - -确定有多少额外的报道是由于特定的仿真或测试。
*和*。

返回两个之间的十字路口cvdata对象。返回的cvdata由操作数对象只包含覆盖满意。使用*确认是否有重叠覆盖两个模拟或测试。

例子

全部折叠

打开脚本

这个例子展示了如何查看决定覆盖率数据块在你的模型。

加载模型。

modelName =“slvnvdemo_cv_small_controller”;load_system (modelName);

配置覆盖率模型通过使用的设置金宝appSimulink.SimulationInput对象。

思敏= Simu金宝applink.SimulationInput (modelName);思敏= setModelParameter(思敏,“CovEnable”,“上”);思敏= setModelParameter(思敏,“CovMetricStructuralLevel”,“决定”);思敏= setModelParameter(思敏,“CovSaveSingleToWorkspaceVar”,“上”);思敏= setModelParameter(思敏,“CovSaveName”,“covData”);

通过模拟模型思敏作为输入,sim卡。

simOut = sim(思);

提取的覆盖率数据cvdata对象的SimulationOutput对象,simOut。

covData = simOut.covData;

查看决定覆盖饱和块通过调用的结果decisioninfo块路径。

blockPath = [modelName,/饱和度的];decisionCov = decisioninfo (covData blockPath)
decisionCov = 3 4

decisioninfo用两个标量返回一个数组。第一个值是满意的数量决定的结果,第二个值是总数量的决策结果。使用这些来确定满意的决策结果的百分比的饱和。

percentDecisionCov = 100 * decisionCov decisionCov / (1) (2)
percentDecisionCov = 75

版本历史

之前介绍过的R2006a

另请参阅

||

主题