文档介绍：软件测试是为了发现错误而执行程序的过程。或者说，软件测试是根据软件开发各阶段的规格说明和程序内部结构而精心设计的一批测试用例（即输入数据及预期的输出结果），并利用这些测试用例去运行程序，以发现程序错误的过程。
软件测试的目的
测.
③ A=.T. ④ A=.F.
⑤ B=.T. ⑥ B=.F.
① A=.T. ^ B=.T.
② A=.T. ^ B=.F.
③ A=.F. ^ B=.T
④ A=.F. ^ B=.F.
语句覆盖
输入：2，0，4
输出：2，0，3
满足语句覆盖的
测试用例如下
ace (L1)
abd (L2)
abe (L3)
acd (L4)
a
c
e
L1
b
d
a
输出: A,B,X
c
e
(A>1) ^ (B=0)
X=X/A
T
F
(A=2) V (X>1)
X=X+1
T
F
输入: A,B,X
V
^
判定覆盖(分支覆盖)
所谓的判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。
输入：2，0，4
输出：2，0，3
① 取“真”分支
测试用例如下
输入：1，1，1
输出：1，1，1
取“假”分支
测试用例如下
a
c
e
L1
a
b
d
L2
b
d
a
输出: A,B,X
c
e
(A>1) ^ (B=0)
X=X/A
T
F
(A=2) V (X>1)
X=X+1
T
F
输入: A,B,X
② 取“假真”分支
测试用例如下
a
b
e
L3
输入：2，1，1
输出：2，1，2
a
c
d
L4
输入：3，0，3
输出：3，0，1
取“真假”分支
测试用例如下
<
条件覆盖
所谓的条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。
设条件的取值标记
判断
条件
取真值
取假值
判断
(一)
A>1
T1
T1
B=0
T2
T2
判断
(二)
A=2
T3
T3
X>1
T4
T4
b
d
a
输出: A,B,X
c
e
(A>1) ^ (B=0)
X=X/A
T
F
(A=2) V (X>1)
X=X+1
T
F
输入: A,B,X
条件覆盖 (第一组测试用例)如下表
条件覆盖 (第二组测试用例)如下表
b
d
a
输出: A,B,X
c
e
(A>1) ^ (B=0)
X=X/A
T
F
(A=2) V (X>1)
X=X+1
T
F
输入: A,B,X
测试用例
通过路径
条件取值
覆盖分支
(2,0,4),(2,0,3)
ace(L1)
c,e
(1,1,1),(1,1,1)
abd(L2)
T2
T3
T4
T1
b,d
T2
T3
T4
T1
测试用例
通过路径
条件取值
覆盖分支
(1,0,3),(1,0,4)
abe(L3)
c,e
(2,1,1),(2,1,2)
abe(L3)
T2
T3
T4
T1
b,e
T2
T3
T4
T1
判定/条件覆盖
所谓的判定/条件覆盖就是设计足够的测试用例，使得 判断中每个条件的所有可能取值至少执行一次， 同时每个判断本身的所有可能判断结果至少执行一次。
设条件的取值标记
判断
条件
取真值
取假值
判断
(一)
A>1
T1
T1
B=0
T2
T2
判断
(二)
A=2
T3
T3
X>1
T4
T4
b
d
a
输出: A,B,X
c
e
(A>1) ^ (B=0)
X=X/A
T
F
(A=2) V (X>1)