因果圖分析法實例講解-附帶象棋馬的走法

《因果圖分析法實例講解-附帶象棋馬的走法》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。

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

2、i表示原因，通常置于圖的左部；ei表示結(jié)果，通常在圖的右部。ci和ei均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。因果圖概念—關(guān)系4種符號分別表示了規(guī)格說明中向4種因果關(guān)系。如上圖所示。①恒等：若ci是1，則ei也是1；否則ei為0。②非：若ci是1，則ei是0；否則ei是1。③或：若c1或c2或c3是1，則ei是1；否則ei為0。“或”可有任意個輸入。④與：若c1和c2都是1，則ei為1；否則ei為0?！芭c”也可有任意個輸入。因果圖概念--約束輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。例如,某些輸入條件本身不可能同時出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖

3、中,用特定的符號標(biāo)明這些約束。A.輸入條件的約束有以下4類：??①E約束（異）：a和b中至多有一個可能為1，即a和b不能同時為1。??②I約束（或）：a、b和c中至少有一個必須是1，即a、b和c不能同時為0。??③O約束（唯一）；a和b必須有一個，且僅有1個為1。??④R約束（要求）：a是1時，b必須是1，即不可能a是1時b是0。B.輸出條件約束類型???輸出條件的約束只有M約束（強(qiáng)制）：若結(jié)果a是1，則結(jié)果b強(qiáng)制為0?！∫弧⒎治鲋袊笃逯凶唏R的實際情況（下面未注明的均指的是對馬的說明）1、如果落點在棋盤外，則不移動棋子；2、如果落點與起點不構(gòu)成日字型，則不移動棋子；3、如果落

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

5、老將?！　〗Y(jié)果：　　21、不移動棋子；　　22、移動棋子；　　23、移動棋子，并除去對方棋子；　　24、移動棋子，并提示戰(zhàn)勝對方，結(jié)束游戲。因果圖：