主要内容

getCoverageInfo

检索以下内容的覆盖信息金宝app设计验证器街区cvdata对象

折叠所有页面

语法

[covInfo,description] = getCoverageInfo(cvdo,modelObject)
[covInfo,description] = getCoverageInfo(cvdo,modelObject,metric)
[covInfo,description] = getCoverageInfo(cvdo,modelObject,metric,ignore_descendants)

描述

［covInfo，描述= getCoverageInfo(cvdo，modelObject）收集金宝app®设计验证器™覆盖对象，基于覆盖率的结果为cvdo．对象是块、子系统或状态流的句柄®图表。getCoverageData返回仅用于的覆盖数据金宝appSimulink设计验证器库块对象的层次结构。

［covInfo，描述= getCoverageInfo(cvdo，modelObject，度规）中指定的块类型返回覆盖数据度规．如果对象不匹配块类型，getCoverageInfo不返回数据。

［covInfo，描述= getCoverageInfo(cvdo，modelObject，度规，ignore_descendants）返回关于对象，则省略其后代对象的覆盖数据ignore_descendants=1．

例子

全部折叠

为所有人提供保险客观的证据块验证Subsystem1

mdl =“sldvdemo_powerwindow_vs”；open_system (mdl) set_param (mdl,“StopTime”，“十”) testObj = cvtest(mdl);testObj.settings.designverifier = 1;data = cvsim(testObj);verifSubsys = [mdl .' /验证Subsystem1 '];covProof = getCoverageInfo(data, verifSubsys, cvmetric.Sldv.proof)

covProof是这种形式的二元向量吗(covered_outcomestotal_outcomes)在1个总客观结果中显示1个覆盖结果。

获得特定的覆盖面测试的目标块在验证Subsystem1

mdl =“sldvdemo_powerwindow_vs”；open_system (mdl) set_param (mdl,“StopTime”，“十”) testObj = cvtest(mdl);testObj.settings.designverifier = 1;data = cvsim(testObj);verifSubsys = [mdl .' /验证Subsystem1 '];testObjBlock = [verifSubsys .“/测试Objective2”];covTest = getCoverageInfo(data, testObjBlock)

covTest是这种形式的二元向量吗[covered_outcomes total_outcomes]在1个总测试客观结果中显示0个覆盖结果。

中记录的所有可用指标的覆盖率数据和描述验证Subsystem1

mdl =“sldvdemo_powerwindow_vs”；open_system (mdl) set_param (mdl,“StopTime”，“十”) testObj = cvtest(mdl);testObj.settings.designverifier = 1;data = cvsim(testObj);verifSubsys = [mdl .' /验证Subsystem1 '];[covAll, descrAll] = getCoverageInfo(data, verifSubsys，.．.{cvmetric.Sldv。证明，cvmetric。Sldv．测验})

covAll是一个单元格数组，其中单元格对应于每个度量的客观结果。descrAll是一个单元格数组，其中的单元格对应于每个度量的描述。

covAll {1} covAll {2}

covAll {1}是这种形式的二元向量吗[covered_outcomes total_outcomes]在1个总客观结果证明中显示1个覆盖结果。covAll {2}是这种形式的二元向量吗[covered_outcomes total_outcomes]在1个总测试目标结果中显示0个覆盖结果。

descrAll {1} descrAll {2}

descrAll {1}是一个结构数组，包含每个证明目标的描述，以及每个结果的描述和执行计数。descrAll {2}是一个结构数组，包含每个测试目标的描述，以及每个结果的描述和执行计数。

输入参数

全部折叠

覆盖数据，指定为cvdata对象。

数据类型:cvdata

模型对象，指定为字符数组、字符串数组、Simulink句柄、状态流ID或单元格数组。金宝app

要指定模型对象，例如块或状态流图，请使用以下格式之一:

对象规范 描述

BlockPath

模型或块的完整路径

BlockHandle

模型或块的句柄

slObj

Simulink API金宝app对象的句柄

sfID

Stateflow ID

sfObj

从一个单独实例化的状态流程图到一个状态流API对象的句柄

{BlockPath, sfID}

单元格数组，其中包含到状态流图或原子子图的路径以及该图或子图中包含的对象的ID

{BlockPath, sfObj}

单元格数组，具有指向状态流图表或子图表的路径，以及该图表或子图表中包含的状态流对象API句柄

{BlockHandle, sfID}

单元格数组，具有状态流图或原子子图的句柄，以及该图或子图中包含的对象的ID

要指定一个S-Function块或其内容，请使用以下格式之一:

对象规范 描述

{BlockPath、帧}

单元格数组的路径功能块和源文件的名称

{BlockHandle、帧}

单元格数组功能块句柄和源文件的名称

{BlockPath, fName, funName}

单元格数组的路径功能块、源文件的名称和函数名

{BlockHandle, fName, funName}

单元格数组功能块句柄，源文件的名称和函数名

要指定代码覆盖率结果，例如在软件在环(SIL)或处理器在环(PIL)分析期间收集的覆盖率数据，请使用以下格式之一:

对象规范 描述

{文件名,funName}

包含源文件名和函数名的单元格数组

{模型中,文件名}

包含模型名称或模型句柄和源文件名称的单元格数组

{型号，文件名，funName}

单元格数组，其中包含模型名称或模型句柄、源文件名和函数名

数据类型:字符|字符串|细胞|Stateflow。状态|Stateflow。过渡

检索的覆盖率度量，指定为cvmetric。Sldv枚举或枚举的单元格数组，其值对应于金宝appSimulink设计验证器库模块。如果不指定度量，getCoverageInfo返回指定的所有可用指标的覆盖率信息modelObject．

测验

 测试的目标(金宝appSimulink Design Verifier)块

证明

 客观的证据(金宝appSimulink Design Verifier)块

条件

 测试条件(金宝appSimulink Design Verifier)块

假设

 证明假设(金宝appSimulink Design Verifier)块

数据类型:cvmetric。Sldv

是否在覆盖结果中忽略子代，指定为0或1,地点:

  • 0包括后代对象的覆盖结果。

  • 1忽略后代对象的覆盖结果。

数据类型:单|双

输出参数

全部折叠

覆盖信息，作为表单的两元素数组返回[covered_outcomes, total_outcomes]如果cvdo包含决策覆盖率数据，如果不包含则为空数组。如果modelObject接收多个指标的覆盖率，covInfo返回由两元素数组组成的单元格数组，其中每个单元格对应一个度量。

covered_outcomes 满足的决策结果数modelObject
total_outcomes 的决策结果总数modelObject

数据类型:双

覆盖描述，作为结构数组返回，包含以下字段:

请注意

如果modelObject接收多个指标的覆盖率，描述返回一个单元格数组，其中每个单元格包含描述一个度量的结构。

块排除标志，返回为1如果该块被排除和0如果不是的话。

数据类型:双

块覆盖筛选器原理，作为字符数组返回。

数据类型:字符

合理的覆盖目标结果的数量，作为标量double返回。

数据类型:双

块校验标志，返回为1如果块是合理的或0如果不是的话。

数据类型:双

测试目标信息，作为具有以下字段的结构返回:

文本，作为字符数组返回“T”．

数据类型:字符

目标的时间步数为真，返回为标量倍。

数据类型:双

数据类型:结构体

数据类型:结构体

选择

使用覆盖设置来收集和显示的覆盖结果金宝appSimulink设计验证器图书馆:

  1. 打开模型。

  2. 在模型编辑器中，选择模型设置在建模选项卡。

  3. 在报道窗格中的“配置参数”，选择启用覆盖率分析．

  4. 下覆盖率度量中,选择目标和约束条件．

  5. 点击好吧关闭“配置参数”对话框并保存更改。

  6. 模拟模型并回顾结果。

版本历史

在R2009b中引入

另请参阅

||||||||||

主题