測(cè)試用例設(shè)計(jì)--因果圖方法

一。 方法簡(jiǎn)介

1.定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入條件的各種組合情況。

2.因果圖法產(chǎn)生的背景：

等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來可能出錯(cuò)的情況卻被忽視了。

如果在測(cè)試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來進(jìn)行測(cè)試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。

3.因果圖介紹

1） 4種符號(hào)分別表示了規(guī)格說明中向4種因果關(guān)系。

2） 因果圖中使用了簡(jiǎn)單的邏輯符號(hào)，以直線聯(lián)接左右結(jié)點(diǎn)。左結(jié)點(diǎn)表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)表示輸出狀態(tài)（或稱結(jié)果）。

3） Ci表示原因，通常置于圖的左部；ei表示結(jié)果，通常在圖的右部。Ci和ei均可取值0或1，0表示某狀態(tài)不出現(xiàn)，1表示某狀態(tài)出現(xiàn)。

4. 因果圖概念

1） 關(guān)系

① 恒等：若ci是1，則ei也是1；否則ei為0。

② 非：若ci是1，則ei是0；否則ei是1。

③ 或：若c1或c2或c3是1，則ei是1；否則ei為0?！盎颉笨捎腥我鈧€(gè)輸入。

④ 與：若c1和c2都是1，則ei為1；否則ei為0?！芭c”也可有任意個(gè)輸入。

2） 約束

輸入狀態(tài)相互之間還可能存在某些依賴關(guān)系，稱為約束。例如， 某些輸入條件本身不可能同時(shí)出現(xiàn)。輸出狀態(tài)之間也往往存在約束。在因果圖中，用特定的符號(hào)標(biāo)明這些約束。

A.輸入條件的約束有以下4類：

① E約束（異）：a和b中至多有一個(gè)可能為1，即a和b不能同時(shí)為1。

② I約束（或）：a、b和c中至少有一個(gè)必須是1，即 a、b 和c不能同時(shí)為0。

③ O約束（唯一）；a和b必須有一個(gè)，且僅有1個(gè)為1。

④ R約束（要求）：a是1時(shí)，b必須是1，即不可能a是1時(shí)b是0。

B.輸出條件約束類型

輸出條件的約束只有M約束（強(qiáng)制）：若結(jié)果a是1，則結(jié)果b強(qiáng)制為0。

5. 采用因果圖法設(shè)計(jì)測(cè)試用例的步驟：

1） 分析軟件規(guī)格說明描述中， 那些是原因（即輸入條件或輸入條件的等價(jià)類），那些是結(jié)果（即輸出條件）， 并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。

2） 分析軟件規(guī)格說明描述中的語(yǔ)義，找出原因與結(jié)果之間， 原因與原因之間對(duì)應(yīng)的關(guān)系，根據(jù)這些關(guān)系，畫出因果圖。

3） 由于語(yǔ)法或環(huán)境限制， 有些原因與原因之間，原因與結(jié)果之間的組合情況不可能出現(xiàn)，為表明這些特殊情況， 在因果圖上用一些記號(hào)表明約束或限制條件。

4） 把因果圖轉(zhuǎn)換為判定表。

5） 把判定表的每一列拿出來作為依據(jù)，設(shè)計(jì)測(cè)試用例。