软件测试总体介绍.ppt

文档介绍：§
逻辑覆盖法
例:PROCEDURE SAMPAL
(A，B：REAL； VAR X：REAL);
BEGIN
IF (A>1) AND (B=0)
§
逻辑覆盖法
例:PROCEDURE SAMPAL
(A，B：REAL； VAR X：REAL);
BEGIN
IF (A>1) AND (B=0)
THEN X:=X/A
IF (A=2) OR (X>1)
THEN X:=X+1
END;
逻辑覆盖准则:
(1)语句覆盖
(2)判定覆盖
(3)条件覆盖
(4)判定/条件覆盖
(5)条件组合覆盖
(6)路径覆盖
(7)点覆盖
(8)边覆盖
1语句覆盖
开始
(A>1) AND (B=0)
(A=2) OR (X>1)
返回
X=X/A
X=X+1
F
F
T
T
a
b
d
c
e
使程序中每个语句至少执行一次
只需设计一个测试用例:
输入数据：A=2，B=0，X=4
即达到了语句覆盖;
语句覆盖是最弱的逻辑覆盖
2判定覆盖
开始
(A>1) AND (B=0)
(A=2) OR (X>1)
返回
X=X/A
X=X+1
F
F
T
T
a
b
d
c
e
使每个判定的真假分支都至少执行一次
例:可设计两组测试用例:
A=3，B=0 ，X=3 可覆盖c、d分支
A=2，B=1 ，X=1 可覆盖b、e分支
两组测试用例可覆盖所有判定的真假
分支
语句覆盖仍是弱的逻辑覆盖
(3)条件覆盖
使每个判定的每个条件的可能取值至少执行一次
第一判定表达式:
设条件 A>1 取真 记为 T1
假 T1
条件 B=1 取真 记为 T2
假 T2
第二判定表达式:
设条件 A=2 取真 记为 T3
假 T3
条件 X>1 取真 记为 T4
假 T4
条件覆盖
开始
(A>1) AND (B=0)
(A=2) OR (X>1)
返回
X=X/A
X=X+1
F
F
T
T
a
b
d
c
e
满足条件: T1,T1,
T2,T2
T3,T3
T4,T4
测试用例 通过 满足的 覆盖
A B X 路径 条件 分支
1 0 3 abe T1,T2,T3,T4 b,e
2 1 1 abe T1,T2,T3,T4 b,e
两个测试用例覆盖了四个条件八种可能
取值。
未覆盖c、d分支，不满足判定覆盖的要
求.
条件覆盖不一定包含判定覆盖
判定覆盖也不一定包含条件覆盖
(4)判定/条件覆盖
选取足够多的测试用例，使判断中的每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果至少执行一次.
判定/条件
覆盖
开始
(A>1) AND (B=0)
(A=2) OR (X>1)
返回
X=X/A
X=X+1
F
F
T
T
a
b
d
c
e
满足条件: T1,T1,
T2,T2
T3,T3
T4,T4
测试用例 通过 满足的 覆盖
A B X 路径 条件 分支
2 0 4 ace T1,T2,T3,T4 c,e
2 1 1 abd T1,T2,T3,T4 b,d
能同时满足判定、条件两种覆盖标准。
取值。
测试用例 通过 满足的 覆盖
A B X 路径 条件 分支
2 0 3 ace T1,T2,T3,T4 c,e
2 1 1 abe T1,T2,T3,T4 b,e
1 0 3 abe T1,T2,T3,T4 b,e
1 1 1 abd T1,T2,T3,T4 b,d
(5)条件组合覆盖
所有可能的条件取值组合至少执行一次