模型对象,得到覆盖
特定的模型万博1manbetx®覆盖对象可以接收任何类型的模型。其他模型对象万博1manbetx只能接受某些类型的覆盖,如下表所示。点击第一列中的链接获取更多详细信息覆盖特定的模型对象。
所有模型万博1manbetx对象可以接收执行覆盖,除了虚拟块和:
合并块
范围块
宽度块
显示块
到工作空间块
虚拟块的列表,请参阅Nonvirtual和虚拟块。
仿真软件的完整列表对象,不接受保险,明万博1manbetx白了模型对象不接受保险。
对于Stateflow®状态、事件和状态时序逻辑决策模型覆盖提供了决定覆盖。Stateflow转换、模型覆盖提供了决策条件,MCDC报道。模型覆盖提供了条件和MCDC覆盖逻辑表达式赋值语句的状态和转换。有关更多信息,请参见模型覆盖Stateflow图表。
模型对象 |
决定 |
条件 |
MCDC |
查找表 |
万博1manbetx仿真软件设计校验™ |
浸透在整数溢出 |
关系边界 |
---|---|---|---|---|---|---|---|
延迟和复位延迟 | |||||||
离散时间积分器(饱和限制启用或重置时) |
|||||||
索引向量 | |||||||
消息发送 | |||||||
另请参阅触发模式。 |
|||||||
(相对于杀率) |
|||||||
变体子系统、变体模型变异来源,变体下沉 | |||||||
腹肌
Abs块接收决定覆盖和关系边界范围。决定报道是基于:
块的输入小于零。
数据类型的输入信号。
块的输入小于零,这一决定覆盖措施:
时间步长块输入的数量小于零,表明一个真正的决定。
块的输入时间步骤的数量不小于零,显示一个错误的决定。
如果您选择了浸透在整数溢出覆盖率指标,腹肌块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
如果输入的数据类型腹肌块是一个无符号整数,万博1manbetx仿真软件覆盖™不报告决定覆盖。万博1manbetx模型组块输出等于输入没有作出决定。
的腹肌块包含一个隐式的比较输入为零。因此,如果你选择关系边界覆盖率指标,腹肌块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
偏见
如果您选择了浸透在整数溢出覆盖率指标,偏见块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
组合逻辑
组合逻辑块接收决定和条件覆盖。决定报道是基于真值表的每个输出行。决定覆盖措施的时间步骤,每个输出行数的真值表将块的输出。
条件覆盖措施的时间步骤,每个输入是错误的(等于零),每个输入的次数是正确的(不等于零)。如果组合逻辑块只有一个输入的元素,万博1manbetx仿真软件覆盖软件只报告决定报道的,因为决定和条件覆盖是等价的。
如果所有真值表值都设置为块输出至少一个时间步,决定覆盖率是100%。否则,该软件报告覆盖率作为真值表的数量值输出在至少一个时间步,除以总数量的真值表的值。因为这个块总是事实表中的至少一个值作为输出,最小覆盖报道是除以总数量的真值表值。
如果所有块的输入是错误的,至少一个时间步,真正用于至少一个时间步,条件覆盖率是100%。否则,软件报告覆盖率作为实现一个错误的值在每个输入至少一个时间步,加上实现至少一个时间步的真正价值,除以二提出的的总数输入(即。2 ^number_of_inputs)。最小覆盖报告输入总数除以两个幂总数的输入。
比较恒定的
的比较恒定的块接收条件覆盖。
条件覆盖措施:
的次数对比输入和指定的常数是真的。
的次数对比输入和指定的常数是假的。
的比较恒定的块包含一个输入的比较与一个常数。因此,如果你选择关系边界覆盖率指标,比较恒定的块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
比较为零
的比较为零块接收条件覆盖。
条件覆盖措施:
的次数对比输入和零是真的。
的次数对比输入和零是假的。
的比较为零块包含一个输入为零的比较。因此,如果你选择关系边界覆盖率指标,比较为零块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
数据类型转换
如果您选择了浸透在整数溢出覆盖率指标,数据类型转换块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
死区
死区块接收决定覆盖。的万博1manbetx仿真软件覆盖软件覆盖报告决定这些参数:
的死区
的死区
的的死区参数指定的下限死区。为的死区参数,决定覆盖措施:
时间步长块输入的数量大于或等于下限,指示一个真正的决定。
时间步长块输入的数量小于下限,显示一个错误的决定。
的的死区参数指定上限的死区。为的死区,决定覆盖措施:
时间步长块输入的数量大于上限,指示一个真正的决定。
时间步长块输入的数量小于或等于上限,显示一个错误的决定。
当上限是真的,软件不测量的死区报道的时间步。因此,的总数的死区=时间步骤的数量决定的死区是假的。
如果您选择了浸透在整数溢出覆盖率指标,死区块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
的死区块包含一个隐式的比较输入上限和下限值。因此,如果你选择关系边界覆盖率指标,死区块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
延迟和复位延迟
的延迟和复位延迟如果你设置块接收决定覆盖外部复位除了块参数的任何选项没有一个
,或者如果您选择显示启用端口块参数。
为外部复位块参数,决定覆盖措施真正的结果块重置和一个错误的时间步骤结果时间块不重置步骤。收到100%的决定覆盖率,块必须重置为至少一个时间步长,而不是重置至少一个时间步。
为显示启用端口块参数,决定覆盖措施真正结果时间步骤启用了块和一个错误的结果块未启用的时间步骤。接收100%的决定覆盖率,必须启用块至少一个时间步,未启用用于至少一个时间步。
直接查找表(一天)
直接查找表(一天)块接收查找表覆盖。对于一个n维查找表,输出破发点产品的破发点的数量为每个表的维度。
查找表覆盖措施:
在模拟的次数,每个维度的组合输入值之间每一个破发点。
在模拟的次数,每个维度的组合输入值低于最低的断点,断点最高的为每个表维度。
覆盖点的总数n维查找表的产品的数量在每个表维度+一个破发点。覆盖率报告,越来越white-to-green颜色,有六个等间距的数据范围从0开始,表示数量的时间步骤,软件措施每个内插或外推点。
软件的比例决定了总报道通过测量总内插和外推点实现测量之间的至少一个时间步的仿真断点或超出了终点。
离散滤波器
的离散滤波器如果你设置块接收决定覆盖外部复位除了块参数的任何选项没有一个
。决定覆盖措施真正的结果块重置和一个错误的时间步骤结果时间块不重置步骤。收到100%的决定覆盖率,块必须重置为至少一个时间步长,而不是重置至少一个时间步。
如果您选择了浸透在整数溢出覆盖率参数,离散滤波器块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
离散冷杉滤波器
的离散冷杉滤波器如果你设置块接收决定覆盖外部复位除了块参数的任何选项没有一个
,或者如果您选择显示启用端口块参数。
为外部复位块参数,决定覆盖措施真正的结果块重置和一个错误的时间步骤结果时间块不重置步骤。收到100%的决定覆盖率,块必须重置为至少一个时间步长,而不是重置至少一个时间步。
为显示启用端口块参数,决定覆盖措施真正结果时间步骤启用了块和一个错误的结果块未启用的时间步骤。接收100%的决定覆盖率,必须启用块至少一个时间步,未启用用于至少一个时间步。
如果您选择了浸透在整数溢出覆盖率指标,离散冷杉滤波器块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
离散时间积分器
离散时间积分器块接收决定覆盖。万博1manbetx仿真软件覆盖报告决定覆盖这些参数:
外部复位
限制输出
如果你设置外部复位来没有一个
,万博1manbetx仿真软件覆盖不报告决定覆盖重置的决定。否则,决定覆盖措施:
块的输出时间步骤的数量重置,指示一个真正的决定。
块的输出时间步骤的数量不是重置,显示一个错误的决定。
如果你不选择限制输出,软件不报告决定覆盖这一决定。否则,该软件决定覆盖报告低饱和限制和饱和上限。
为饱和上限,决定覆盖措施:
时间步骤集成结果的数量大于或等于上限,指示一个真正的决定。
时间步骤集成结果的数量小于上限,显示一个错误的决定。
为低饱和限制,决定覆盖措施
时间步骤集成结果的数量小于或等于下限,指示一个真正的决定。
时间步骤集成结果的数量大于下限,显示一个错误的决定。
一段时间步时,上限是真的,该软件不测量低饱和限制报道。因此,下限决策的总数等于时间步的数量上限是错误的。
如果您选择了浸透在整数溢出覆盖率指标,离散时间积分器块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
离散传递Fcn
的离散传递Fcn如果你设置块接收决定覆盖外部复位除了块参数的任何选项没有一个
。决定覆盖措施真正的结果块重置和一个错误的时间步骤结果时间块不重置步骤。收到100%的决定覆盖率,块必须重置为至少一个时间步长,而不是重置至少一个时间步。
如果您选择了浸透在整数溢出覆盖率参数,离散传递Fcn块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
点积
如果您选择了浸透在整数溢出覆盖率指标,点积块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
启用子系统
启用子系统块接收决定,条件,MCDC报道。
决定覆盖措施:
数量的时间步骤启用了块,表明一个真正的决定。
块的时间步数是禁用的,显示一个错误的决定。
如果至少有一个时间步长是真的和至少一个时间步是错误的,决定覆盖率是100%。如果没有时间的步骤是正确的,或者没有时间步骤是错误的,决定覆盖率是50%。
的万博1manbetx仿真软件覆盖软件措施条件覆盖使输入只有在启用输入是一个矢量。允许输入的条件覆盖措施的时间步骤允许输入的每个元素是真实和时间步的数量允许输入的每个元素是假的。软件条件覆盖率报告总数的基础上可能的条件,有多少是真正的至少一个时间步,有多少是错误的至少一个时间步。
软件措施MCDC覆盖使输入只有在启用输入是一个矢量。因为子系统的实现是一个或
向量的输入,MCDC覆盖率是100%,如果在至少一个时间步,每个向量允许输入完全是真的,如果,在至少一个时间步,所有向量使输入是错误的。MCDC覆盖度量的软件对向量的每个元素作为一个单独的条件。
启用并触发子系统
启用并触发子系统块接收决定,条件,MCDC报道。决定覆盖措施:
时间步的数量发生触发边缘块时启用,指示一个真正的决定。
时间步骤,一个触发器的数量优势而不发生块启用,禁用或块,表明一个错误的决定。
如果至少有一个时间步长是真的和至少一个时间步是错误的,决定覆盖率是100%。如果没有时间的步骤是正确的,或者没有时间步骤是错误的,决定覆盖率是50%。
条件覆盖的软件措施使触发器的输入和输入分别:
允许输入的条件覆盖措施时间步的数量允许输入是正确的步骤和时间允许输入是错误的。
触发器输入条件覆盖措施的时间步骤触发边缘时,显示真实的,和时间步的数量触发边缘不发生,表明错误的。
软件条件覆盖率报告总数的基础上可能的条件和有多少条件适用于至少一个时间步,有多少是假用于至少一个时间步。软件对一个向量的每个元素作为一个单独的条件覆盖度量。
软件措施MCDC报道使触发器的输入和输入的组合。因为允许输入子系统是一个和
这两个输入,MCDC覆盖率是100%如果发生以下:
在至少一个时间步,输入是正确的。
在至少一个时间步长,使输入是正确的和触发边缘是错误的。
在一个时间步长,使输入是错误的和触发边缘是正确的。
软件对每个向量元素作为一个单独的MCDC覆盖度量。它衡量每个触发边缘元素对每个允许输入元素。然而,如果在两个触发器的元素数量,使输入超过12,软件不报告MCDC覆盖。
Fcn
的Fcn块接收条件和MCDC覆盖。的万博1manbetx仿真软件覆盖软件条件或MCDC覆盖报告Fcn块只有顶级运营商是布尔(& &
,| |
,或!
)。
条件覆盖是基于输入值或算术表达式输入块的布尔操作符。条件覆盖措施:
数量的时间步骤,每个输入一个布尔操作符是正确的(不等于零)。
数量的时间步骤,每个输入一个布尔操作符是假的(等于零)。
如果所有的布尔操作符的输入是错误的,至少一个时间步,真正用于至少一个时间步,条件覆盖率是100%。否则,软件条件覆盖率报告基于的总数可能的条件,有多少是真正的至少一个时间步,有多少是错误的至少一个时间步。
软件措施MCDC覆盖中的布尔表达式Fcn块。在至少一个时间步,如果每个条件独立集的输出表达式为真,如果,在至少一个时间步,每个条件独立集的输出表达式为假,MCDC覆盖率是100%。否则,软件报告MCDC报道总数的基础上可能的条件和多少次每个条件独立设置在至少一个时间步输出为true,多少条件独立设置在至少一个时间步输出为false。
如果Fcn块包含一个关系操作和选择关系边界覆盖率指标,Fcn块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
迭代器,迭代器子系统
迭代器块和迭代器子系统接收决定覆盖。的万博1manbetx仿真软件覆盖软件措施决定覆盖循环条件的值,这是由下列之一:
迭代值迭代或以下限制,表示是真实的。
上面的迭代值迭代限制,表示是错误的。
软件报告的总数乘以每个循环条件的求值结果为true和false。如果循环条件的求值结果为true,至少一次假至少一次,决定覆盖率是100%。如果没有循环条件是正确的,或如果没有循环条件是错误的,决定覆盖率是50%。
获得
如果您选择了浸透在整数溢出覆盖率指标,获得块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
如果行动子系统
的如果导致If块行动执行子系统接收条件,决定,和MCDC报道:
软件措施决定覆盖
如果
条件和所有elseif
中定义的条件如果块。如果
如果
或者任何的条件elseif
条件与多个条件,包含一个逻辑表达式等u1和u2 & u3
,软件也措施条件和MCDC覆盖每一个条件表达式,u1
,u2
,u3
在前面的例子。
软件不能直接测量其他的
条件。当没有elseif
条件下,其他的
条件是直接补的如果
条件,或其他的
条件的直接补过去elseif
条件。
软件报告时间的总数,每个步骤如果
和elseif
条件的求值结果为true和false。如果如果
或elseif
条件的求值结果为true,至少一次,求值结果为false至少一次,决定覆盖率是100%。如果没有如果
或elseif
条件是正确的,或者没有如果
或elseif
条件是错误的,决定覆盖率是50%。如果前面的如果
或elseif
条件不像假的评估,一个elseif
条件可以覆盖0%的决定。
的如果块包含一个比较其输入。因此,如果你选择关系边界覆盖率指标,如果块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
索引向量
的索引向量块接收决定报道基于传递向量的每个元素信号输入到输出的块。
如果传递给每个向量索引块输出至少一个时间步,决定覆盖率是100%。否则,模型覆盖报告覆盖万博1manbetx率作为向量的总数的百分比指标的输入信号传递到输出。
如果您选择了浸透在整数溢出覆盖率指标,索引向量块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。
插值使用Prelookup
的插值使用Prelookup块接收查找表覆盖。对于一个n- d查找表,输出破发点的数量等于该产品所有的破发点的数量为每个表的维度。查找表覆盖措施:
在模拟的次数,每个维度的组合输入值之间每一个破发点。
在模拟的次数,每个维度的组合输入值低于最低的断点,断点最高的为每个表维度。
覆盖点的总数n维查找表的产品的数量在每个表维度+一个破发点。覆盖率报告,越来越white-to-green颜色,有六个等间距的数据范围从0开始,表示数量的时间步骤,软件措施每个内插或外推点。
软件的比例决定了总报道通过测量总内插和外推点实现测量之间的至少一个时间步的仿真断点或超出了终点。
如果您选择了浸透在整数溢出,插值使用Prelookup块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
Library-Linked对象
万博1manbetx仿真软件模块和Stateflow图表与图书馆对象接收相同的报道,他们将获得如果他们没有与库对象。的万博1manbetx仿真软件覆盖软件记录覆盖在模型中分别为每个库对象。如果你的模型包含同一个库对象的多个实例,每个实例接收自己的覆盖率数据。
逻辑运算符
逻辑算符块接收条件和MCDC覆盖。的万博1manbetx仿真软件覆盖条件覆盖每个输入块的措施。条件覆盖措施:
时间步骤,每个输入的数量是正确的(不等于零)。
时间步骤,每个输入的数量是错误的(等于零)。
如果所有块的输入是错误的,至少一个时间步,真正用于至少一个时间步,条件覆盖率是100%。否则,覆盖条件是基于的总数可能的条件,有多少是真正的至少一个时间步,有多少是错误的至少一个时间步。
万博1manbetx仿真软件覆盖措施MCDC覆盖所有输入块。在至少一个时间步,如果每个条件独立块的输出设置为真,如果,在至少一个时间步,每个条件独立集的输出块为false, MCDC覆盖率是100%。否则,万博1manbetx仿真软件覆盖MCDC覆盖率报告总数的基础上可能的条件,每个人都多少次独立设置输出适用于至少一个时间步和多少独立设置输出至少一次错误的一步。
对于一个逻辑运算符块接收MCDC作为逻辑级联的一部分,必须满足下列条件:
块的输入和输出信号都是标量
逻辑块操作不XOR / NXOR
逻辑块有多个输入信号(除非其操作不是)
关于逻辑级联的更多信息,请参阅逻辑算符级联模式。
一维查找表
一维查找表块接收查找表覆盖;对于一维查找表,输入和输出破发点的数量是相等的。查找表覆盖措施:
在模拟的次数之间的输入和输出值是每一个破发点。
在模拟的次数的输入和输出值低于最低的断点和高于最高的断点。
覆盖点的总数为一维查找表是表中的破发点的数量+ 1。覆盖率报告,越来越white-to-green颜色,有六个等间距的数据范围从0开始,表示数量的时间步骤,软件措施每个内插或外推点。
软件的比例决定了总报道通过测量总内插和外推点实现测量之间的至少一个时间步的仿真断点或超出了终点。
如果您选择了浸透在整数溢出覆盖率指标,一维查找表块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
二维查找表
的二维查找表块接收查找表覆盖。二维查找表,输出破发点的数量等于行破发点的数量乘以列输入的数量。查找表覆盖措施:
在模拟的次数,每个输入行和列的组合输入值之间每一个破发点。
在模拟的次数,每个输入行和列的组合输入值低于最低的断点,断点最高为每一行和列。
覆盖点的总数为一个二维查找表是表中的行破发点的数量+ 1,乘以表中的列破发点的数量+ 1。覆盖率报告,越来越white-to-green颜色,有六个等间距的数据范围从0开始,表示数量的时间步骤,软件措施每个内插或外推点。
如果您选择了浸透在整数溢出覆盖率指标,二维查找表块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
一天的查找表
的一天的查找表块接收查找表覆盖。对于一个n维查找表,输出破发点的数量等于该产品所有的破发点的数量为每个表的维度。查找表覆盖措施:
在模拟的次数,每个维度的组合输入值之间每一个破发点。
在模拟的次数,每个维度的组合输出值低于最低的断点,断点最高的为每个表维度。
覆盖点的总数n维查找表的产品的数量在每个表维度+一个破发点。覆盖率报告,越来越white-to-green颜色,有六个等间距的数据范围从0开始,表示数量的时间步骤,软件措施每个内插或外推点。
软件的比例决定了总报道通过测量总内插和外推点实现测量之间的至少一个时间步的仿真断点或超出了终点。
如果您选择了浸透在整数溢出覆盖率指标,一天的查找表块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
数学函数
如果您选择了浸透在整数溢出覆盖率指标,数学函数块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
MATLAB函数
信息类型的报道万博1manbetx仿真软件覆盖MATLAB的报告®函数块,看模型覆盖MATLAB函数。
MATLAB系统
如果你设置MATLAB系统块参数模拟使用来代码生成
,然后万博1manbetx仿真软件覆盖记录决策、条件和MCDC覆盖MATLAB系统块。
在赋值语句的逻辑表达式MATLAB系统块不分析。
消息发送
的消息发送如果你选择块接收决定覆盖显示启用端口块参数。决定覆盖措施真正结果时间步骤启用了块和一个错误的结果块未启用的时间步骤。接收100%的决定覆盖率,必须启用块至少一个时间步,未启用用于至少一个时间步。
极大极小
的极大极小块接收决定报道基于传递每个输入块的输出。
基于传递的决定覆盖每个输入块的输出,覆盖措施的时间步长仿真通过每个输入块的输出。决策点的数量是基于输入块的数量,无论他们是标量,矢量、矩阵。
如果所有的输入都传递到块输出至少一个时间步,万博1manbetx仿真软件覆盖软件报告决定覆盖率为100%。否则,软件报告覆盖率作为输入传递到输出的数量至少在一个时间步,除以总数量的输入。
如果您选择了浸透在整数溢出覆盖率指标,极大极小块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
模型
的模型块不接收直接覆盖;块的模型引用接收范围。如果引用模型的模拟模式设置正常的
,万博1manbetx仿真软件覆盖软件报告覆盖所有对象引用的模型中,得到覆盖。。如果引用模型的模拟模式设置银
或公益诉讼
有嵌入式编码器®安装,万博1manbetx仿真软件覆盖软件报告覆盖率从模型生成的代码。如果除了模拟模式设置为一个值正常的
,银
,或公益诉讼
,软件不能测量覆盖被引用的模型。
在报道面板的配置参数对话框中,选择您想要的参考模型覆盖率报告。软件生成一个覆盖报告为每个引用的模式选择。
如果你的模型包含相同的多个实例引用模型,软件记录覆盖的所有实例,模型的模拟模式模型块设置为正常的
。的覆盖率报告引用的模型结合了所有正常模式的覆盖率数据模型的实例。
所有分析模型的覆盖率报告参考模型层次结构与总结报告。
请注意
有关如何选择参考模型报告报道,看到的引用模型。
多端口切换
的多端口切换块接收决定报道基于每个输入,除第一个控制输入,输出的块。
基于传递的决定覆盖每个输入,不包括第一个控制输入,输出的块,覆盖措施的时间步骤,每个输入传递给块输出。决策点的数量是基于块的输入和控制输入是否标量或矢量。
如果所有输入,除第一个控制输入,被传递到块输出至少一个时间步,决定覆盖率是100%。否则,万博1manbetx仿真软件覆盖软件报告覆盖率作为输入传递到输出的数量至少在一个时间步,除以总数量的输入- 1。
如果您选择了浸透在整数溢出覆盖率指标,多端口切换块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
观察者模式
的观察者参考块不接收直接覆盖;观察者模式块引用接收覆盖指标的街区内部模型。只有观察者模式正常的
模式分析报道。
您可以选择观察者模式覆盖相同的方式您选择参考模型。更多信息选择模型进行分析,看看引用模型。
只有观察者模式,你参考的模型是活跃在模拟和可以得到报道。终止函数块位于内部观察者模型没有得到报道。
每个观察者的覆盖率结果模型在不同的捕获cvdata
对象。每个模型引用从一个观察者模式被认为是一个观察者模型和有自己的cvdata
对象。如果你记录覆盖多个模型在模型参考等级,结果收集在一个cv.cvdatagroup
对象。总结报告的链接覆盖报告所有分析模型的层次结构。
PID控制器、PID控制器(2自由度)
如果您选择了浸透在整数溢出覆盖率指标,PID控制器和PID控制器(2自由度)块接收饱和整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
产品
如果您选择了浸透在整数溢出覆盖率指标,产品块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
证明假设
证明假设块接收万博1manbetx仿真软件设计验证器报道。万博1manbetx仿真软件设计验证器保险是基于点和块对话框中定义的时间间隔。万博1manbetx仿真软件设计验证器覆盖措施的时间步中定义的每个点或间隔块满意。客观结果的总数是基于点的数量或证明假设块中定义的时间间隔。
如果所有点和块中定义的时间间隔至少满足一次一步,万博1manbetx仿真软件设计验证器覆盖率是100%。否则,万博1manbetx仿真软件覆盖软件报告覆盖点的数量和间隔期间满足至少一个时间步,除以总数量的点和间隔为块定义。
客观的证据
证明目的阻止接收万博1manbetx仿真软件设计验证器报道。万博1manbetx仿真软件设计验证器保险是基于点和块对话框中定义的时间间隔。万博1manbetx仿真软件设计验证器覆盖措施的时间步中定义的每个点或间隔块满意。客观结果的总数是基于点的数量或证明目标块中定义的时间间隔。
如果所有点和块中定义的时间间隔至少满足一次一步,万博1manbetx仿真软件设计验证器覆盖率是100%。否则,万博1manbetx仿真软件覆盖软件报告覆盖点的数量和间隔期间满足至少一个时间步,除以总数量的点和间隔为块定义。
速度限制器
速度限制器块接收决定覆盖。的万博1manbetx仿真软件覆盖软件决定覆盖报告转换速度上升和转换速率下降参数。
为转换速度上升,决定覆盖措施:
时间步骤块输入变化的数量超过或等于利率上升,表明一个真正的决定。
时间步骤块输入变化的数量少于利率上升,显示一个错误的决定。
为转换速率下降,决定覆盖措施:
时间步骤块输入变化的数量小于或等于下降速率,表明一个真正的决定。
时间步骤块输入变化的数量比下降率,显示一个错误的决定。
软件不测量转换速率下降覆盖的时间步转换速度上升是真的。因此,的总数转换速率下降=时间步骤的数量决定转换速度上升是假的。
如果至少有一个时间步长是真的和至少一个时间步是错误的,决定覆盖每个两个人决策的块是100%。如果没有时间的步骤是正确的,或者没有时间步骤是错误的,决定覆盖率是50%。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
的速度限制器块隐式比较输入信号的导数与上、下限值。因此,如果你选择关系边界覆盖率指标,速度限制器块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
关系操作符
的关系操作符块接收条件覆盖。
条件覆盖措施:
指定的关系操作的次数是真的。
指定的关系操作的次数是假的。
的关系操作符块包含一个比较其输入。因此,如果你选择关系边界覆盖率指标,关系操作符块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
继电器
继电器块接收决定覆盖。万博1manbetx仿真软件覆盖决定覆盖报告开关点和切断点参数。
为开关点,决定覆盖措施:
连续时间步骤块输入的数量大于或等于开关点,表明一个真正的决定。
连续时间步骤的数量输入小于块开关点,显示一个错误的决定。
为切断点,决定覆盖措施:
连续时间步骤块输入的数量小于或等于切断点,表明一个真正的决定。
连续时间步骤的数量输入大于块切断点,显示一个错误的决定。
软件不测量切断点覆盖一个时间步当开关阈值是正确的。因此,的总数切断点=时间步骤的数量决定开关点是假的。
如果至少有一个时间步长是真的和至少一个时间步是错误的,决定覆盖每个两个人决策的块是100%。如果没有时间的步骤是正确的,或者没有时间步骤是错误的,决定覆盖率是50%。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
的继电器块包含一个隐式的比较第二输入阈值。因此,如果你选择关系边界覆盖率指标,继电器块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
需求表
的需求表块接收决定,条件,MCDC,关系边界和饱和整数溢出覆盖中包含的逻辑先决条件列中每一个需求需求表选项卡。的后置条件列和假设表标签不接受保险。
万博1manbetx仿真软件覆盖报告覆盖先决条件列类似的Stateflow图表或一个MATLAB函数块。例如,如果一个指定的后置条件必须满足的先决条件< C1 & & B ~ = C2
,万博1manbetx仿真软件覆盖这个语句可以分析和报告覆盖率结果。
C / c++函数
模型覆盖支持C / c++ S-Fu万博1manbetxnctions。模型包含的覆盖率报告为每个实例的一个结果功能块模型。的结果功能块链接到一个单独的覆盖率报告的C / c++代码块。
为S-Functions生成覆盖率报告:
以下报道类型S-Functions报道:
语句覆盖的百分比
功能块的覆盖率数据获得在以下方式:
的报道结果一块是一个加权平均的结果在所有文件。
例如,一个功能块有两个文件,
file1.c
和file2.c
。决定覆盖file1.c
是75%(3/4的结果覆盖),对吗file2.c
50%(10/20的结果)。块的决定覆盖13/24≈54%。对于每个文件,覆盖的结果是一个加权平均的结果在文件中的所有功能。
对于每一个功能,报道的结果是一个加权平均的结果对所有声明的函数,得到覆盖。
请注意
模型覆盖S-Functions有以下限制:
只有2级C / c++ S-Functions支持覆盖。万博1manbetx所二级C s函数的一个例子,请参阅创建一个基本的C墨西哥人功能。
c++类模板是不检测的报道。
饱和
万博1manbetx仿真软件覆盖决定覆盖报告上限和下限参数饱和块和关系边界的报道饱和块。
为上限,决定覆盖措施:
时间步长块输入的数量大于上限,这表明真正的决策结果和块输出饱和烃的上限。
时间步长块输入的数量小于或等于上限,这表明一个错误的决定结果。
为下限,决定覆盖措施:
时间步长块输入的数量大于或等于下限,这表明一个真正的决定的结果。
时间步长块输入的数量小于下限,这表明一个错误的决定结果,块输出饱和烃下限。
万博1manbetx仿真软件覆盖没有测量覆盖下限决定一个时间步时,上限是正确的。因此,的总数下限决定评估等于时间步骤的数量上限是假的。万博1manbetx仿真软件覆盖报告覆盖率为0%下限如果决定上限在每个时间步的决定是正确的。
对于每一个决定,万博1manbetx仿真软件覆盖100%的覆盖率报告如果决定返回一个真正的结果为至少一个时间步和至少一个时间步的错误的结果。如果没有真正的结果或没有错误的决定结果,万博1manbetx仿真软件覆盖50%的覆盖率报告这一决定。决定报道的饱和块的覆盖率的总和上限和下限决策。例如,如果一个饱和块接收覆盖率100%上限决定,和50%的覆盖率下限决定,那么饱和块接收到覆盖75%的总决定,3的4决定结果满意。
如果输入信号饱和块是一个向量或矩阵,每个元素都是一个独立的覆盖度量。例如,一个输入信号是两个元素向量结果共有八个决定结果的饱和块,而不是四个。
的饱和块包含一个隐式的比较输入上限和下限值。因此,如果你选择关系边界覆盖率度量的报道窗口,面板的配置参数饱和块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
饱和动态
如果您选择了浸透在整数溢出覆盖率指标,饱和动态块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
标志
的标志块接收决定覆盖和关系边界范围。
标志块有三个决定的结果,一个消极的结果,一个积极的结果,和一个为零的结果。
的标志块隐式比较输入为零。因此,如果你选择关系边界覆盖率指标,标志块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
万博1manbetx设计验证器函数MATLAB函数块
在MATLAB以下功能函数块接收万博1manbetx仿真软件设计验证器覆盖范围:
sldv.condition
(万博1manbetx仿真软件设计验证器)sldv.test
(万博1manbetx仿真软件设计验证器)sldv.assume
(万博1manbetx仿真软件设计验证器)sldv.prove
(万博1manbetx仿真软件设计验证器)
这些功能评估一个表达式expr
例如,sldv.test (
,在那里expr
)expr
MATLAB是任何有效的布尔表达式。万博1manbetx仿真软件设计验证器覆盖措施的时间步骤的数量表达式expr
评估为true。
如果expr
适用于至少一个时间步,万博1manbetx仿真软件设计验证器这个函数的覆盖率100%。否则,万博1manbetx仿真软件覆盖关于这个函数的软件报告覆盖率0%。
√6,签署√6、互惠的√6
如果您选择了浸透在整数溢出覆盖率指标,√6,签署√6,互惠√6块接收饱和整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
和,加、减、元素的和
如果您选择了浸透在整数溢出覆盖率指标,总和,添加,减去,元素的总和块接收饱和整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
开关
开关部件接收决定报道基于控制块的输入。决定覆盖措施:
数量的时间步骤,控制输入评估为true。
数量的时间步骤控制输入的求值结果为false。
决策点的数量是基于控制输入是否标量或矢量。
如果您选择了浸透在整数溢出覆盖率指标,开关块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
的开关块包含一个隐式的比较第二输入阈值。因此,如果你选择关系边界覆盖率指标,开关块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
SwitchCase,SwitchCase行动子系统
的SwitchCase块和SwitchCase行动子系统接收决定覆盖。的万博1manbetx仿真软件覆盖软件措施决定覆盖率分别为每个块中定义的开关情况,也为默认情况。决策结果的数量等于+ 1的案例的数量条件默认的
情况下,如果一个定义。
软件报告时间步的总数,每个案例评估为true。如果每种情况,包括默认的情况下,评估为true至少一次,决定覆盖率是100%。软件决定决定报道的病例数评估适用于至少一个时间步除以总病例数。
如果SwitchCase块不包含默认的
情况下,软件措施决定报道的时间步数的情况下评估为true。覆盖率报告,这覆盖报告隐性违约。
测试条件
接收测试条件的块万博1manbetx仿真软件设计验证器报道。万博1manbetx仿真软件设计验证器保险是基于点和块对话框中定义的时间间隔。万博1manbetx仿真软件设计验证器覆盖措施的时间步中定义的每个点或间隔块满意。客观结果的总数是基于点的数量或测试条件块中定义的时间间隔。
如果所有点和块中定义的时间间隔至少满足一次一步,万博1manbetx仿真软件设计验证器覆盖率是100%。否则,万博1manbetx仿真软件覆盖软件报告覆盖点的数量和间隔期间满足至少一个时间步,除以总数量的点和间隔为块定义。
测试的目标
测试目标块接收万博1manbetx仿真软件设计验证器报道。万博1manbetx仿真软件设计验证器保险是基于点和块对话框中定义的时间间隔。万博1manbetx仿真软件设计验证器覆盖措施的时间步中定义的每个点或间隔块满意。客观结果的总数是基于点的数量或间隔中定义的测试目标块。
如果所有点和块中定义的时间间隔至少满足一次一步,万博1manbetx仿真软件设计验证器覆盖率是100%。否则,万博1manbetx仿真软件覆盖软件报告覆盖点的数量和间隔期间满足至少一个时间步,除以总数量的点和间隔为块定义。
触发模式
一个模型块可以引用一个模型,其中包含edge-based触发模型的根级别的港口。触发模型得到的决定,条件,MCDC报道。
决定覆盖措施:
数量的时间触发步骤参考模型,表明一个真正的决定。
时间步的数量被引用的模型是不触发,显示一个错误的决定。
如果至少有一个时间步长是真的和至少一个时间步是错误的,决定报道的模型块引用触发模型是100%。如果没有时间的步骤是正确的,或者没有时间步骤是错误的,决定覆盖率是50%。
只有在触发器的输入是一个向量,万博1manbetx仿真软件覆盖软件措施条件触发端口的报道引用的模型。触发端口、条件覆盖措施:
时间步的数量的每个元素触发端口是正确的。
时间步的数量的每个元素触发端口是错误的。
软件条件覆盖率报告总数的基础上可能的条件,有多少是真正的至少一个时间步,有多少是错误的至少一个时间步。
如果触发端口是一个矢量,软件措施MCDC报道触发端口。因为触发端口是一个引用的模型或
向量的输入,如果,在至少一个时间步,每个向量触发端口完全是真的,如果,在至少一个时间步,所有向量触发端口输入错误,MCDC覆盖率是100%。软件对每个元素的向量MCDC覆盖度量作为一个单独的条件。
触发子系统
触发子系统块接收决定,条件,MCDC报道。
决定覆盖措施:
数块触发的时间步,指示一个真正的决定。
块的时间步数不触发,显示一个错误的决定。
如果至少有一个时间步长是真的和至少一个时间步是错误的,决定覆盖率是100%。如果没有时间的步骤是正确的,或者没有时间步骤是错误的,决定覆盖率是50%。
的万博1manbetx仿真软件覆盖软件措施条件覆盖触发器输入只有在触发输入是一个矢量。触发脉冲输入的条件覆盖措施:
时间步的数量的每个元素触发边缘是正确的。
时间步的数量的每个元素触发边缘是错误的。
软件条件覆盖率报告总数的基础上可能的条件,有多少是真正的至少一个时间步,有多少是错误的至少一个时间步。
如果触发器的输入是一个矢量,软件措施MCDC覆盖触发器的输入。因为触发子系统是一个边缘或
向量的输入,如果,在至少一个时间步,每个向量触发边缘输入完全是真的,如果,在至少一个时间步,输入向量触发边缘都是假,MCDC覆盖率是100%。软件对每个元素的向量MCDC覆盖度量作为一个单独的条件。
三角函数
的三角函数块接收决定如果你设置和关系边界的覆盖率函数参数印度历的7月
或这些“可信赖医疗组织”
你清楚移除保护输入超出范围参数。当你使用这些设置,三角函数块使用饱和行为之间只接受输入1
和1
。
决定报道分析了饱和的决策逻辑三角函数块。覆盖率报告显示这种逻辑与三种可能的结果:一个决定
输入大于1
输入1 - 1所示
输入小于1
饱和行为包含一个隐式的比较输入上限和下限值。如果您选择了关系边界覆盖率度量的报道面板的配置参数对话框中,块接收关系边界范围。有关更多信息,请参见关系边界的覆盖率。
如果您选择了移除保护输入超出范围参数块接收到只执行覆盖。
真值表
真值表的块是一个Stateflow块,使您能够直接用真值表逻辑仿真软件模型。万博1manbetx真值表块接收条件,决定,和MCDC覆盖。有关模型的更多信息覆盖Stateflow真值表,看看模型覆盖Stateflow真值表。
一元-
如果您选择了浸透在整数溢出覆盖率指标,一元-块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
加权样本时间数学
如果您选择了浸透在整数溢出覆盖率指标,加权样本时间数学块接收浸透在整数溢出的报道。有关更多信息,请参见浸透在整数溢出的报道。软件对向量或矩阵的每个元素作为一个单独的覆盖度量。
而迭代器,而迭代器子系统
而迭代器块和迭代器子系统接收决定覆盖。决定覆盖的测量而
条件值,这是确定的而
条件被满足了(真),或而
条件不满足(假)。万博1manbetx仿真软件覆盖软件的总次数,每个报告而
条件的求值结果为true和false。如果而
条件的求值结果为true,至少一次,假至少一次,决定报道的而
条件是100%。如果没有而
条件是正确的,或者没有而
条件是错误的,决定覆盖率是50%。
如果超过限制的迭代(真正的)或不超过(false),软件措施决定独立报道。当迭代极限的计算结果为真时,至少有一次,和假至少一次,决定覆盖迭代上限是100%。如果没有迭代限制是真的,或如果没有迭代限制是错误的,决定覆盖率是50%。如果你设置最大迭代次数来1
(没有限制),决定覆盖所有迭代的迭代限制是正确的和错误的零迭代,和决策覆盖率是50%。