修改的条件和决策覆盖率万博1manbetx设计验证器
这取决于您申请的设置万博1manbetx®覆盖™在覆盖记录中,用于模型覆盖分析的修改条件的定义和决策(MCDC)覆盖之间可能存在差异万博1manbetx仿真软件覆盖定义用于测试用例生成分析万博1manbetxSimulink设计验证器™。
MCDC定义万博1manbetx报道而且万博1manbetx设计验证器
万博1manbetxSimulink设计验证器而且万博1manbetx仿真软件覆盖以两种不同的方式表示MCDC的目标:
万博1manbetx仿真软件覆盖将逻辑表达式的每个条件视为MCDC目标。
万博1manbetxSimulink设计验证器将每个独立对的真半部分和假半部分作为独立的MCDC目标。
的万博1manbetxSimulink设计验证器结果窗口显示合理的任何合理的MCDC目标。点击对应的视图链接以在“Simulink设计验证器分析筛选器”窗口中查看筛选规则。万博1manbetx
未满足或未确定的MCDC目标包括证明链接。单击此链接可创建相应的筛选规则。因为每个MCDC的目标都在万博1manbetx仿真软件覆盖对应的两个MCDC目标万博1manbetxSimulink设计验证器,万博1manbetxSimulink设计验证器MCDC的目标是成对的。
例如,在下图中,当您单击证明链接MCDC表达式输入端口为4的输出表达式假
,创建一个筛选规则,该规则证明该MCDC目标以及该表达式何时存在的MCDC目标真正的
。
万博1manbetxSimulink设计验证器总是使用屏蔽MCDC定义来生成测试用例。默认情况下,万博1manbetx仿真软件覆盖在记录覆盖率时也使用屏蔽MCDC定义。但是,如果您设置CovMcdcMode
模型配置参数为“UniqueCause”
,万博1manbetx仿真软件覆盖而是在记录覆盖率时使用唯一原因MCDC定义。有关屏蔽MCDC定义和唯一原因MCDC定义之间差异的信息,请参见Simulink覆盖中的修改条件和决策覆盖(MCDC)定义万博1manbetx。
设置CovMcdcMode
模型配置参数为“UniqueCause”
会导致MCDC报告在万博1manbetx仿真软件覆盖测试生成万博1manbetxSimulink设计验证器。的混合包含的逻辑表达式的分析结果中可以看到这种差异的一个例子和
而且或
操作符,如在此状态流中®过渡。
考虑到一个
,B
,C
是每个单独的输入,有五种可能的方法来评估状态流转换的条件,如下表所示。
一个 |
B |
C |
(a && b) || |
|
---|---|---|---|---|
1 | F | x | F | F |
2 | F | x | T | T |
3. | T | F | F | F |
4 | T | F | T | T |
5 | T | T | x | T |
满足一个布尔变量的MCDC需要一对条件求值,这表明变量的变化本身就会改变整个表达式的求值。在本例中,MCDC可以满足C
要么是1 2,要么是3 4。在这两种情况下,表达式的值都因为的值而改变C
改变了,而所有其他变量值保持不变。
每对都有一组不同的值一个
而且B
它们保持不变,但每对都包含一个求值在哪里C
而且出
是真的,一个评价在哪里C
而且出
都是虚假的。满足MCDC的要求C
,万博1manbetxSimulink设计验证器测试生成分析接受包含一个真值评估和一个假值评估的任何对C
而且出
。在这个例子中,万博1manbetxSimulink设计验证器测试生成分析不仅接受对1,2和对3,4,而且接受对1,4和对2,3。万博1manbetx仿真软件覆盖使用唯一原因MCDC定义的模型覆盖分析仅由对1,2或对3,4满足。
前面的例子假设一个
,B
,C
都是独立的输入。当输入一个
被约束为相同的值C
,在这个模型中,只有一个子集的条件评估是可能的。
状态流转换的条件计算子集如下表所示。
一个 |
B |
C |
(a && b) || |
|
---|---|---|---|---|
1 | F | x | F | F |
4 | T | F | T | T |
5 | T | T | x | T |
计算2和3不再可能,所以1,2和3,4都不可能。因此,独特的原因MCDCC
能不能不再满足于万博1manbetx仿真软件覆盖模型覆盖分析。然而,由于对1,4仍然是可能的,万博1manbetxSimulink设计验证器MCDC的测试生成分析报告C
是可以满足的。
MCDC的复杂性分析为逻辑表达式的混合和
而且或
运算符导致结果之间的差异万博1manbetx仿真软件覆盖设置为唯一原因MCDC分析和万博1manbetxSimulink设计验证器。默认的CovMcdcMode
的模型配置参数值“屏蔽”
不会引起这种差异。但是,如果需要使用独特原因的MCDC分析万博1manbetx仿真软件覆盖时,可以使用IndividualObjectives
用于测试生成分析的测试套件优化万博1manbetxSimulink设计验证器有关更多信息,请参阅的提示部分测试套件优化(万博1manbetxSimulink Design Verifier)。
相关的话题
- MCDC(万博1manbetxSimulink Design Verifier)