白盒测试黑盒测试软件测试.pptx

白盒测试黑盒测试软件测试6233509白盒测试_黑盒测试软件测试
逻辑覆盖
逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。这一方法要求测试人员对程序的逻辑结构有清楚的了解,甚至要能掌握源程序的所有细节。
由于覆盖测试的目标不同,逻辑覆盖又可分为:
语句覆盖
判定覆盖
条件覆盖
判定/条件覆盖
条件组合覆盖
路径覆盖
白盒测试_黑盒测试软件测试
语句覆盖
语句覆盖就是设计若干个测试用例,运行被测程序,使得每一可执行语句至少执行一次。这种覆盖又称为点覆盖,它使得程序中每个可执行语句都得到执行,但它是最弱的逻辑覆盖准,效果有限,必须与其它方法交互使用。
To be continue…
白盒测试_黑盒测试软件测试
(A>1) and (B=0)
(A=2) or (X>1)
X = X / A
X=X+1
T
T
F
F
b
c
e
a
1
s
d
2
3
4
5
6
7
PROCEDURE Example(A,B:real; X:real );
Begin
IF (A>1) AND (B=0) THEN
X:= X / A;
IF ( A=2 ) OR (X>1) THEN
X:=X+1
END;
I. A=2, B= 0, X=4 ---- sacbed
语句覆盖
所有的语句至少执行一次!
是最弱的逻辑覆盖
白盒测试_黑盒测试软件测试
判定覆盖
判定覆盖就是设计若干个测试用例,运行被测程序,使得程序中每个判断的取真分支和取假分支至少经历一次。判定覆盖又称为分支覆盖。
判定覆盖只比语句覆盖稍强一些,但实际效果表明,只是判定覆盖,还不能保证一定能查出在判断的条件中存在的错误。因此,还需要更强的逻辑覆盖准则去检验判断内部条件。
To be continue…
白盒测试_黑盒测试软件测试
(A>1) and (B=0)
(A=2) or (X>1)
X = X / A
X=X+1
T
T
F
F
b
c
e
a
1
s
d
2
3
4
5
6
7
每个语句至少执行一次!
每个判定的每种可能都至少执行一次!
即每个判定的真假分支都至少执行一次!
I: A=3, B=0,X=3: sacbd
II: A=2, B=1,X=1: sabed
满足判定覆盖的测试用例一定满足语句覆盖:判定覆盖比语句覆盖强。但仍是弱的逻辑覆盖。
白盒测试_黑盒测试软件测试
条件覆盖
条件覆盖就是设计若干个测试用例,运行被测程序,使得程序中每个判定的每个条件的可能取值至少执行一次。
条件覆盖深入到判定中的每个条件,但可能不能满足判定覆盖的要求。
To be continue…
白盒测试_黑盒测试软件测试
每个语句至少执行一次,而且判定表达式中的每个条件都要取得各种可能的结果。
第一判定表达式:
设条件 A>1 取真记为T1
假 T1
条件 B=0 取真记为T2
假 T2
第二判定表达式:
设条件 A=2 取真记为T3
假 T3
条件 X>1 取真记为T4
假 T4
条件覆盖要求这8种值都要取到
(A>1) and (B=0)
(A=2) or (X>1)
X = X / A
X=X+1
T
T
F
F
b
c
e
a
1
s
d
2
3
4
5
6
7
白盒测试_黑盒测试软件测试
(A>1) and (B=0)
(A=2) or (X>1)
X = X / A
X=X+1
T
T
F
F
b
c
e
a
1
s
d
2
3
4
5
6
7
(A>1)
(A≤1)
(B=0)
(B≠0)
(A=2)
(A≠2)
(X>1)
(X≤1)
Ⅱ: A=1, B=1,X=1: sabd
Ⅰ: A=2, B=0,X=4: sacbed
测试
用例
通过路径
满足的条件
A
B
X
2
0
4
sacbed
T1,T2,T3,T4
1
1
1
sabd
T1,T2,T3,T4
满足判定覆盖
白盒测试_黑盒测试软件测试
(A>1) and (B=0)
(A=2) or (X>1)
X = X / A
X=X+1
T
T
F
F
b
c
e
a
1
s
d
2
3
4
5
6
7
(A>1)
(A≤1)
(B=0)
(B≠0)
(A=2)
(A≠2)
(X>1)
(X≤1)
Ⅳ: A=1, B=1,X=2: sabed
Ⅲ: A=2, B=0,X=1: sacbed
测试
用例
通过路径
满足的条件
A
B
X
2
0
1
sa