因果圖實(shí)例講解

1、1.引言51Testing軟件測(cè)試網(wǎng)0O5v4?1N.0d51Testing軟件測(cè)試網(wǎng)MK0ez;R  等價(jià)類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯(lián)系、相互組合等?？紤]輸入條件之間的相互組合，可能會(huì)產(chǎn)生一些新的情況。但要檢查輸入條件的組合不是一件容易的事情，即使把所有輸入條件劃分成等價(jià)類，他們之間的組合情況也相當(dāng)多。因此必須考慮采用一種適合于描述對(duì)于多種條件的組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來考慮設(shè)計(jì)測(cè)試用例。這就需要利用因果圖（邏輯模型）。51Testing軟件測(cè)試網(wǎng) t1B#AW  因果圖（Cause-EffectGraphing

2、）提供了一個(gè)把規(guī)格轉(zhuǎn)化為判定表的系統(tǒng)化方法，從該圖中可以產(chǎn)生測(cè)試數(shù)據(jù)。其中原因是表示輸入條件，結(jié)果是對(duì)輸入執(zhí)行的一系列計(jì)算后得到的輸出。51Testing軟件測(cè)試網(wǎng)3g$h4HR  因果圖方法最終生成的就是判定表，它適合于檢查程序輸入條件的各種組合情況。)m F2N7Q8Au6Wl!V051Testing軟件測(cè)試網(wǎng)"Oh O3hg C$D2.因果圖介紹51Testing軟件測(cè)試網(wǎng)#T!l$m h&V:?0|51Testing軟件測(cè)試網(wǎng)2fh .B9yvo7G7Q2.1圖例說明51Testing軟件測(cè)試網(wǎng)A4xR.?SG:s5XiS 51Testing軟件測(cè)試網(wǎng)h&q

3、uot;r b8Z2)P0ZO"d V1、4種符號(hào)分別表示了規(guī)格說明中向4種因果關(guān)系。如圖2-1所示。%C-.b"KvK KEA0  0 B!fvFG_$|051Testing軟件測(cè)試網(wǎng)h O:Nt%T5L                          圖2-1 因果圖關(guān)系51Testing軟件測(cè)試網(wǎng)p&

4、#39;g K$ec rD51Testing軟件測(cè)試網(wǎng)v;P)|Sda6A2、因果圖中使用了簡(jiǎn)單的邏輯符號(hào)，以直線聯(lián)接左右結(jié)點(diǎn)。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）。51Testing軟件測(cè)試網(wǎng)1o#to2 J.o:RHj3、ci表示原因，通常置于圖的左部；ei表示結(jié)果，通常在圖的右部。ci和ei均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。51Testing軟件測(cè)試網(wǎng))e!J_#AbN3o0x x2b(r5gT%P02.2因果圖概念ksi$S4x3jw0&A;HHM&K xm01、關(guān)系（圖2-1 因果圖關(guān)系）*v:k4VCjR d*p0

5、60;    恒等：若ci是1，則ei也是1；否則ei為0。:XO:e#uz-qO0     非：若ci是1，則ei是0；否則ei是1。x30d9Im$Ve+wW0     或：若c1或c2或c3是1，則ei是1；否則ei為0?！盎颉笨捎腥我鈧€(gè)輸入。t4 ?Y*p0     與：若c1和c2都是1，則ei為1；否則ei為0?！芭c”也可有任意個(gè)輸入。A c-8e)c6B7H0+O0gM6D"D(h02、約束N ?zu7? ;Z)v/0&#

