逻辑覆盖测试是通过对程序逻辑结构的遍历实现程序的覆盖。从覆盖源代码的不同程度可以分为以下六个标准：语句覆盖、判定覆盖(又称为分支覆盖)、条件覆盖、判定-条件覆盖(又称为分支-条件覆盖)、条件组合覆盖和路径覆盖。

先看一下具体例子的源代码(C语言)：

1. /*

2.  *  白盒测试逻辑覆盖测试范例

3.  *  作者：胡添发(hutianfa@126.com)

4.  */

5. int logicExample(int x, int y)

6. {

7.     int magic=0;

8.     if(x>0 && y>0)

9.     {

10.         magic = x+y+10; // 语句块1

11.     }

12.     else

13.     {

14.         magic = x+y-10; // 语句块2

15.     }

16.

17.     if(magic < 0)

18.     {

19.         magic = 0;         // 语句块3

20.     }

21.     return magic;       // 语句块4

22. }

一般做白盒测试不会直接根据源代码，而是根据流程图来设计测试用例和编写测试代码，在没有设计文档时，要根据源代码画出流程图：

做好了上面的准备工作，接下来就开始讲解六个逻辑覆盖标准：

一、语句覆盖

1、概念：

设计足够多的测试用例，使得被测试程序中的每条可执行语句至少被执行一次。在本例中，可执行语句是指语句块1到语句块4中的语句。

2、测试用例：

{x=3, y=3}可以执行到语句块1和语句块4，所走的路径：a-b-e-f

{x=-3, y=0}可以执行到语句块2、语句块3和语句块4，所走的路径：a-c-d-f

这样，通过两个测试用例即达到了语句覆盖的标准，当然，测试用例(测试用例组)并不是唯一的。

3、测试的充分性：

假设第一个判断语句if(x>0 && y>0)中的“&&”被程序员错误地写成了“||”，即if(x>0 || y>0)，使用上面设计出来的一组测试用例来进行测试，仍然可以达到100%的语句覆盖，所以语句覆盖无法发现上述的逻辑错误。

在六种逻辑覆盖标准中，语句覆盖标准是最弱的。

31/3123>