软件测试——详解白盒测试基本概念，四种白盒测试方法
在上一篇文章中，我们讲到了黑盒测试。黑盒测试相较于白盒测试来说比较简单，不需要了解程序内部的代码，与软件的内部实现无关；而白盒测试就像是一个透明的盒子，它需要测试人员利用程序内部的逻辑结构来设计测试用例，相对于黑盒测试来说会难一些。
在下面的这篇文章中，我们将讲解白盒测试的基本概念，以及四大常用的白盒测试方法。
一、白盒测试基本概念
1、白盒测试的定义
白盒测试又称为结构测试或逻辑驱动测试，它是把测试对象看成一个透明的盒子，它允许测试人员利用程序内部的逻辑结构设计测试用例，对程序所有逻辑路径进行测试。
2、白盒测试的测试对象
白盒测试的测试对象是基于被测试程序的源代码，而不是软件的需求规格说明书。
使用白盒测试方法时，测试人员必须全面了解程序内部逻辑结构，检查程序的内部结构，从检查程序的逻辑着手，对相关的逻辑路径进行测试，最后得出测试结果。
3、白盒测试的原则
采用白盒测试方法必须遵循以下原则：
- 保证一个模块中的所有独立路径至少被测试一次。
- 对所有的逻辑判定均需测试取真和取假两种情况。
- 在上下边界及可操作范围内运行所有循环。
- 检查程序的内部数据结构，保证其结构的有效性。
4、白盒测试的分类
白盒测试方法有两大类：静态测试方法和动态测试方法。
静态测试： 不要求在计算机上实际执行所测试的程序，主要以一些人工的模拟技术对软件进行分析和测试，如代码检查法、静态结构分析法等；
动态测试： 是通过输入一组预先按照一定的测试准则构造实际数据来动态运行程序，达到发现程序错误的过程。白盒测试中的动态分析技术主要有逻辑覆盖法和基本路径测试法。（ ★ ★ ★ ）
下面将对两种白盒测试方法进行讲解。
二、静态白盒测试
1、代码检查法
（1）代码审查的定义
代码审查（Code Review）是指对计算机源代码进行系统地审查，找出并修正在软件开发初期未发现的错误，提升软件质量及开发者的技术。
（2）代码审查的目的
代码审查的目的是为了产生合格的代码，检查源程序编码是否符合详细设计的编码规定，确保编码与设计的一致性和可追踪性。
（3）代码审查的方法
代码审查包括桌面检查、代码审查和走查。
1）桌面检查（程序员自己检查）
这是一种传统的检查方法，由程序员检查自己编写的程序。程序员在程序通过编译之后，对源程序代码进行分析、检查，并补充相关的文档，目的是发现程序中的错误。
2）代码审查（审查小组通过读程序和对照错误检查表进行检查）
代码审查是由若干程序员和测试员组成一个审查小组，通过阅读、讨论和争议，对程序进行静态分析的过程。具体过程如下：
第一步， 小组负责人提前把设计规格说明书、控制流程图、程序文本及有关要求、规范等分发给小组成员，作为审查的依据。小组成员在充分阅读这些材料后，进入审查的下一步。
第二步，召开程序审查会。 每个成员将所发材料作为审查依据，但是由程序员讲解程序的结构、逻辑和源程序。在此过程中，小组成员可以提出自己的疑问；程序员在讲解自己的程序时，也能发现自己原来没有注意到的问题。
注意： 在进行代码检查前应准备好需求文档、程序设计文档、程序的源代码清单、代码编码标准、代码缺陷检查表和流程图等。
3）走查 （审查小组需要准备有代表性的测试用例沿程序逻辑运行）
走查与代码审查基本相同，其过程分为两步：
第一步： 把材料先发给走查小组每个成员，让他们认真研究程序。
第二步： 开会。
与代码审查不同的是，让审查小组成员“充当”计算机，即首先由测试组成员为所测程序准备一批有代表性的测试用例，提交给走查小组。走查小组开会，集体扮演计算机角色，让测试用例沿着程序的逻辑运行一遍，随时记录程序的踪迹，提供给最后阶段的分析和讨论使用。
（4）代码检查规则
在代码检查中，需要依据被测试软件的特点，选用适当的标准与规则规范。
（5）代码检查项目
- 目录文件组织
- 检查函数
- 数据类型及变量
- 检查条件判断语句
- 检查循环体制
- 检查代码注释
- 桌面检查
- 其他检查
2、静态结构分析法
（1）定义
在静态结构分析法中，测试人员通常通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图等各种图形、图表，清晰地标识整个软件的组成结构。
（2）目的
通过分析这些图表，包括控制流分析、数据流分析、接口分析、表达式分析等，使其便于阅读与理解，然后可以通过分析这些图表，检查软件有没有存在缺陷或错误。
（3）静态结构分析的两种方法
1）通过生成各种图表，来帮助对源程序的静态分析
常用的各种引用表主要有：①标号交叉引用表；②变量交叉引用表；③子程序（宏、函数）引用表；④ 等价表；⑤常数表。
常用的各种关系图、控制流图主要有：
①函数调用关系图： 列出所有函数，用连线表示调用关系，通过应用程序各函数之间的调用关系展示了系统的结构。
②模块控制流图： 由许多结点和连接结点的边组成的图形，其中每个结点代表一条或多条语句，边表示节点间的控制流向，用于显示函数的内部逻辑结构。（★ ★ ★ ）
2) 错误静态分析
静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构。
①类型和单位分析： 数据类型的错误和单位上的不一致。
②引用分析： 引用异常，变量赋值先引用，或赋值未引用。
③表达式分析： 表达式错误，不正确使用括号，数组下标越界等。
④接口分析： 模块的接口，参数的一致性。
三、动态白盒测试
1、逻辑覆盖法
（1）定义
逻辑覆盖是以程序内部的逻辑结构为基础来设计测试用例的测试技术，通过对程序内部的逻辑结构的遍历来实现程序的覆盖。它属于白盒测试中动态测试技术之一。
（2）6种逻辑覆盖方法
从覆盖源程序语句的详尽程度分析，逻辑覆盖包括以下6种覆盖标准：
- 语句覆盖（SC）；
- 判定覆盖（DC）；
- 条件覆盖（CC）；
- 判定-条件覆盖（CDC）；
- 条件组合覆盖（MCC）；
- 路径覆盖。
接下来将对这6种逻辑覆盖方法进行一一讲解。
1）语句覆盖（SC）
①定义： 语句覆盖(Statement Coverage)的含义就是设计足够的测试用例，使得被测程序中每条语句至少执行一次。又称行覆盖、段覆盖、基本块覆盖，它是最常见的覆盖方式。
②例子展示:chestnut:
Question：
如下C语言程序语句和对应的程序流程图：
int function(int x,int y,int z) { if(y>1 && z==0) { x=(int)(x/y) } if(y==2 || x>1) { x=x+1 } return x; } 复制代码
请使用语句覆盖来为该程序设计测试用例。
Answer：
为了使每条语句都能够至少执行一次，我们可以构造以下测试用例：
输入： x=4 , y=2 , z=0
执行路径为：sacbed
语句覆盖虽然可以测试执行语句是否被执行到，但却无法测试程序中存在的逻辑错误。因此，语句覆盖是一种弱覆盖。
例如，如果上述程序中的第一个逻辑判断符号 “&&” 误写了 “||” ，使用测试用例同样可以覆盖 sacbed 路径上的全部执行语句，但却无法发现错误。同样，如果第二个逻辑判断符号 “||” 误写了 “&&” ，使用同样的测试用例也可以执行 sacbed 路径上的全部执行语句，但却无法发现上述逻辑错误。
③语句覆盖的目的：
语句覆盖的目的是测试程序中的代码是否被执行，它只测试代码中的执行语句，这里的执行语句不包括头文件、注释、空行等。
语句覆盖在多分支的程序中，只能覆盖某一条路径，使得该路径中的每一个语句至少被执行一次，但不会考虑各种分支组合情况。
2）判定覆盖（DC）
①定义：
- 判定覆盖(Decision Coverage)又称为分支覆盖，其原则是设计足够的测试用例，使得程序中每个判定语句的取真和取假分支至少被执行一次。
- 除了双值的判定语句外，还有多值判定语句，如case语句，因此判定覆盖更一般的含义是：使得每一个判定获得每一种可能的结果至少一次。
②例子展示:chestnut:
Question：
如下C语言程序语句和对应的程序流程图：
int function(int x,int y,int z) { if(y>1 && z==0) { x=(int)(x/y) } if(y==2 || x>1) { x=x+1 } return x; } 复制代码
请使用判定覆盖来为该程序设计测试用例。
Answer：
以上述代码为例，构造以下测试用例即可实现判定覆盖标准：
输入：① x=1,y=3,z=0 ，执行路径为 sacbd
（判断的结果分别为T，F）
输入：② x=3,y=1,z=1 ，执行路径为 sabed
（判断的结果分别为F，T）
上述两组测试用例不仅满足了判定覆盖，而且满足了语句覆盖，从这一点可以看出判定覆盖比语句覆盖更强一些。所以只要满足了判定覆盖就一定满足语句覆盖，反之则不然。
判定覆盖仍然具有和语句覆盖一样无法发现逻辑判断符号 “&&” 误写了 “||” 的逻辑错误。
判定覆盖仅仅判断判定语句执行的最终结果而忽略每个条件的取值，所以也属于弱覆盖。
3）条件覆盖（CC）
①定义：
条件覆盖(Condition Coverage)指的是设计足够的测试用例，使判定语句中的每个逻辑条件取真值与取假值至少出现一次。
例如，对于判定语句 if(a>1 OR c<0) 中存在 a>1、c<0 两个逻辑条件，设计条件覆盖测试用例时，要保证 a>1、c<0 的“真”、“假”值至少出现一次。
②例子展示:chestnut:
Question：
如下C语言程序语句和对应的程序流程图：
int function(int x,int y,int z) { if(y>1 && z==0) { x=(int)(x/y) } if(y==2 || x>1) { x=x+1 } return x; } 复制代码
请使用条件覆盖来为该程序设计测试用例。
Answer：
要使程序中每个判断的每个条件都至少取真值、假值一次，我们可以构造以下测试用例：
输入：① x=1,y=2,z=0 ，执行路径为 sacbed
（条件的结果分别为TTTF）
输入：② x=2,y=1,z=1 ，执行路径为 sabed
（条件的结果分别为FFFT）
从条件覆盖的测试用例可知，使用2个测试用例就达到了使每个逻辑条件取真值与取假值都至少出现了一次，但从测试用例的执行路径来看，条件分支覆盖的状态下仍旧不能满足判定覆盖，即没有覆盖 bd 这条路径。相比于语句覆盖与判定覆盖，条件覆盖达到了逻辑条件的最大覆盖率，但却不能保证判定覆盖。
4）判定-条件覆盖（CDC）
①定义：
- 要求设计足够的测试用例，使得判定语句中所有条件的可能取值至少出现一次，同时，所有判定语句的可能结果也至少出现一次。
- 例如，对于判定语句
if(a>1 AND c<1)，该判定语句有a>1、c<1两个条件，则在设计测试用例时，要保证a>1、c<1两个条件取“真”、“假”值至少一次，同时，判定语句if(a>1 AND c<1)取“真”、“假”也至少出现一次。
②例子展示:chestnut:
Question：
如下C语言程序语句和对应的程序流程图：
int function(int x,int y,int z) { if(y>1 && z==0) { x=(int)(x/y) } if(y==2 || x>1) { x=x+1 } return x; } 复制代码
请使用判定条件覆盖来为该程序设计测试用例。
Answer：
为满足判定-条件覆盖原则，我们可以构造以下测试用例：
输入：① x=4,y=2,z=0 ，覆盖路径：sacbed
（判断的结果分别为TT，条件的结果分别为：TTTT ）
输入：② x=1,y=1,z=1 ，覆盖路径：sabd
（判断的结果分别为FF，条件的结果分别为：FFFF ）
判定-条件覆盖满足了判定覆盖准则和条件覆盖准则，弥补了二者的不足。但是判定-条件覆盖不一定比条件覆盖的逻辑更强。
③判定-条件覆盖的缺点： 没有考虑条件的组合情况。
5）条件组合覆盖（MCC）
①定义：
条件组合(Multiple Condition Coverage)指的是设计足够的测试用例，使得每个判定中条件的各种可能组合都至少执行一次。满足了判定覆盖、条件覆盖、判定-条件覆盖准则。
②例子展示:chestnut:
Question：
如下C语言程序语句和对应的程序流程图：
int function(int x,int y,int z) { if(y>1 && z==0) { x=(int)(x/y) } if(y==2 || x>1) { x=x+1 } return x; } 复制代码
请使用条件组合覆盖来为该程序设计测试用例。
Answer：
为满足条件组合覆盖原则，我们可以构造以下测试用例：
输入：① x=4,y=2,z=0 ，覆盖路径： sacbed（条件的结果分别为：TTTT ）
输入： ② x=1,y=2,z=1，覆盖路径： sabed（条件的结果分别为：TFTF ）
输入：③ x=2,y=1,z=0 ，覆盖路径： sabed（条件的结果分别为：FTFT ）
输入： ④ x=1,y=1,z=1，覆盖路径： sabd（条件的结果分别为：FFFF ）
由于这4个条件每个条件都有取“真”、“假”两个值，因此所有条件结果的组合有24=16种。但是，当一个程序中判定语句较多时，其条件取值的组合数目也较多。需要设计的测试用例也会增加，这样反而会使测试效率降低。
6）路径覆盖
①定义：
路径覆盖指的是设计足够的测试用例，使得程序中的每一条可能组合的路径都至少执行一次。
②例子展示:chestnut:
Question：
如下C语言程序语句和对应的程序流程图：
int function(int x,int y,int z) { if(y>1 && z==0) { x=(int)(x/y) } if(y==2 || x>1) { x=x+1 } return x; } 复制代码
请使用路径覆盖来为该程序设计测试用例。
Answer：
为满足路径覆盖原则，我们可以构造以下测试用例：
输入：① x=4,y=2,z=0 ，覆盖路径：sacbed
（判定的结果分别为：TT ）
输入：② x=1,y=2,z=1，覆盖路径： sabed
（判定的结果分别为：FT ）
输入：③ x=1,y=3,z=0 ，覆盖路径： sacbd
（判定的结果分别为：TF ）
输入：④ x=1,y=1,z=1 ，覆盖路径： sabd
（判定的结果分别为：FF ）
