白盒测试

对下面给出的程序控制图，分别以各种不同的测试方法写出最少的测试用例。

1:语句覆盖
要点:每个可执行语句至少执行一次.
A=5 B=6 X=2 走ace路,可将语句全覆盖

2: 判定覆盖
要点:每个判断的真假分支至少执行一次
有两个判定,设计两真两假就达到判定覆盖条件
假假分支:ace A=5 B=6 X=2 f1f2
真真分之:abd A=2 B=5 X=3 t2t2(小写表示判断真假),大写表示条件真假)

3:条件覆盖
要点:每个判定中的每个条件可能至少满足一次
题中有两个判定,每个判定里两个条件,也就是四个条件.
四个条件分别去真假两种可能,只要在用例中出现条件四种真和四种假就可以
    A<5取真 T1,取假F1
如上B=5     T2     F2
    A=2     T3     F3
    X>2     T4     F4
F1F2F3F4 A=5 B=6 X=2 走ace
T1T2T3T4 A=2 B=5 X=3 走abd
A B A X 四个条件的真假都取到了,条件覆盖完成了,也可以用T1F2F3T4和
F1T2T3F4来设计,只要TN和FN都出现就可以,但是要注意F1和T3不能同时出现,因为A<5不成立,A=2一定不成立,以下几种方法也要考虑这个条件,还要注意如果路径走ace和acd的时候X的值会有变化)

4:判定条件覆盖
要点:判断中的每个条件所有可能至少出现一次,并且每个判定本身的判定结果也要出现一次.
判定条件覆盖就是把判定覆盖和条件覆盖要考虑的东西合在一起考虑
两个判定的真假要分别出现,四个条件的真假也要分别出现.
此题是巧合,判定覆盖可以和条件覆盖设计一样的用例
F1F2F3F4 A=5 B=6 X=2 走ace f1f2
T1T2T3T4 A=2 B=5 X=3 走abd t1t2
完全满足了判定条件覆盖~

5:条件组合覆盖
要点:每个判定中条件的各种可能组合至少满足一次
这个稍微复杂一点先搞第一个判定中的条件，先把这两个条件组合在一起，两个条件，分别真假有四种组合方式：
(1)A<5 B=5 T1T2
(2)A<5 B!=5 T1F2
(3)A>=5 B=5 F1T2
(4)A>=5 B!=5 F1F2
第二个判断
(5)A=2 X>2 T3T4
(6)A=2 X<=2 t3f4
(7)A!=2 X>2 F3T4
(8)A!=2 X<=2 F3F4

把 第一个判断中四个条件和第2个判断中四个条件组合
其中（3）（4）不能和（5）（6）组合因为A>=5就不能有A=2
来组合下吧
(1)(5)： T1T2T3T4    A=2 B=5 X=3 走abd        
(2)(6):  T1F2T3F4    A=2 B=6 X=2  走acd
(3)(7):  F1T2F3F4    A=3 B=5 X=2 走abe
(4)(8):  F1F2F3F4    A=5 B=6 X=2 走ace   

居然覆盖四条路径了（纯属巧合）一般的情况下条件组合是不能保证路径全被覆盖的。

6：路径覆盖
所有路径：一眼就能看出有四条路径，分别是ace abd abe acd
在这里偷点工，因为条件组合里恰巧覆盖里路径，就不再写用例了。