1、測試用例設計方法 之 因果圖,引言,等價類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關系。這樣雖然各種輸入條件可能出錯的情況已經測試到了，但多個輸入條件組合起來可能出錯的情況卻被忽視了。 如果在測試時必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應產生多個動作的形式來進行測試用例的設計，這就需要利用因果圖。,因果圖,因果圖法是一種利用圖解法分析輸入的各種組合情況，從而設計測試用例的方法，它適合于檢查程序輸入條件的各種組合情況。,因果圖-因果關系,1、因果關系 4種符號分別表示了規(guī)格

2、說明中向4種因果關系 說明： 因果圖中使用了簡單的邏輯符號，以直線聯(lián)接左右結點。左結點表示輸入狀態(tài)（或稱原因），右結點表示輸出狀態(tài)（或稱結果）。 C1表示原因，通常置于圖的左部；e1表示結果，通常在圖的右部。C1和e1均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。,因果圖-因果關系,1）恒等關系：若c1是1，則e1也是1；否則e1為0 2)非：若c1是1，則e1是0；否則e1是1,c1,e1,c1,e1,因果圖-因果關系,3）或（V）：若c1或c2或c3是1，則e1是1；否則e1為0，“或”可有任意個輸入,c1,c2,c3,e1,因果圖-因果關系,4）與（）：若c1和c2都是1，則e1

3、為1；否則e1為0,“與”也可有任意個輸入,c1,c2,e1,因果圖-約束,2、約束 輸入狀態(tài)相互之間還可能存在某些依賴關系，稱為約束。例如, 某些輸入條件本身不可能同時出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中,用特定的符號標明這些約束。4）與（）：若c1和c2都是1，則e1為1；否則e1為0,“與”也可有任意個輸入,因果圖-約束,1）輸入條件約束：異E、或I、唯一O、要求R,因果圖-約束,E約束（異）：a和b中至多有一個可能為1，即a和b不能同時為1。 I約束（或）：a、b和c中至少有一個必須是1，即 a、b 和c不能同時為0。 O約束（唯一）；a和b必須有一個，且僅有1個為1。 R約束

4、（要求）：a是1時，b必須是1，即不可能a是1時b是0。,因果圖-約束,2）輸出條件約束：輸出條件的約束只有M約束（強制）：若結果a是1，則結果b強制為0。,因果圖,采用因果圖法設計測試用例的步驟： 1) 分析軟件規(guī)格說明描述中, 那些是原因(即輸入條件或輸入條件的等價類),那些是結果(即輸出條件), 并給每個原因和結果賦予一個標識符。 2) 分析軟件規(guī)格說明描述中的語義，找出原因與結果之間, 原因與原因之間對應的關系，根據(jù)這些關系,畫出因果圖。 3) 由于語法或環(huán)境限制, 有些原因與原因之間,原因與結果之間的組合情況不可能出現(xiàn)，為表明這些特殊情況, 在因果圖上用一些記號表明約束或限制條件。

5、4) 把因果圖轉換為判定表。 5) 把判定表的每一列拿出來作為依據(jù),設計測試用例。,測試用例設計方法 之 判定表,判定表,1、判定表： 判定表是分析和表達多邏輯條件下執(zhí)行不同操作的情況的工具。 2、優(yōu)點： 能夠將復雜的問題按照各種可能的情況全部列舉出來，簡明并避免遺漏。因此，利用判定表能夠設計出完整的測試用例集合。 在一些數(shù)據(jù)處理問題當中，某些操作的實施依賴于多個邏輯條件的組合，即：針對不同邏輯條件的組合值，分別執(zhí)行不同的操作。判定表很適合于處理這類問題。,判定表,3、組成：,1) 條件樁（Condition Stub）：列出了問題得所有條件。通常認為列出的條件的次序無關緊要。 2) 動作樁（

6、Action Stub）：列出了問題規(guī)定可能采取的操作。這些操作的排列順序沒有約束。 3) 條件項（Condition Entry）：列出針對它左列條件的取值。在所有可能情況下的真假值。 4) 動作項（Action Entry）：列出在條件項的各種取值情況下應該采取的動作。,判定表,4、規(guī)則及規(guī)則合并 規(guī)則：任何一個條件組合的特定取值及其相應要執(zhí)行的操作稱為規(guī)則。在判定表中貫穿條件項和動作項的一列就是一條規(guī)則。顯然,判定表中列出多少組條件取值,也就有多少條規(guī)則,既條件項和動作項有多少列。 化簡：就是規(guī)則合并有兩條或多條規(guī)則具有相同的動作，并且其條件項之間存在著極為相似的關系。,判定表,5、規(guī)則

7、合并舉例 如下圖左端，兩規(guī)則動作項一樣，條件項類似，在1、2條件項分別取Y、N時，無論條件3取何值，都執(zhí)行同一操作。即要執(zhí)行的動作與條件3無關。于是可合并?！啊北硎九c取值無關。,判定表,6、判定表的建立步驟：（根據(jù)軟件規(guī)格說明） 1) 確定規(guī)則的個數(shù)。假如有n個條件。每個條件有兩個取值（0,1），有 2n種規(guī)則。 2) 列出所有的條件樁和動作樁。 3) 填入條件項。 4) 填入動作項。等到初始判定表。 5) 簡化.合并相似規(guī)則（相同動作）。,使用各種測試方法的綜合策略,1) 在任何情況下都必須使用邊界值分析方法，經驗表明用這種方法設計出測試用例發(fā)現(xiàn)程序錯誤的能力最強?！?2) 必要時用等價類劃分方法補充一些測試用例。 3) 用錯