因果圖分析法實(shí)例講解稻谷書(shū)苑

1、 因果圖分析法： 前面介紹的等價(jià)類劃分方法和邊界值分析方法，都是著重考慮輸入條件，但未考慮輸入條件之間的聯(lián)系, 相互組合等?？紤]輸入條件之間的相互組合，可能會(huì)產(chǎn)生一些新的情況。但要檢查輸入條件的組合不是一件容易的事情，即使把所有輸入條件劃分成等價(jià)類，他們之間的組合情況也相當(dāng)多。因此必須考慮采用一種適合于描述對(duì)于多種條件的組合，相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)考慮設(shè)計(jì)測(cè)試用例。這就需要利用因果圖（邏輯模型）。 因果圖方法最終生成的就是判定表，它適合于檢查程序輸入條件的各種組合情況。 因果圖中使用了簡(jiǎn)單的邏輯符號(hào)，以直線聯(lián)接左右結(jié)點(diǎn)。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）。 ci表

2、示原因，通常置于圖的左部；ei表示結(jié)果，通常在圖的右部。ci和ei均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。 因果圖概念關(guān)系4種符號(hào)分別表示了規(guī)格說(shuō)明中向4種因果關(guān)系。如上圖所示。恒等：若ci是1，則ei也是1；否則ei為0。非：若ci是1，則ei是0；否則ei是1?；颍喝鬰1或c2或c3是1，則ei是1；否則ei為0?！盎颉笨捎腥我鈧€(gè)輸入。與：若c1和c2都是1，則ei為1；否則ei為0?！芭c”也可有任意個(gè)輸入。因果圖概念-約束輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。例如, 某些輸入條件本身不可能同時(shí)出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中,用特定的符號(hào)標(biāo)明這些約束

3、。 a.輸入條件的約束有以下4類：   e約束（異）：a和b中至多有一個(gè)可能為1，即a和b不能同時(shí)為1。   i約束（或）：a、b和c中至少有一個(gè)必須是1，即 a、b 和c不能同時(shí)為0。   o約束（唯一）；a和b必須有一個(gè)，且僅有1個(gè)為1。   r約束（要求）：a是1時(shí)，b必須是1，即不可能a是1時(shí)b是0。b.輸出條件約束類型   輸出條件的約束只有m約束（強(qiáng)制）：若結(jié)果a是1，則結(jié)果b強(qiáng)制為0。一、 分析中國(guó)象棋中走馬的實(shí)際情況（下面未注明的均指的是對(duì)馬的說(shuō)明） 1、如果落點(diǎn)在棋盤

4、外，則不移動(dòng)棋子；2、如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型，則不移動(dòng)棋子；3、如果落點(diǎn)處有自己方棋子，則不移動(dòng)棋子；4、如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子（絆馬腿），則不移動(dòng)棋子；5、如果不屬于1-4條，且落點(diǎn)處無(wú)棋子，則移動(dòng)棋子；6、如果不屬于1-4條，且落點(diǎn)處為對(duì)方棋子(非老將)，則移動(dòng)棋子并除去對(duì)方棋子；7如果不屬于1-4條，且落點(diǎn)處為對(duì)方老將，則移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，游戲結(jié)束。 二、 根據(jù)分析明確原因和結(jié)果 原因： 1、 落點(diǎn)在棋盤外； 2、 落點(diǎn)與起點(diǎn)不構(gòu)成日字； 3、 落點(diǎn)處為自己方棋子； 4、 落點(diǎn)方向的鄰近交叉點(diǎn)有棋子； 5、 不屬于1-4條且落點(diǎn)處無(wú)棋子； 6、 不屬于1-4條且落點(diǎn)處為對(duì)方棋子（非老將）； 7、 不屬于1-4條且落點(diǎn)處為對(duì)方老將。 結(jié)果：