主要内容

cvt

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

全部展开页面

描述

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

创建

语法

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

描述

例子

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

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

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

输入参数

全部展开

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

属性

全部展开

此属性是只读的。

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

此属性是只读的。

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

此属性是只读的。

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

数据类型:字符|字符串

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

数据类型:字符|字符串

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

在每次模拟之前执行setup命令。

数据类型:字符|字符串

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

设置包括以下字段:

财产

描述

值

settings.decision

启用决策覆盖数据。

1(默认)| 0

settings.condition

启用条件覆盖数据。

1 | 0(默认)

settings.mcdc

启用已修改的条件决策覆盖(MCDC)数据。

如果settings.mcdc启用时，还可以选择将哪个MCDC定义与options.mcdcmode财产。

1 | 0(默认)

settings.designverifier

启用覆盖数据金宝app®设计验证器™块。

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.enableExternal．emlSettings.enableExternal是收集外部程序文件由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 = cvt ([“slvnvdemo_ratelim_harness”，．../可调利率限制器的]);testObj。标签=“在回转极限内的增益”；

添加一个setup命令testObj．在运行覆盖率分析之前，在基本MATLAB工作区中执行setup命令。在本例中，setup命令将数据加载到模拟所需的工作区中。

testObj。setupCmd =．..“负载slvnvdemo_ratelim_harness_data.mat”；

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

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

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

cvdo = cvsim (testObj);

另请参阅

|

主题

之前介绍过的R2006a

金宝app仿真软件覆盖文档

金宝app

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

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

得到资源