6、160;  輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。例如，某些輸入條件本身不可能同時(shí)出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中，用特定的符號(hào)標(biāo)明這些約束。如圖2-2所示。51Testing軟件測(cè)試網(wǎng)xW7V!s(a_v51Testing軟件測(cè)試網(wǎng)c0zklmha;QY0                         

7、0;   2Y? rOjI0                           圖2-2因果圖約束51Testing軟件測(cè)試網(wǎng)U5tvI.Wj51Testing軟件測(cè)試網(wǎng)%*i D6Ga*E (rCA.輸入條件的約束有以下4類： %c R,Pj0 E約束（異）：a和b中至多有一個(gè)可能為1，即a和b

8、不能同時(shí)為1。 l hi"A'z ?0 I約束（或）：a、b和c中至少有一個(gè)必須是1，即 a、b 和c不能同時(shí)為0。 51Testing軟件測(cè)試網(wǎng)w7_ N'y _ IR -v O約束（唯一）；a和b必須有一個(gè)，且僅有1個(gè)為1。 51Testing軟件測(cè)試網(wǎng)R4ySqE,C p9R約束（要求）：a是1時(shí)，b必須是1，即不可能a是1時(shí)b是0。51Testing軟件測(cè)試網(wǎng)ByoDVR51Testing軟件測(cè)試網(wǎng)3v i6MCa,d3mB.輸出條件約束類型51Testing軟件測(cè)試網(wǎng)YhX2qob)L輸出條件的約束只有M約束（強(qiáng)制）：若結(jié)果a是

9、1，則結(jié)果b強(qiáng)制為0。51Testing軟件測(cè)試網(wǎng)2j)m p0RL.O1E51Testing軟件測(cè)試網(wǎng)tC4hfF.Y"e|2.3因果圖法設(shè)計(jì)測(cè)試用例步驟-G:RB4m o$H5X0.t*|neYni01、分析待測(cè)得系統(tǒng)規(guī)格，找出原因與結(jié)果51Testing軟件測(cè)試網(wǎng)G z#G h a$L   分析軟件規(guī)格說明描述中，那些是原因(即輸入條件或輸入條件的等價(jià)類)，那些是結(jié)果(即輸出條件), 并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。3c%x%M;Pp+V$e lHO'T'a02、畫出因果圖51Testing軟件測(cè)試網(wǎng)(f3BvRc,k6?G &#

10、160; 分析軟件規(guī)格說明描述中的語義。找出原因與結(jié)果之間，原因與原因之間對(duì)應(yīng)的關(guān)系。根據(jù)這些關(guān)系，畫出因果圖。D.CW O/_j A)U:A03、標(biāo)記約束或限制條件51Testing軟件測(cè)試網(wǎng)Pw n$zH4G c   由于語法或環(huán)境限制，有些原因與原因之間,原因與結(jié)果之間的組合情況下不可能出現(xiàn)。 為表明這些特殊情況，在因果圖上用一些記號(hào)表明約束或限制條件。# u/f%b8H*O,j4J04、把因果圖轉(zhuǎn)換為判定表。51Testing軟件測(cè)試網(wǎng)emSvuZZV5、用判定表中的每一項(xiàng)生成測(cè)試用例。%h V7IF#LO7z7y-051Testing軟件測(cè)試網(wǎng)*K5O2M;Yc/

11、3.因果圖實(shí)例,EDe).A$J$pcEy051Testing軟件測(cè)試網(wǎng)$mF/.w*L n"Gl/K3.1實(shí)例一8|-T)dH5GL w92D051Testing軟件測(cè)試網(wǎng) A Tg'O1S0n.u 4_5R某軟件規(guī)格說明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改，但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。51Testing軟件測(cè)試網(wǎng)OI5j(EbTT1New/zK6dNH;LX01、對(duì)說明進(jìn)行分析，得到原因和結(jié)果：51Testing軟件測(cè)試網(wǎng)wH*wY&D_0A Z W1)(?!D

12、E-2d:I Bk 0原因：  51Testing軟件測(cè)試網(wǎng) eo7#fS1：第一列字符是A；a2?6uU'G&i!M3v02：第一列字符是B；51Testing軟件測(cè)試網(wǎng)iOQ-i Z&h)b3：第二列字符是一數(shù)字。51Testing軟件測(cè)試網(wǎng)r.ex;A-FX2_tx,y0qN j%a'P c0結(jié)果：RRf;vz Xh,m.E021：修改文件；51Testing軟件測(cè)試網(wǎng) S*e.AFV,e22：給出信息L；51Testing軟件測(cè)試網(wǎng)b_:A9ne f23：給出信息M。73l6oG| MV051Testing軟件測(cè)試網(wǎng)0Y/j MwLc

