白盒测试-修正条件判定覆盖

当程序中的判定语句包含多个条件时，运用多条件覆盖方法进行测试，其条件取值组合数目是非常大的。

修正条件判定覆盖要求在一个程序中每一种输入输出至少得出现一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。（条件：不含有布尔操作符号的布尔表达式。判定：由条件和零或者很多布尔操作符号所组成的一个布尔表达式）

即修正条件判定覆盖首先要求实现条件覆盖、判定覆盖，在此基础上，对于每一个条件C，要求存在符合以下条件的两次计算：
    1）条件C所在判定内的所有条件，除条件C外，其他条件的取值完全相同；
    2）条件C的取值相反；
    3）判定的计算结果相反。

8条满足多条件覆盖的测试用例基础上，按照修正条件判定覆盖的要求选择需要的测试用例，选择结果如表所示。

用例1和用例5的测试数据中，条件b和条件c的取值均没有发生变化，仅条件a的取值拜年话影响了判定结果的变化，用例2和用例6，用例3和用例7都是如此，因此这三组都可达到条件a的修正条件判定覆盖要求。

用例2和用例4，可达到条件b的修正条件判定覆盖要求。

用例2和用例3，可达到条件c的修正条件判定覆盖要求。

因此用例2、用例3、用例4、用例6即为需要的测试用例。

(A||(B && C))的修正条件判定覆盖测试用例为：

(A && B) && (!B || C)的修正条件判定覆盖测试用例为：

(A || B) && (C || D)的修正条件判定覆盖测试用例为：

(A && B) || (C && D)的修正条件判定覆盖测试用例为：

参考自：

http://www.kailesoft.com/help/TestBox/MCDC.htm

https://blog.csdn.net/digiproto2020/article/details/115693579

白盒测试-修正条件判定覆盖相关推荐

判定覆盖白盒测试java_白盒测试--条件判定覆盖和修正条件判定覆盖的差异
1 简介文章的目的在于通过比较发现条件判定覆盖(即Condition/Decision Coverage C/DC)和修正条件判定覆盖(Modified Condition/Decision Cov ...
转贴一篇经典文章--条件判定覆盖和修正条件判定覆盖的差异
1 简介文章的目的在于通过比较发现条件判定覆盖(即Condition/Decision Coverage C/DC)和修正条件判定覆盖(Modified Condition/Decision Cov ...
MC/DC（修正条件/判定覆盖）：如何达到100%覆盖率？
文章目录 MC/DC(修正条件/判定覆盖) 一个测试需求结构的成功方法 TPT与MC/DC MC/DC(修正条件/判定覆盖) MC/DC虽然是软件测试中的一个通用术语,但是它的正确用法以及安全相关的角 ...
软件测试实验三修正条件/判定覆盖测试设计
一.实验目的 1. 巩固所学的修正条件/判定覆盖测试方法: 2.提高运用语修正条件/判定覆盖测试方法的能力. 二.实验前提 1. 掌握逻辑覆盖的基本方法.概念: 2.熟悉程序语言的逻辑结构与基础知识: ...
详述白盒测试的逻辑覆盖法的条件判定覆盖及其优缺点
条件判定覆盖的定义: 设计足够多的测试用例,使被测程序中每个判定的每个条件的所有可能取值(真假)至少执行一次,并且每个判定的所有可能(真假)分支也至少执行一次 .通俗来讲,就是条件和判定覆盖的升华! ...
判定覆盖白盒测试java_白盒测试系列（四）条件判定覆盖
条件判定覆盖一.定义: 程序中每个判定至少有一次为真值,有一次为假值,使得程序中每个分支至少执行一次, 且使得各判定中的每个条件获得各种可能的取值至少满足一次. 二.特点: 1.综合了条件覆盖和判定 ...
白盒测试：语句覆盖、条件覆盖、判定覆盖、条件-判定覆盖、组合覆盖、路径覆盖
1语句覆盖使所有的判断语句都能执行一次的条件案例,例如当判断语句事组合语句的时候,并且用or连接,只满足一个案例即可 2判定覆盖(分支覆盖) 针对判断语句,在设定案例的时候,要设定True和Fals ...
白盒测试：语句覆盖、条件覆盖、判定覆盖、条件-判定覆盖、组合覆盖、路径覆盖...
1语句覆盖使所有的判断语句都能执行一次的条件案例,例如当判断语句事组合语句的时候,并且用or连接,只满足一个案例即可 2判定覆盖(分支覆盖) 针对判断语句,在设定案例的时候,要设定True和Fals ...
白盒测试中的六种覆盖方法及案例分析
语句覆盖是指选择足够的测试用例,使得运行这些测试用例时,被测程序的每一个语句至少执行一次,其覆盖标准无法发现判定中逻辑运算的错误: 判定覆盖<又叫分支覆盖率>是指选择足够的测试用例,使得运 ...
白盒测试之语句覆盖、判定覆盖、条件覆盖等
1.定义说明 (1)白盒测试:白盒测试是一种测试用例设计方法:白盒测试的方法总体上分为静态分析方法和动态分析方法两大类.主要用于单元测试阶段,代码和逻辑的测试,重点复杂的测试,是一种测试用例设计方法. ...

白盒测试-修正条件判定覆盖

白盒测试-修正条件判定覆盖相关推荐

最新文章

热门文章