白盒测试-条件覆盖

本文主要是介绍白盒测试-条件覆盖，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

​ 条件覆盖是指运行代码进行测试时，程序中所有判断语句中的条件取值为真值为假的情况都被覆盖到，即每个判断语句的所有条件取真值和假值的情况都至少被经历过一次。

​ 条件覆盖率的计算方法为：测试时覆盖到的条件语句真、假情况的总数 / 程序中条件语句真、假情况的总数。

​ 判断语句 if(a == 0 or b > 2) 中有两个条件 a == 0 和 b > 2 ，使用条件覆盖法需要分别设计测试用例让这两个条件为真和为假的情况都被覆盖到。例如，设计测试用例 a = 0 ，b = 3 ，可以覆盖 a == 0 和 b > 2 这两个条件为真时的情况，此时程序的条件覆盖率为 2 / 4 = 50% 如果再设计一个测试用例 a = 1，b = 1 ，则可以将 a == 0 和 b > 2 这两个条件为假的情况也覆盖。也就是说，设计两个测试用例即可以让判断语句 if(a == 0 or b > 2) 的条件覆盖率达到 100% 。

​ 条件覆盖法是指设计适当数量的测试用例，运行被测程序，使得程序中每个判断语句中条件的真、假分支至少被执行一次。

栗子

public static int test(int a, int b, int c) {int result = 0;if (a == 0 || b > 2) {result = b - a;}if (a > 0 && c > 0) {result = c * a;}return result;
}

第 1 步：分析待测试代码，画出程序的流程图。

第 2 步：分析流程图。

​ 通过分析流程图，我们可以知道：这段代码中有两个判断语句，分别是上图中标识为 ② 和 ③ 的语句，语句 ② 中有两个条件，分别为 a == 0 和 b > 2 ；语句 ③ 中也有两个条件，分别为 a > 0 和 c > 0 。

​ 为了使后续的分析过程更加清晰明了，我们先来梳理一下流程图中的条件语句，并进行相应的标识，具体如下：

条件	取值	标识
a == 0	真	Y1
a == 0	假	N1
b > 2	真	Y2
b > 2	假	N2
a > 0	真	Y3
a > 0	假	N3
c > 0	真	Y4
c > 0	假	N4

第 3 步：使用条件覆盖法编写测试用例。

​ 根据条件覆盖法的定义，我们需要设计一些测试用例，使程序中所有判定语句中的每个条件为真和为假的情况都至少被执行一次，即上表中列出的 8 种情况都需要至少被执行一次。

测试用例编号	输入数据	预期结果	条件覆盖情况	分支覆盖情况
testcase_01	a = 0 , b = 5 , c = 9	result = 5	Y1、Y2、N3、Y4	判断语句 ② 的真分支和③ 的假分支
testcase_02	a = 5 , b = 1 , c = -3	result = 0	N1、N2、Y3、N4	判断语句 ② 的假分支和 ③ 的假分支

​ 通过对上表的分析我们可以发现 ：条件覆盖可以使程序中判断语句的每个条件都至少被执行一次，但是，满足了条件覆盖也不能保证所有的分支都已经得到覆盖，例如，本例中的两个测试用例使程序达到了 100% 的条件覆盖，但分支（判定）覆盖只达到了 75%，判断语句 ③ 的真分支未能覆盖到，依然存在着漏测的风险。

代码实例

​ 根据以上流程图和设计的测试用例，编写单元测试类。

Demo.java

public class Demo {public static int test(int a, int b, int c) {int result = 0;if (a == 0 || b > 2) {result = b - a;}if (a > 0 && c > 0) {result = c * a;}return result;}
}

DemoTest.java

import org.junit.Assert;
import org.junit.Test;public class DemoTest {private Demo demo = new Demo();@Testpublic void testDemoTest01() {Assert.assertEquals(5, demo.test(0, 5, 9));}@Testpublic void testDemoTest02() {Assert.assertEquals(0, demo.test(5, 1, -1));}
}

​ 可以看到，条件覆盖不一定可以达到分支也覆盖。

这篇关于白盒测试-条件覆盖的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---