13、52、其對(duì)應(yīng)的因果圖如下：11為中間節(jié)點(diǎn)；考慮到原因1和原因2不可能同時(shí)為1，因此在因果圖上施加E約束，如圖3-1所示。51Testing軟件測(cè)試網(wǎng)tJMgv? D51Testing軟件測(cè)試網(wǎng)R!O_E%pni o  _m/g E#!Y0  +e 2crp;v _:t'M Li*0                      

14、60; 圖3-1實(shí)例一的因果圖9s1z J09Vi is, tw4"Cn8C03、根據(jù)因果圖建立判定表。51Testing軟件測(cè)試網(wǎng)r !kj O,A9u 7B)b'W1fN28m0   51Testing軟件測(cè)試網(wǎng)v _E&H"Z#qH)S51Testing軟件測(cè)試網(wǎng)gc OL/FB ZhK S   表中8種情況的左面兩列情況中，原因和原因同時(shí)為1，這是不可能出現(xiàn)的，故應(yīng)排除這兩種情況。0IZ2g*q J_ w0L&P9C051Testing軟件測(cè)試網(wǎng)u-E/N-f o03o+K(f4、把

15、判定表的每一列拿出來作為依據(jù)，設(shè)計(jì)測(cè)試用例51Testing軟件測(cè)試網(wǎng)t2K3amxGw.iv   我們把表的最下一欄給出了6種情況的測(cè)試用例，這是我們所需要的數(shù)據(jù)。8b1O R'A)?)J4K&y0(v5U)gE2r4P;UD03.2實(shí)例二t&V:dw|X-L051Testing軟件測(cè)試網(wǎng)LJC6O$o有一個(gè)處理單價(jià)為5角錢的飲料的自動(dòng)售貨機(jī)軟件測(cè)試用例的設(shè)計(jì)。7 oon'rdd?0其規(guī)格說明如下：51Testing軟件測(cè)試網(wǎng)L$gh8V"J)Do若投入5角錢或1元錢的硬幣，押下橙汁或啤酒的按鈕，則相應(yīng)的飲料就送出來。51Test

16、ing軟件測(cè)試網(wǎng))rvB3ZR3|若售貨機(jī)沒有零錢找，則一個(gè)顯示零錢找完的紅燈亮，這時(shí)在投入1元硬幣并押下按鈕后，飲料不送出來而且1元硬幣也退出來；#eJ,hf.p(0若有零錢找，則顯示零錢找完的紅燈滅，在送出飲料的同時(shí)退還5角硬幣。51Testing軟件測(cè)試網(wǎng)U_D'a0J:G*TH zyjsDN n01、分析這一段說明，列出原因和結(jié)果：51Testing軟件測(cè)試網(wǎng)! q4B;qNv3s.cV(x)oq這本身只是一個(gè)實(shí)例，只是用來學(xué)習(xí)，其實(shí)其設(shè)計(jì)說明還是存在好多漏洞的，例如：如果售貨機(jī)里沒有飲料了怎么辦？51Testing軟件測(cè)試網(wǎng)Op)_8me n3SM51Testing軟件測(cè)試網(wǎng)

17、 n!I$Bs D*Q原因：1、售貨機(jī)有零錢找51Testing軟件測(cè)試網(wǎng)|1|s0b*OR2、投入1元硬幣o ? ejY.1t03、投入5角硬幣$x/vP:k X04、押下橙汁按鈕51Testing軟件測(cè)試網(wǎng)0B61BsJ 4ZDZ)o5、押下啤酒按鈕51Testing軟件測(cè)試網(wǎng)xU,XK0xI'P51Testing軟件測(cè)試網(wǎng)YKyAPY1B結(jié)果：8Z,U+U*9b Em;B8i1l021、售貨機(jī)零錢找完燈亮9R;:F)P|/T022、退還1元硬幣51Testing軟件測(cè)試網(wǎng)9h N-z+L s"R23、退還5角硬幣     

