一、定义
程序中每一个语句至少能被执行一次
二、特点
1、程序中每一个语句执行一次

2、对程序执行逻辑的覆盖率低，属于最弱的覆盖方式

3、无需测试程序的分支情况

4、无需测试程序分支判断的输入值以及输入值的组合

5、无需测试程序执行的不同路径
三、程序流程图

四、源代码
A = int(input('请输入A的值：'))
B = int(input('请输入B的值：'))
X = int(input('请输入X的值：'))

if A > 1 and B == 0:
    X = X / A
if A == 2 or X > 1:
    X = X + 1
print('X：', X)
print('结束')

五、语句覆盖，用例设计





用例编号
测试用例
覆盖路径
预期结果




1
A=2，B=0，X=3
a-c-e
X=2.5

文章转自：https://blog.csdn.net/virus2014/article/details/51217026

更新时间： 2019.10.22 13:06

1语句覆盖

每个可执行语句都走一遍即可，即测试用例要覆盖所有的语句（来源：软件开发的技术基础）

 

2判定覆盖（分支覆盖）

 针对判断语句，在设定案例的时候，要设定True和False的两种案例；与语句覆盖不同的是增加了False的情况



3条件覆盖

针对判断语句里面案例的取值都要去一次，不考虑条件的取值

另注：条件覆盖保证判断中的每个条件都被覆盖（来源：软件开发的技术基础）



4判定/条件覆盖

判定覆盖各条件覆盖交叉，针对于判定中的条件取值 



5组合覆盖

判定-条件覆盖的加强版 



6路径覆盖

 

 

文章目录
语句覆盖
判定覆盖
条件覆盖
条件--判定覆盖
组合覆盖
路径覆盖


逻辑覆盖率：语句覆盖<条件覆盖<判定覆盖<条件-判定覆盖<组合覆盖<路径覆盖

语句覆盖
基本思想：设计用例，使程序中的每个可执行语句至少执行一次。

每个可执行语句：每个语句，那么下图中执行为：1->2->3->4



优点：可以很直观的从源代码获得用例，无需细分每条判定表达式
缺点：由于这种测试方法仅仅针对程序逻辑中显式存在的语句，但对于隐藏的条件是无法测试的，如在多分支的逻辑运算中无法全面考虑。语句覆盖是最弱的逻辑覆盖

判定覆盖
基本思想：设计用例，使得程序中的每一个判断的取真分支和取假分支至少经历一次，即判断真假值均曾被满足



重点是判定（针对于真假判断），覆盖条件：

条件1：T，条件3：F

条件1：F，条件3：T

或者

条件1：T，条件3：T

条件1：F，条件3：F


优点：判定覆盖比语句覆盖具有更强的测试能力。同时判定覆盖与具有和语句覆盖一样的简单性，无需细分每个判定就可以得到测试用例
缺点：往往大部分的测试用例是由多个逻辑条件组合的，若仅仅判断其整个的最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径，判定覆盖仍是很弱的逻辑覆盖

条件覆盖
基本思想：设计用例，使每个判断中的每个条件的可能取值至少满足一次



重点是判断语句的条件（针对条件语句）
判断表达式1：
设条件 a>0 为真 记T1
			假 记F1
条件 b>0   为真 记T2
			假 记F2 
			
判断表达式3：
设条件 a>1 为真 记T3
			假 记F3
条件 c>1   为真 记T4
			假 记F4		

覆盖条件：

T1,F2,T3,F4

F1,T2,F3,T4

我们用条件覆盖的思想就是覆盖T1,T2,T3,T4,F1,F2,F3,F4

优点：增加了对条件判断情况的测试，增加了测试路径
缺点：条件覆盖不一定包含判定覆盖，例如，上面的测试用例中就不包含判断1的T分支，判断3的F分支。条件覆盖只能保证每个条件语句取值至少有一次为真，而不考虑所有的判定结果

条件–判定覆盖
基本思想：设计用例，使判定条件中的所有可能（条件成立、不成立）至少执行一次取值，同时，所有判断的可能结果（取真，取假），至少执行一次



覆盖条件用例：

T1,T2,T3,T4

F1,F2,F3,F4

要满足：T1,T2,T3,T4,F1,F2,F3,F4

优点：能同时考虑到判定，条件两种覆盖
缺点：未考虑条件的组合情况

组合覆盖
基本思路：设计用例，使所有可能的条件取值组合至少执行一次



重点：所有条件取值的组合




编号
覆盖条件取值




1
T1,T2


2
T1,F2


3
F1,T2


4
F1,F2


5
T3,T4


