因果图法－－实例一　

0O}"H7aCL6[e0实例[111]一：51Testing软件测试网d
`7QH:WW
Ym^
“第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。”51Testing软件测试网6E m!A9P~L @S

kw G:J ?[_0首先根据这一规格说明画出因果图。在分析以上的要求以后，可以明确地把原因和结果分开。以下分别给出（左端数字是编号）：
w:BA~7d5q0原因：51Testing软件测试网2p_k(e~Y?)Ka2M
  1——第一列字符是A；51Testing软件测试网m1L~+|0y!P5@J\W
 2——第一列字符是B；51Testing软件测试网Vk&l'C&] |O;Dq
 3——第二列字符是一数字。51Testing软件测试网X
Y}N)pZ
结果：51Testing软件测试网&]!tj7[#r`i
  21——修改文件；51Testing软件测试网q n jjJ:U2@
  22——给出信息L；
4IQ"k9Q QA!s`0  23——给出信息M。51Testing软件测试网%@$]$^$Go"B"|
我们把原因和结果用上述的逻辑符号联结起来，画成因果图（如下）。图中左列表示原因，右列为结果，编号为11的中间结点是导出结果的进一步原因。
wG9E}:N0     因果图实例图51Testing软件测试网q$B ]D*{su#W)M5}S1Y,d
考虑到原因1和原因2不可能同时为1（即第一列字符不可能是A和B），我们在因果图上可对其施加E约束，这样便得到了具有约束的因果图。
n*s.^&Q+e9i0      具有E约束的因果图
Y
Z4F2~+_8_"s7a2aZ!N s0根据因果图建立如下的判定表：
S8I]-xSu C8jg%Z"q0 1 2 3 4 5 6 7 8 
FWA&c+x'oLeZ%o9H0条件（原因） （1） 1 1 1 1 0 0 0 0 
8QvM(e1F0CC0 （2） 1 1 0 0 1 1 0 0 
7Nd;r3SL L(|j]0 （3） 1 0 1 0 1 0 1 0 
#C8ev+s+w&k0S:rVO0 （11）  1 1 1 1 0 0 51Testing软件测试网O yL,x9M~R
动作（结果） （22）  0 0 0 0 1 1 
z%e C2]&y0 （21）  1 0 1 0 0 0 51Testing软件测试网ie6O&C*uG
 （23）  0 1 0 1 0 1 
eE8v5xa
E4O;P0测试用例  A351Testing软件测试网5W
B1B4Rj$T$[j(yY
A8 AM
)S(MIG+^)^W0A？ B551Testing软件测试网IM
nAfj
B4 BN
2gX \1? `!s0B！ C251Testing软件测试网xn(XGzt@!iYl8G
X6 DY51Testing软件测试网n`
`r^Yzc/p&fGs
P； 

 51Testing软件测试网o-`h^+~

l*l.ao)L0q0@0 

+Jq:[M1C0 51Testing软件测试网3v eU/_/Q'U lm

 51Testing软件测试网VBh{Q \)g

)_;QQ+R nV0 51Testing软件测试网&v
g#cSF)s

 51Testing软件测试网9^*L,D,N~'A4o4H*r

W&\j!g~0 51Testing软件测试网_ cE.n8Bqt

fDVO'c ?0 

Z$|4].YUIp0 51Testing软件测试网1N/I(zUy!_v/\