18、;        51Testing軟件測(cè)試網(wǎng)lB)Mr MUu24、送出橙汁飲料51Testing軟件測(cè)試網(wǎng)jS4;T!y1PdV e-Nt25、送出啤酒飲料51Testing軟件測(cè)試網(wǎng)Dk)| 4s.3TS51Testing軟件測(cè)試網(wǎng)bD(LHbNDe2、畫出因果圖，如圖3-2所示。51Testing軟件測(cè)試網(wǎng)&L SrnFIRU所有原因結(jié)點(diǎn)列在左邊，所有結(jié)果結(jié)點(diǎn)列在右邊。建立中間結(jié)點(diǎn)，表示處理的中間狀態(tài)。中間結(jié)點(diǎn)：&c.ya7cI cB011、投入1元硬幣且押下飲料按鈕51Testing軟件測(cè)

19、試網(wǎng)0nmyLrmm u12、押下橙汁或啤酒的按鈕51Testing軟件測(cè)試網(wǎng)7+MljfR13、應(yīng)當(dāng)找5角零錢并且售貨機(jī)有零錢找'u%TA&w8FnT014、錢已付清51Testing軟件測(cè)試網(wǎng)3v5ADvIX51Testing軟件測(cè)試網(wǎng)2LC?1rS*c  51Testing軟件測(cè)試網(wǎng)/Px"i|x6|O    51Testing軟件測(cè)試網(wǎng)8b+H2UH             

20、;             圖3-2 售貨機(jī)因果圖51Testing軟件測(cè)試網(wǎng)*SZ1jG-W:KSw'V9L$a C-m/TPB03、轉(zhuǎn)換成判定表：51Testing軟件測(cè)試網(wǎng)J t2c+C5X-'W T'51Testing軟件測(cè)試網(wǎng)0 l%OxL +BVfb51Testing軟件測(cè)試網(wǎng)$_X%.Yy7d kD4、在判定表中，陰影部分表示因違反約束條件的不可能出現(xiàn)的情況，刪去。第16列與第32列因什么動(dòng)作也沒做，也刪去。最后可根據(jù)剩下的16列作為確定

21、測(cè)試用例的依據(jù)。)%f ;m:r0"ke$K:T FjILs u N03.3實(shí)例三)MaE3f,TI|bU051Testing軟件測(cè)試網(wǎng)J#V$z7w)C6k)oNextData函數(shù)的精簡(jiǎn)決策表p,tan.O:(t s9re E0M1月份： 每月有30天51Testing軟件測(cè)試網(wǎng)(grG4EM2月份： 每月有31天， 12月除外51Testing軟件測(cè)試網(wǎng)P8zR9aM3月份： 2月2a m yw ;Ngk0M4月份：12月&A!u:Wdqq0D1日期：1<=日期<=27$k dS"Mt(G'L?0D2日期：28&f tc q6RO30

22、D3日期：2951Testing軟件測(cè)試網(wǎng)TME4u4OtD4日期：30'cW_XuvS2O1w:p+N:f0D5日期：3151Testing軟件測(cè)試網(wǎng)Hds _Q)j|Y1 年：年是閏年eg 0DJ,Pb0Y2 年：年不是閏年51Testing軟件測(cè)試網(wǎng))Mq"e f*kE輸入變量間存在大量邏輯關(guān)系的NextData決策表。9rWDFxHo&c5V06C#lS8Mn5G0分析這一段說明，列出原因（條件）和結(jié)果：51Testing軟件測(cè)試網(wǎng)%a,W0f$b(MBz6Pp3YA/D tk S+r0原因（條件）：51Testing軟件測(cè)試網(wǎng))i;R v,q%W/N.X&a

23、mp;J8RM1月份： 每月有30天+s4o6Njl0M2月份： 每月有31天， 12月除外%N0D#t(t1d z i|0M3月份： 2月51Testing軟件測(cè)試網(wǎng)7o8s7F-C1_QkK$u*a'w)M4月份：12月51Testing軟件測(cè)試網(wǎng)#K+xY8tD?_D1日期：1<=日期<=27r/y.%e9v0D2日期：28,r!S6F;m4QC0D3日期：29D4日期：30v h*t"*M8?1o:f7m0D5日期：3151Testing軟件測(cè)試網(wǎng)k1|w4N GY1 年：年是閏年;*Z_(Z s1PbSO(g0Y2 年：年不是閏年51Testing軟件測(cè)

24、試網(wǎng)3.yX/sJ5d Q3J2AY w T a7tL7H;P1Dl0結(jié)果：-&df SH/p F$M0輸入的日期無效，例如：2008-4-30；2007-2-29；2008-2-30；2008-2-31；/Gytj)?+m$o0日前為1；B m;ygL%azZU0月份為1；,Kj;HDvPQJ0日期+1；(2f#z nb&WP5n0月份+1；51Testing軟件測(cè)試網(wǎng)Q_)Rm,C:h&'v;C年份+1；.ef%b)N051Testing軟件測(cè)試網(wǎng)&gWC _(E&q$tn   '|n+o3S01mS;u

25、Tb2p3V+d0   該圖沒有考慮無效日期的情況。av zzJ.P"V W-051Testing軟件測(cè)試網(wǎng)Nx uYl-B輸入條件過于龐大，個(gè)人覺得將其分成4部分利于編寫判定表，每個(gè)Mi對(duì)應(yīng)一張表。這里就不過多描述了。51Testing軟件測(cè)試網(wǎng)g2QbQCb_V這里大家可以嘗試用正交試驗(yàn)法解決。51Testing軟件測(cè)試網(wǎng)'e.c|_/'N51Testing軟件測(cè)試網(wǎng)'y#F$fl RS3.4實(shí)例四f)rf ?uE.K!u051Testing軟件測(cè)試網(wǎng)9J!L6O NJ以中國(guó)象棋中馬的走法為例子，具體說明：51Testing軟件測(cè)試網(wǎng)!

26、K;U5lB&mh;f1、如果落點(diǎn)在棋盤外，則不移動(dòng)棋子；:OC jc.lEY_,A02、如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型，則不移動(dòng)棋子；;?t s4 avp t9s03、如果落點(diǎn)處有自己方棋子，則不移動(dòng)棋子；Y/i7s)H+?5y+kCI04、如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子（絆馬腿），則不移動(dòng)棋子；51Testing軟件測(cè)試網(wǎng)i7X)wqf3xzn5、如果不屬于1-4條，且落點(diǎn)處無棋子，則移動(dòng)棋子；51Testing軟件測(cè)試網(wǎng)1sny9*u%m0|6、如果不屬于1-4條，且落點(diǎn)處為對(duì)方棋子 (非老將) ，則移動(dòng)棋子并除去對(duì)方棋子；_a/v | s Oh07、如果不屬于1-4條，且落點(diǎn)處為

