因果圖判斷表

軟件測試基礎之白話測試設計 -判定表

Definition

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

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

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

1——第一列字符是A；

2——第一列字符是B；

3——第二列字符是一數字。

結果：

21——修改文件；

22——給出信息L；

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