主要内容

cvt

创建模型覆盖测试规范对象

全部展开页面

描述

用cvt创建存储模型覆盖设置的测试规范对象。通过cvt对象的cvsim命令，根据您的设置执行覆盖率分析。

创建

语法

cvto = cvt(根)
cvto = cvt(根、标签)
cvto = cvt(根、标签、setupCmd)

描述

例子

cvto= cvt (根）创建一个cvt对象的默认覆盖设置。根可以是模型的名称或模型的句柄。根也可以是模型中一个子系统的名称或句柄，在这种情况下，仅对指定的子系统及其后代进行覆盖率分析。

cvto= cvt (根，标签）创建一个cvt与指定的对象标签．

cvto= cvt (根，标签，setupCmd）创建一个cvt对象，使用setup命令setupCmd．setup命令在Base Matlab中执行®运行覆盖分析之前的工作区。

输入参数

全部展开

模型名称或句柄，或子系统的路径，指定为字符数组或字符串数​​组。

属性

全部展开

此属性是只读的。

内部模型ID，作为标量返回。

此属性是只读的。

内部覆盖配置ID，作为标量返回。

此属性是只读的。

指定要分析的系统名称，返回为字符数组或字符串数组。

数据类型:char|字符串

测试标签，指定为字符数组或字符串数组。此标签作为测试名称出现在覆盖率报告中。

数据类型:char|字符串

在模拟之前在MATLAB工作空间中执行的命令，指定为字符数组或字符串数组。

在每个模拟之前执行SETUP命令。

数据类型:char|字符串

要收集的覆盖类型，指定为结构。

设置包括以下字段:

财产

描述

值

settings.decision

启用决策覆盖数据。

1（默认）|0

settings.condition

启用条件覆盖数据。

1 |0（默认）

settings.mcdc

启用修改状态决策覆盖范围（MCDC）数据。

如果settings.mcdc已启用，您还可以选择MCDC的哪些定义使用options.mcdcmode.财产。

1 |0（默认）

settings.designverifier.

启用覆盖数据金宝app®设计Verifier™块。

1 |0（默认）

settings.tableexec.

启用查找表的覆盖数据。

1 |0（默认）

settings.sigrange

启用信号范围数据。

1 |0（默认）

settings.sigsize

启用信号大小数据。

1 |0（默认）

settings.overflowsaturation

在整数溢出覆盖数据上启用饱和度。

1 |0（默认）

settings.relationalop

启用关系边界覆盖数据。

用options.covBoundaryRelTol和options.covboundaryabstol.为这种类型的覆盖指定公差。

有关更多信息，请参阅关系边界覆盖范围

1 |0（默认）

高级覆盖选项，指定为结构。

选项包括以下字段:

财产

描述

值

options.covBoundaryRelTol

关系边界覆盖的相对容差。

有关更多信息，请参阅关系边界覆盖范围．

0．01（默认）|标量

选项。CovBoundaryAbsTol

关系边界覆盖的绝对容差。

有关更多信息，请参阅关系边界覆盖范围．

1 e-5（默认）|标量

options.useTimeInterval

是否将模型覆盖记录限制为指定的模拟时间间隔。

用options.intervalStartTime和options.IntervalStoptime.指定时间间隔。

有关更多信息，请参阅指定覆盖选项

1 |0（默认）

options.intervalStartTime

何时开始录制覆盖范围。

指定此属性options.useTimeInterval启用。

0（默认）|标量

options.IntervalStoptime.

何时停止记录覆盖。

指定此属性options.useTimeInterval启用。

0（默认）|标量

options.forceBlockReduction

是否记录与之标记的块的覆盖范围块减少参数。

  • 1（默认） - 覆盖Simulink金宝app块减少参数如果启用。为模型中的每个支持的块记录覆盖范围。金宝app配置参数的值块减少将被忽略。

  • 0- 使用配置参数的值块减少．如果块减少启用时，由于块减少而从模型中有效删除的块的覆盖率将不被记录。例如，对于通过消除死代码而减少的块，覆盖率不会被记录。

有关更多信息，请参阅块减少

1（默认）|0

options.mcdcmode.

将哪个MCDC定义应用于模型，指定为以下选项之一:

  • “屏蔽”- 使用掩蔽MCDC覆盖范围的定义。

  • “独特的原因”- 使用独特的原因MCDC覆盖范围的定义。

有关更多信息，请参阅在Simulink覆盖中修改的条件和决策覆盖(MCDC)定义金宝app．

“屏蔽”（默认）|“独特的原因”

覆盖滤波器，指定为结构。

筛选有一个领域，filter.fileName.．filter.fileName.是要应用于覆盖分析的覆盖过滤器文件的名称，指定为字符数组或字符串数​​组。

有关更多信息，请参阅覆盖过滤规则和文件

模型参考设置，指定为结构。

ModelRefsettings.包括以下字段:

财产

描述

值

ModelRefsettings.Enable.

模型参考覆盖设置，指定为以下选项之一：

  • '离开'- 禁用所有引用模型的覆盖范围。

  • '全部'或者“上”—对所有支持的参考型号启用覆盖。金宝app

  • “过滤”-启用所有支持的参考型号的覆盖，除了在金宝appexcludedModels字段。

'离开'（默认）| 'on' | 'all' | 'filtered'

modelRefSettings.excludeTopModel

是否从覆盖分析中排除顶部模型，指定为数字或逻辑1（真实）或者0(假)．

1（默认）|0

modelrefsettings.excludedmodels.

引用的模型从覆盖范围中排除，指定为单个字符或字符串数​​组的逗号分隔的型号名称。

要使用此字段，请设置ModelRefsettings.Enable.来“过滤”．

字符|字符串

是否收集Matlab函数在您的模型中调用的外部程序文件的覆盖范围，指定为结构。

emlSettings有一个领域，EmlSettings.Eable2.．EmlSettings.Eable2.是收集外部程序文件由MATLAB函数调用，指定为数字还是逻辑1（真实）（默认）或者0(假)．

是否为模型中的C/ c++ S-Function块收集覆盖率，指定为一个结构。

sfcnsettings.有一个领域，sfcnsettings.Enablesfcn.．sfcnsettings.Enablesfcn.是否收集覆盖s -功能覆盖，按逻辑指定1（真实）（默认）或者0(假)．

有关更多信息，请参阅功能．

例子

全部收缩

在本例中，您创建了一个cvt对象的可调率限制器块的slvnvdemo_ratelim_harness模型。对该模型进行仿真，得到整数溢位覆盖数据的决策覆盖和饱和度。

打开slvnvdemo_ratelim_harness使用模型和定义测试对象cvt．

Open_System（'slvnvdemo_ratelim_harness'）;testobj = cvtest（['slvnvdemo_ratelim_harness'，．..'/可调率限制器']);testObj。标签=“在回转极限内的增益”；

添加一个setup命令testObj．在运行覆盖范围之前，在基本MATLAB工作区中执行SETUP命令。在这种情况下，Setup命令将数据加载到模拟所需的工作空间中。

testobj.setupcmd =．..'加载slvnvdemo_ratelim_harness_data.mat'；

要收集整数溢出覆盖范围的决策覆盖和饱和，请启用决定和溢出字段设置构造，将字段设置为1．

testObj.settings.decision = 1;testObj.settings.overflowsaturation = 1;

最后，通过提供覆盖分析对模型进行仿真cvt对象的cvsim函数。

cvdo = cvsim (testObj);

另请参阅

|

主题

在R2006A之前介绍

金宝appSimulink覆盖文档

金宝app

用Simulink自动验证和验证金宝app

用Simulink自动验证和验证金宝app

获取资源