01

開始之前

前兩篇（等價類的生成和分析、邊界值分析）介紹的等價類和邊界值法通常只分析單個輸入條件本身，不會涉及多個條件的組合，特別是不會考慮各輸入條件相互之間的邏輯制約關系。如果在測試設計時需要考慮多個輸入條件之間的組合，以及配合輸入條件的多個觸發(fā)動作，以得出不同邏輯制約情況下的不同結果，在這種復雜情況下測試設計通常會選用因果圖法。

因果圖法會對需求進行內在邏輯上的深入分析，但對于分析結果的測試用例生成，不能很直觀的對測試設計人員給以體現(xiàn)，需要使用判定表結合起來做測試用例的設計。

02

因果圖法的常用概念

2.1 因果圖法的測試設計步驟

使用因果圖法進行測試分析時，通常都是遇到需求說明中邏輯關系復雜的情況，使用因果圖法分析的步驟通常如下：

1. 對需求進行梳理，劃分出原因及輸入條件，處理過程如何進行即中間狀態(tài)或執(zhí)行動作，得出的結果即輸出條件。

2. 將上個步驟分析出的所有輸入條件，中間狀態(tài)或執(zhí)行動作，輸出條件通過連線連接起來，形成“因果圖”。

3. 使用因果圖法的標準符號，在上個步驟的“因果圖”上標明從原因到結果間的邏輯約束關系，這些符號也標明了原因結果的條件組合關系在某些情況下是不會發(fā)生的。

4. 使用判定表將因果圖的每個組合逐個列出來。

5. 使用判定表法將表中每一列組合設計成一條測試用例。

2.2 因果圖法的標記符號

繪制因果圖時會使用統(tǒng)一的標記符號，以及標識方法。通常使用C表示原因及輸入條件，用E表示結果即輸出條件，各節(jié)點狀態(tài)用0表示不出現(xiàn)，用1表示出現(xiàn)。

原因結果關系的基本標識

原因和結果關系的基本標識有以下4種：

1. 恒等關系，表示原因C1出現(xiàn)時，則結果E1出現(xiàn)，原因C1不出現(xiàn)時，則結果E1不出現(xiàn)。

2. 非關系，表示原因C1出現(xiàn)時，則結果E1不出現(xiàn)，原因C1不出現(xiàn)時，則結果E1出現(xiàn)。

3. 或關系，表示多個原因C1、C2、C3等至少有一個出現(xiàn)時，結果E1出現(xiàn)，C1、C2、C3全部不出現(xiàn)時，結果E1不出現(xiàn)。

4. 與關系，表示多個原因C1、C2、C3等全部出現(xiàn)時，結果E1才會出現(xiàn)，C1、C2、C3只要有一個不出現(xiàn)時，結果E1就不出現(xiàn)。

條件間的邏輯關系標識

輸入和輸入，輸出和輸出間的邏輯約束關系分為5種：

1. 條件間的互斥關系，用“E”標識，表示條件C1、C2間邏輯互斥，不會同時成立，兩個條件最多有1個成立。

2. 條件間的包含關系，用“I”標識，表示多個條件C1、C2等中，必定至少有一條成立，沒有全部條件都不成立的情況。

3. 條件間的唯一關系，用“O”標識，表示多個條件C1、C2中有且僅有一條會成立，不會有全部不成立或者超過1條以上成立的情況。

4. 條件間的要求關系，用“R”標識，表示條件C1成立時，條件C2必須也成立。

5. 條件間的屏蔽關系，用“M”標識，屏蔽關系通常適用于結果輸出條件間的特定邏輯約束，表示條件E1為真時，E2必須是假；E1為假時，E2值不確定而不一定是真。