6
T3,F4


7
F3,T4


8
F3,F4






覆盖条件
覆盖组合




T1，T2 , T3 , T4
1,5


T1，F2 , T3 , F4
2,6


F1，T2 , F3 , T4
3,7


F1，F2 , F3 , F4
4,8



优点：组合覆盖满足了判定覆盖、条件覆盖、和判定、条件覆盖准则。
缺点：线性的增加了测试用例的数量

路径覆盖
基本思想：设计测试用例，来覆盖程序中的所有可能执行的路径



继上面的的条件取值表格




覆盖路径
覆盖组合




1-2-4
1,5


1-2-5
1,8


1-3-4
4,7


1-3-5
4,8



优点：这种测试方法可以对程序进行彻底的测试，比前面五种的测试要广
缺点：需要设计大量的，复杂的测试用例，使得工作量呈指数增长，不见得能把所有的条件组合都覆盖

目录
语句覆盖
分支覆盖（判定覆盖）
谓词测试
原子谓词覆盖（条件覆盖）
分支-谓词覆盖(判定条件覆盖或分支条件覆盖)
复合谓词覆盖（条件组合覆盖）
路径覆盖
包含关系

语句覆盖
“语句覆盖”是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。
程序中的每个语句指：

表达式语句：比如x=y+2;
控制语句: if 和switch
函数调用语句:比如c语言里面的printf() 或者java 里面的System.out.println()
以上三种语句的联合：

如

	if(true)
	{
		x+y=2;
		printf("yyds");
	}


假设有程序如下。
//两个顺序执行的判断
IF(A>1 && B==0)
{
	X=X/A;
}
IF(A==2||X>1)
{

	X=X+1; 
}

根据上面的知识，它是有四条语句的。画出它的流程图


要想达到语句覆盖，只需要每个语句至少执行一次即可，为了简单，就每条语句执行一次即可。

如果两个IF判断都能执行，最终这四个语句均可执行一次。

否则多设计几个样例，使得全部语句都能执行一次就行。
分支覆盖（判定覆盖）
分支覆盖，又称判定覆盖，是指使得程序中每个判断的取真分支和取假分支至少经历一次，即判断的真假均曾被满足。
if(a>0){
	.......
}

设计用例，只需两个即可：比如a=5和a=-1,使得这个判断的真假都能执行一次。

if(a>0){.......}
else if(b>0){.....}

测试用例需要3个：

如a=1(true),b未进入

a=-1(false),b=1(true)

a=-1(false),b=-1(false)
谓词测试
形如 a>0 , a>0&&b<0 这样的为谓词，也就是判定。

而a>0叫做原子谓词。原子谓词通过与或非构成复合谓词，如a<0&&b>0.

分支覆盖对于复合谓词不是有效的。所以提出了谓词测试。
原子谓词覆盖（条件覆盖）
每个复合谓词包含的每个原词谓词至少获得一次真和一次假。
if(i==j&&i==k&&j==k) ..;
else if(i==j||i==k||j==k) ....;

满足原子谓词覆盖的测试用例：

分支-谓词覆盖(判定条件覆盖或分支条件覆盖)
在原子谓词的基础上， 每个复合谓词也要获得至少一次真和一次假。

它包括了语句覆盖，分支覆盖和原子谓词覆盖。

还是上面的例子
if(i==j&&i==k&&j==k) ..;
else if(i==j||i==k||j==k) ....;

满足分支-谓词覆盖的测试用例：


复合谓词覆盖（条件组合覆盖）
每个谓词中条件的各种可能都至少出现一次。

如果是上面分支-谓词覆盖里面的例子，上述的5个测试用例满足。

再看一个。
if ((A > 1)&&( B == 0))
{
   X  = X / A;
}
if ((A == 2) || ( X > 1))
{
   X = X + 1;
}

需要设计8个测试用例，

如第一个if里面，两个原子谓词的排列是4个

（1）A>1, B=0
（2）A>1, B!=0
（3）A≤1, B=0
（4）A≤1, B≠0
文章部分参考：《软件测试教程 第二版》 宫云战
路径覆盖
包含了分支覆盖，但与谓词覆盖无关。要求走完所有的路径。如下图，设计测试用力时，有四条路径，需要走完这四条路径。


包含关系
分支覆盖包含语句覆盖。

路径覆盖包含分支覆盖，与谓词覆盖无关

分支-谓词覆盖包含语句覆盖，分支覆盖，原子谓词覆盖。

复合谓词覆盖包含语句覆盖，分支覆盖，原子谓词覆盖，分支-谓词覆盖