因果圖實例講解

《因果圖實例講解》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在應用文檔-天天文庫。

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

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

3、51Testing軟件測試網(wǎng)2fh].B9y[vo7G7Q2.1圖例說明51Testing軟件測試網(wǎng)A4xR.?SG:s5XiS51Testin

4、g軟件測試網(wǎng)h"rb8Z2@)P0ZO"dV1、4種符號分別表示了規(guī)格說明中向4種因果關系。如圖2-1所示。%C-^.b"KvKKEA0??0}B!fv}F
G_$

5、051Testing軟件測試網(wǎng)hO:N
t%T5L?????????????????????????圖2-1因果圖關系51Testing軟件測試網(wǎng)p'gK$ecrD51Testing軟件測試網(wǎng)^v;P)

6、Sda6A2、因果圖中使用了簡單的邏輯符號，以直線聯(lián)接左右結點。左結點表示輸入狀態(tài)（或稱原因），右結點表示輸出狀態(tài)（或稱結果）。51Testing軟件測試網(wǎng)1o#to2[J.o:

7、RHj3、ci表示原因，通常置于圖的左部；ei表示結果，通常在圖的右部。ci和ei均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。51Testing軟件測試網(wǎng))e!{J_#AbN3o0x`x2b(r5gT%P02.2因果圖概念ksi$S4x3jw0&A;HHM&K{xm01、關系（圖2-1因果圖關系）*v:k4VCjRd*p0????①恒等：若ci是1，則ei也是1；否則ei為0。:XO:e#uz-qO0????②非：若ci是1，則ei是0；否則ei是1。x3[0d9I
m$V
e+wW0????③或：若c1或c2或c3是1

8、，則ei是1；否則ei為0?！盎颉笨捎腥我鈧€輸入。t4~?Y*p0????④與：若c1和c2都是1，則ei為1；否則ei為0?！芭c”也可有任意個輸入。Ac-`8[e)c6B7H0+O0gM6D"D(h02、約束N?zu7?^;Z)v/@0??輸入狀態(tài)相互之間還可能存在某些依賴關系，稱為約束。例如，某些輸入條件本身不可能同時出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中，用特定的符號標明這些約束。如圖2-2所示。51Testing軟件測試網(wǎng)xW7V!s(a_v51Testing軟件測試網(wǎng)c0zk{lmha;Q
Y0?????????????????

9、????????????2Y?rOjI0??????????????????????????圖2-2因果圖約束51Testing軟件測試網(wǎng)U5tvI.Wj51Testing軟件測試網(wǎng)%{*iD6Ga*E^(rCA.輸入條件的約束有以下4類：?%c`R@,]@^
Pj0①E約束（異）：a和b中至多有一個可能為1，即a和b不能同時為1。?lhi"A'z?0②I約束（或）：a、b和c中至少有一個必須是1，即a、b和c不能同時為0。?51Testing軟件測試網(wǎng)w7_N'y_IR]-v③O約束（唯一）；a和b必須有一個，且僅有1個為1。?51Testing

10、軟件測試網(wǎng)
R4ySqE,C`p9]④R約束（要求）：a是1時，b必須是1，即不可能a是1時b是0。51Testing軟件測試網(wǎng)ByoD]VR51Testing軟件測試網(wǎng)3v}i6MCa,d3mB.輸出條件約束類型51Testing軟件測試網(wǎng)YhX2qo
b)L輸出條件的約束只有M約束（強制）：若結果a是1，則結果b強制為0。51Testing軟件測試網(wǎng)2j)mp0RL.O1E51Testing軟件測試網(wǎng)tC4hfF