软件测试（六）：白盒测试

文章目录

白盒测试之代码审查
- 代码审查的范围
- 代码审查的方法
- 代码审查的规则
白盒测试之逻辑覆盖
- 单元测试
- 逻辑覆盖法
- 语句覆盖
- 判定覆盖
- 条件覆盖
- 判定—条件覆盖
- 条件组合覆盖

白盒测试之代码审查

代码审查的范围

合格的代码应具备正确性、清晰性、规范性、一致性和高效性

概括起来，代码审查的工作涵盖了下列方面：

业务逻辑的审查
算法的效率
代码风格
编程规则

代码审查的方法

互查：就是在相同模块或相近模块的编程人员之间互相检查对方的代码
走查：从头到尾将写好的程序检查一遍
代码审查

代码审查的规则

Java最基本语句的使用
重载函数的审查
内存分配和管理：当进行内存分配和管理时，很重要的一点就是内存的及时释放和避免缓冲区溢出
程序性能的审查：
- 减少创建对象
- 减少循环体的执行代码，能放在循环体外的代码要尽量放在循环体外
- 提高处理异常出错的效率
- 减少I/O操作时间

白盒测试之逻辑覆盖

单元测试

单元测试是软件测试中最基础的测试，集成测试、功能测试和系统测试都建立在单元测试之上。

单元测试的对象是构成软件产品或系统的最小的独立单元，如封装的类或对象、独立的函数、进程、子进程、组件或模块等。

对于单元测试用例的设计和程序的实现过程，主要集中在白盒测试方法之上，并力求达到下列测试要求

对程序模块所有独立的执行路径至少要测试一次
对所有逻辑判定，其结果为真假两种情况至少要测试一次
对程序进行边界检查（常见的如数据越界检验）
检验内部数据结构的有效性

逻辑覆盖法

逻辑覆盖法是白盒测试中最主要的测试方法
逻辑覆盖分为语句覆盖、判定覆盖、条件覆盖、判定----条件覆盖、条件组合覆盖，其基本思想不同，产生的测试用例不同，覆盖范围也有所不同

我以下边的代码为例分别介绍几种逻辑覆盖方法

Dim a,b As Integer
Dim c As Double
If (a > 0 AND b > 0) Thenc - c / a
End If
If (a > 1 OR  c > 1) Thenc = c + 1
End If
c = b + c

简单的将代码逻辑用流程图转化下：

语句覆盖

基本思想：设计若干测试用例，运行被测程序，使程序中的每个可执行语句至少被执行一次

根据程序流程 / 路径图可以看出，该程序模块有4条不同的路径

P1 : (M-K-N-J-P) 对应 M=.T. AND N=.T.
P2: (M-K-N-P) 对应 M=.T. AND N= .F.
P3: (M-N-J-P) 对应 M=.F. AND N=.T.
P4:(M-N-P) 对应 M=.F. AND N=.F.

通过观察发现：p1 包含了所有可执行语句，按照语句覆盖的测试用例设计原则，只要设计一组测试用例覆盖p1路径，就可达到要求。如输入数据：a = 2 , b = 1 , c = 6

不足：在使用语句覆盖法进行测试用例设计时，能够使得所有的执行语句都被测试，但是不能准确判断运算中的逻辑关系错误。在这个例子中，如果将m的条件写成（ a > 0 or b > 0 ），这时的测试用例仍然可以覆盖所有可执行语句，但不能发现其中的逻辑错误。

判定覆盖

基本思想：使每个判断的取真值和取假值都至少经历一次

不足：在上面的例子中，如果条件n中是 c < 1 而不是 c > 1 ，则组合1的测试结果没有差别

条件覆盖

基本思想：是使每个条件的取真值和取假值都至少经历一次

那么：对于第一个判定条件M ，可以进一步分为以下两种：

条件 a > 0 : 取真时为 T1 , 取假时为 F1
条件b > 0 : 取真时为T2，取假时为 F2

对于第二个判定条件N ，可以进一步分为以下两种：

条件 a > 1 : 取真时为 T3 , 取假时为 F3
条件c > 1 : 取真时为T4，取假时为 F4

保证每个条件至少有一次取真、取假，满足条件覆盖，但是覆盖了相同的路径 p3 。说明，即使做到条件覆盖，也不能保证覆盖所有路径。测试用例满足看似更复杂、要求更高的条件覆盖，事实上也不一定能满足判定覆盖的需求。

只是满足一种覆盖条件，还会遗漏程序逻辑路基或判定错误，依旧存在较大风险。

所以，白盒测试要求同时满足两种以上的测试覆盖要求，测试的覆盖率才能满足质量要求，将风险降到很低。

判定—条件覆盖

基本思想：确保设计足够或精巧的测试用例，可使得判断条件中所有条件的可能取值至少被执行一次，同时，所有判断的可能结果也至少被执行一次。

条件组合覆盖

基本思想：设计足够的测试用例，使判断中每个条件的所有可能至少出现一次，并且每个判断本身的判定结果也至少出现一次。与判定—条件覆盖的差别是：条件组合覆盖不是简单地要求每个条件都出现真假两种结果，而是要求让这些结果的所有可能组合都至少出现一次。