软件测试覆盖包括分支覆盖，语句覆盖以及条件覆盖，这是白盒测试中一个很基本的测试概念，但是最近和几位搞了多年测试的朋友谈及此事，大家都搞不大清楚。下面我通过一个例子来深入探讨一下这个问题：
定义一、语句覆盖：它要求被测程序的每一可执行语句在测试中尽可能都检验过；
定义二、分支覆盖：要求程序中所有判定的分支尽可能得到检验；
定义三、条件覆盖：当判定式中含有多个条件时，要求每个条件的取值均得到检验；
下面我们通过一个简单的例子来描述一下
0:
1:if ((a<150)||(b<200)){
2: for (i=a;i<100;i++)
3: {
4: println(“A”);}
5:}else{
6:println (“B”);
7:}
分支覆盖：
1）在0处设置a=120,b 任意
将执行1，2，5
2）在0处设置a=200,b=400
将执行1，5，6，7
这里所有的分支都走到，也就是说要达到分支覆盖率100%,要设计2组测试用例
|
a
|
b
|
|
120
|
任意
|
|
200
|
400
|
语句覆盖:
1）在0处设置a=40,b 任意
将执行1，2，3，4，5
2）在0处设置a=200,b=400
将执行1，5，6，7
这里所有的语句都走到了，也就是说要达到语句覆盖率100%，要设计2组测试用例
|
a
|
b
|
|
40
|
任意
|
|
200
|
400
|
而在分支覆盖中语句3,4没有走到
条件覆盖:
由于第一个条件是if ((a<150)||(b<200)) 所以需要设计测试用例
|
a
|
b
|
备注
|
|
40
|
50
|
全都满足
|
|
160
|
150
|
a 不满足,b满足
|
|
40
|
250
|
a满足,b不满足
|
|
150
|
250
|
a，b都不满足
|
条件覆盖只要求把所有的条件都覆盖就可以了。
这样一来我们就把这几个概念搞得很清楚了。