【软件测试】白盒测试
什么是白盒测试？
白盒测试又称结构测试,透明盒测试、逻辑驱动测试或基于代码的测试。白盒测试是一种测试用例设计方法，盒子指的是被测试的软件，白盒指的是盒子是可视的,你清楚盒子内部的东西以及里面是如何运作的。
白盒测试与黑盒测试有什么区别？
软件的黑盒测试意味着测试要在软件的接口处进行。这种方法把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能说明。
软件的白盒测试是对软件的过程性细节做细致的检查。这种方法是把测试对象看做一个打开的盒子，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试。通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。
白盒测试的方法有哪些？
1.代码检查
代码检查是静态白盒测试，在不执行程序的条件下仔细审查代码，从而找出软件故障的过程。
2.覆盖测试
覆盖测试以程序内部的逻辑结构为基础设计测试用例，要求对被测程序的逻辑结构有清楚的了解。根据覆盖测试的目标不同，可分为：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖及路径覆盖。
语句覆盖：指设计若干个测试用例，使程序中的每个可执行语句至少被执行一次。
判定覆盖：指设计若干个测试用例，使得程序中的每个判定至少得到一次真值和假值，即判断中的真假分支至少均执行一次。判定覆盖又称为分支覆盖。
条件覆盖：指设计若干个测试用例，使得程序中每个判断中每个条件的可能值至少得到一次。
判定/条件覆盖：指设计若干个测试用例，使得判断中每个条件的所有（真或假）取值至少出现一次，并且每个判断的所有（真或假）判断结果也至少出现一次。
组合覆盖：指设计若干个测试用例，使得每个判定条件的各种情况至少出现一次。
路径覆盖：指设计若干个测试用例覆盖程序中所有的路径。
3.路径测试
从一个程序的入口开始，执行所经历的各个语句的完整过程。
这里分享一篇白盒测试方法的文章给大家：http://www.wsbookshow.com/uploads/bookfile/201010/9787508479477_1.pdf
白盒测试实例--覆盖测试
1.一个小程序如下：
if((x > 0 ) && ( y < 0 )){
z = z - ( x + y );
}
if((x > 2) || (z > 0)){
z = z + 5;
}
2.程序流程图
3. 语句覆盖
T1：x = 3 and y = -4 and z = 0
在T1条件下，所有语句都将被执行
4. 判定覆盖
T1：x = 3 and y = -1 and z = 0
T2: x = -1 and y = -1 and z = -2
则：
| x > 0 && y < 0 | x > 2 || z > 0 | |
| T1 | True | True |
| T2 | False | False |
符合判定覆盖
5. 条件覆盖
T1：x = 3 and y = -1 and z = 3
T2：x = -1 and y = 1 and z = -1
则：
| x > 0 | y < 0 | x > 2 | z > 0 | |
| T1 | True | True | True | True |
| T2 | False | False | False | False |
符合条件覆盖
6. 判定/条件覆盖
T1：x = 3 and y = -1 and z = 3
T2：x = -1 and y = 1 and z = -1
则：
| x > 0 | y < 0 | x > 2 | z > 0 | x > 0 && y < 0 | x > 2 || z > 0 | |
| T1 | True | True | True | True | True | True |
| T2 | False | False | False | False | False | False |
符合判定/条件覆盖
7. 组合覆盖
T1：x = 3 and y = -1 and z = 3
T2：x = 3 and y = 1 and z = -5
T3：x = -1 and y = -1 and z = 3
T4：x = -1 and y = 1 and z = -1
则：
| x > 0 | y < 0 | x > 2 | z > 0 | |
| T1 | True | True | True | True |
| T2 | True | False | True | False |
| T3 | False | True | False | True |
| T4 | False | False | False | False |
符合组合覆盖
8. 路径覆盖
T1：x = 3 and y = -1 and z = 3
T2：x = 1 and y = -1 and z = -1
T3：x = 3 and y = 1 and z = 0
T4：x = -1 and y = 1 and z = -1
则：
| x > 0 && y < 0 | x > 2 || z > 0 | |
| T1 | True | True |
| T2 | True | False |
| T3 | False | True |
| T4 | False | False |
符合路径覆盖
