因果图法实例三

kHd4\C4q0因果图实例讲解51Testing软件测试网 ] u6cWw1P6{U

6I\~*[ B
Zw0 此例子是讲解利用因果图设计测试用例的一个小例子。以中国象棋中走马的测试用例设计为例学习因果图的使用方法。51Testing软件测试网U9I#~&faD5Gf!R?
 
] j0s:wa7\D0分析中国象棋中走马的实际情况（下面未注明的均指的是对马的说明）
u3An3uaTc+C0 1、如果落点在棋盘外，则不移动棋子；2、如果落点与起点不构成日字型，则不移动棋子；3、如果落点处有自己方棋子，则不移动棋子；4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；5、如果不属于1-4条，且落点处无棋子，则移动棋子；6、如果不属于1-4条，且落点处为对方棋子(非老将)，则移动棋子并除去对方棋子；7如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。
Sh2v }/~w4By0根据分析明确原因和结果
n%@] X*O0原因：51Testing软件测试网 CU:h~+`k4l0W0K,Q&P
落点在棋盘上；51Testing软件测试网nR.|2A(t
}
落点与起点构成日字；51Testing软件测试网 y e(R [4nq
落点处为自己方棋子；51Testing软件测试网-?'S3v&t3K0}0P
落点方向的邻近交叉点有棋子；
{,fd!k|-~wjr O)m0落点处无棋子；
Xs!] k?D"sH5z'Z0落点处为对方棋子（非老将）；
p6^A&?2y)[deA0落点处为对方老将。51Testing软件测试网H*N&k1P e3l8t!Os D5J
 结果：
;W#tCE1L5zV&|.q%B0 21、不移动棋子；
7s }ZLHJau3x0 22、移动棋子；
!JyMJ}4a0 23、移动棋子，并除去对方棋子；
-T&e(L6yH0 24、移动棋子，并提示战胜对方，结束游戏。
%F-L-g&^3FY}0 
:D4r1xN@ X;I0 添加中间节点11，目的是作为导出结果的进一步原因，简化因果图导出的判定表
;y_8{ug8o+s}U;r"X0 

vW ?lfq,N9O&?3a9NT0考虑结果不能同时发生，所以对其施加唯一约束O。原因5、6、7不能同时发生，所以对其施加异约束E.51Testing软件测试网tP.K)upL7F!`
根据因果图建立判定表：(分为两表)
cT w#\{)xMU'Sv0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 51Testing软件测试网ZZ,~Q \
原因 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 
+q#z6m[a5i0 2 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 51Testing软件测试网C]#p I3H'SZ
 3 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 
9S6lg,y$o
`-p:a9P$y'u0 4 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 
)_v'|/Ut&QY|(K8|0结果 11 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 
P2Ib%Y"p0 21 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 51Testing软件测试网3S/P*}0s*y&c
用例                  51Testing软件测试网,~y'Qv5stfk

 1 2 3 4 5 6 7 8 9 `0 11 12 13 14 15 16 51Testing软件测试网;`.z8?6JJ6z
原因 11 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 51Testing软件测试网 O4J1i@ c&v} o&HO-n$\
 5 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 51Testing软件测试网
I6N o
OJ'c#q
 6 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 
~-e_3j/M#[H0 7 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 
8b8V\(\
p0d_W[0结果 22 0  0 1 0 0   0 0       51Testing软件测试网0E!W/WA.V5i(o
 23 0  0 0 0 1   0 0       51Testing软件测试网 dB&x/h }_D1q
 24 0  0 0 0 0   0 1       51Testing软件测试网"u"n
a8bH
用例                  51Testing软件测试网 U/Z;Jl5K$x3t(u
注：1、以上判定表中由于表格大小限制没有列出最后所选的测试用例；2、第2表中部分列被合并表示不可能发生的现象；3、通过中间节点将用例的判定表简化为两个小表。减少工作量。51Testing软件测试网ZyC8qQ-n(u)?}$~

Kmh#GS
j0四、根据判定表写测试用例表（略）51Testing软件测试网o,Qj:[O?kC