27、對(duì)方老將，則移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，游戲結(jié)束。g$ht0 &Ko y_4u5?01、對(duì)說明進(jìn)行分析，得到原因和結(jié)果：51Testing軟件測(cè)試網(wǎng)Lu!mN2ts p51Testing軟件測(cè)試網(wǎng)1ZU)Q2uA-e o h$P9U原因：51Testing軟件測(cè)試網(wǎng)eU9T3cB*o1、落點(diǎn)在棋盤外；51Testing軟件測(cè)試網(wǎng)9k-W*I1Q)-2、不構(gòu)成日字；'|,C+ MKY03、落點(diǎn)有自方棋子；51Testing軟件測(cè)試網(wǎng))x)h*f%g9qS4、絆馬腿；&|:F6K1#u$e a.Q05、落點(diǎn)無棋子；%u.u0A3v06、落點(diǎn)為對(duì)方棋子；fQ$_J0fI3tMY07、落點(diǎn)為對(duì)方老將。51Testing軟件測(cè)試網(wǎng)2y-q9Oqv;D4X L zR結(jié)果：51Testing軟件測(cè)試網(wǎng)'K_%yPt0P21、不移動(dòng)；1YoHlF;s022、移動(dòng)；51Testing軟件測(cè)試網(wǎng)r3DLvCy+N-r23