因果圖判斷表

軟件測試基礎(chǔ)之白話測試設(shè)計 -判定表

Definition

-定義是分析和表達多邏輯條件下執(zhí)行不同操作的情況的工具1.2.3.4.列出問題所有的條件條件樁列出問題規(guī)定可能采取的動作動作樁列出針對左列條件的取值條件項列出在條件項的各種取值情況下應(yīng)該采取的動作動作項問題要求：”……對功率大于50馬力的機器、維修記錄不全或已運行10年以上的機器，應(yīng)給予優(yōu)先的維修處理……”。這里假定，“維修記錄不全”和“優(yōu)先維修處理”均已在別處有更嚴格的定義。請建立判定表經(jīng)典問題確定規(guī)則的個數(shù)

這里有3個條件，每個條件有兩個取值，故應(yīng)有2*2*2=8種規(guī)則。步驟1步驟2列出條件樁和動作樁步驟3填入條件項，填入動作樁和動作項步驟3合并項因果圖法利用圖解法分析輸入的各種組合情況得出判定表因果關(guān)系因果圖中使用了簡單的邏輯符號，以直線聯(lián)接左右結(jié)點。左結(jié)點表示輸入狀態(tài)（或稱原因），右結(jié)點表示輸出狀態(tài)（或稱結(jié)果）可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。因果關(guān)系四種關(guān)系約束約束排他性約束排他性約束：各個原因之間不能同時為真，但可以同時為假。舉個例子，小明同學(xué)不可能同時屬于A班和B班，但可能既不是A班的，也不是B班的，而是C班的。包含性約束包含性約束：各個原因中總有一個為真。即可以同時為真，但不可以同時為假。舉個例子，支付寶買家付款時，有個輸入條件（既原因）是余額支付、網(wǎng)銀支付，買家可以選擇單獨余額支付或者單獨網(wǎng)銀支付，也可以同時選擇余額支付和網(wǎng)銀支付2種方式。但是不可以選擇不支付。必要性約束必要性約束：當原因a為真時，原因b必須同時為真；但是原因b為真時，原因a既可以為真，也可以為假。舉數(shù)字證書的例子：現(xiàn)有的業(yè)務(wù)規(guī)則下，如果申請了數(shù)字證書（原因a），那么該用戶必然通過了支付寶認證（原因b）。反之，如果用戶通過了支付寶認證，那么不一定申請了數(shù)字證書（a）。唯一性約束唯一性約束：有且只有原因a和原因b中的一個為真。非此即彼，不存在第三種情況。舉例來說，人的性別不是男，就是女，不會存在既不是男也不是女的人。結(jié)果約束掩碼標記（結(jié)果約束）：如果結(jié)果b為真，那么結(jié)果a一定為假，如果結(jié)果b為假，則結(jié)果a的狀態(tài)不定。還拿支付寶來舉例子，先給出兩個結(jié)果：安全控件運行正常（a），無法輸入登陸密碼（b）。如果無法輸入登陸密碼，那么可以判斷是安全控件沒有正常運行，反過來，如果可以輸入登陸密碼，則不能確定安全控件一定工作正常，有可能是用了FireFox瀏覽器訪問Alipay的。使用因果圖設(shè)計測試用例的步驟1.分析需求閱讀需求文檔，如果UserCase很復(fù)雜，盡量將它分解成若干個簡單的部分。這樣做的好處是，不必在一次處理過程中考慮所有的原因。沒有固定的流程說明究竟分解到何種程度才算簡單，需要測試人員根據(jù)自己的經(jīng)驗和業(yè)務(wù)復(fù)雜度具體分析。2.確定原因和結(jié)果在每個已經(jīng)分解好的塊中，找出哪些是原因，哪些是結(jié)果。并且把原因和結(jié)果分別畫出來。原因放在一列，結(jié)果放在一列。如下圖所示。3.確定邏輯關(guān)系繼續(xù)分析需求文檔，找出原因和結(jié)果之間的關(guān)系，用邏輯運算符標出。4.確定約束關(guān)系繼續(xù)分析需求，找出原因和原因、結(jié)果與結(jié)果之間的約束限制，用上面說的約束關(guān)系標出。5.把因果圖轉(zhuǎn)換為決策表給每個原因分別取真和假二種狀態(tài)，用0和1表示。畫一個有限項決策表，列出所有狀態(tài)的狀態(tài)組合。包含3個原因、2個結(jié)果的有限項決策表如下。6.根據(jù)原因給出結(jié)果上面的決策表中，不一定每個原因的狀態(tài)組合都是有效的。要根據(jù)因果圖中的約束條件，去掉不可能出現(xiàn)的組合，從決策表中標記出來。并給出每個可能的原因組合對應(yīng)的結(jié)果。

某軟件規(guī)格說明書包含這樣的要求：第一列字符必須是A或B，第二列字符必須是一個數(shù)字，在此情況下進行文件的修改，但如果第一列字符不正確，則給出信息L；如果第二列字符不是數(shù)字，則給出信息M。案例原因：

1——第一列字符是A；

2——第一列字符是B；

3——第二列字符是一數(shù)字。

結(jié)果：

21——修改文件；

22——給出信息L；

23——給出信息M。原因結(jié)果因果圖判定表練習(xí)題某銷售系統(tǒng)的“供貨折扣計算模塊”，采用如下規(guī)則計算供貨折扣：當客戶為批發(fā)型企業(yè)時，若訂貨數(shù)大于50件，發(fā)貨距離不超過50KM，則折扣率為15%