《軟件測(cè)試》課件第3章

項(xiàng)目三判斷輸入字符串格式程序的測(cè)試3.1問題情境3.2問題分析3.3任務(wù)設(shè)計(jì)與實(shí)施3.4知識(shí)總結(jié)3.5應(yīng)用實(shí)踐

程序的規(guī)格說明要求：輸入的第一個(gè)字符必須是“

#

”或“

*

”，第二個(gè)字符必須是一個(gè)數(shù)字，在此情況下進(jìn)行文件的修改；如果第一個(gè)字符不是“

#

”或“

*

”，則給出信息N；如果第二個(gè)字符不是數(shù)字，則給出信息M。3.1問題情境

將輸入和輸出用原因和結(jié)果來代替：

原因：c1——第一個(gè)字符是“

#

”

c2——第一個(gè)字符是“

*

”

c3——第二個(gè)字符是數(shù)字

結(jié)果：e1——給出信息N

e2——修改文件

e3——給出信息M3.2問題分析

步驟1：分析程序中的原因和結(jié)果，并畫出因果圖。

將原因和結(jié)果用因果圖連接起來，如圖3-1和圖3-2所示(因果圖介紹見3.4節(jié))。3.3任務(wù)設(shè)計(jì)與實(shí)施

圖3-1因果圖表示

圖3-2具有E約束的因果圖表示步驟2：設(shè)計(jì)該程序的測(cè)試用例。

將因果圖轉(zhuǎn)換成決策表，如表3-1所示。表3-1根據(jù)因果圖建立的決策表與測(cè)試用例可以設(shè)計(jì)出6個(gè)測(cè)試用例：

測(cè)試用例1：輸入數(shù)據(jù)——#3；預(yù)期輸出——修改文件。

測(cè)試用例2：輸入數(shù)據(jù)——#A；預(yù)期輸出——給出信息M。

測(cè)試用例3：輸入數(shù)據(jù)——*6；預(yù)期輸出——修改文件。

測(cè)試用例4：輸入數(shù)據(jù)——*B；預(yù)期輸出——給出信息M。

測(cè)試用例5：輸入數(shù)據(jù)——A1；預(yù)期輸出——給出信息N。

測(cè)試用例6：輸入數(shù)據(jù)——GT；預(yù)期輸出——給出信息N和M。

步驟3：測(cè)試程序并書寫測(cè)試結(jié)果報(bào)告。

輸入上述測(cè)試用例，運(yùn)行程序，記錄結(jié)果并分析，寫出測(cè)試報(bào)告。

3.4.1因果圖法產(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.4知識(shí)總結(jié)3.4.2因果圖法的概念

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

因果圖法用四種符號(hào)分別表示規(guī)格說明中的4種因果關(guān)系，如圖3-3所示。

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

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

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

(2)非：若ci是1，則ei是0；否則ei是1。

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

(4)與：若c1和c2都是1，則ei為1；否則ei為0?！芭c”也可有任意個(gè)輸入。3.4.3因果圖中的約束

在實(shí)際問題中輸入狀態(tài)之間、輸出狀態(tài)之間可能存在某些依賴關(guān)系，稱為“約束”，例如某些輸入條件不可能同時(shí)出現(xiàn)。在因果圖中可以用特定的符號(hào)標(biāo)明這些約束。

1)輸入條件約束類型

輸入條件的約束有以下四類：

(1)

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

(2)

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

(3)

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

(4)

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

2)輸出條件約束類型

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

因果圖中用來表示約束關(guān)系的約束符號(hào)如圖3-4所示。

圖3-4因果圖約束符號(hào)3.4.4采用因果圖法設(shè)計(jì)測(cè)試用例的步驟

利用因果圖法最終生成的是決策表。利用因果圖生成測(cè)試用例的基本步驟如下：

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

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

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

(4)把因果圖轉(zhuǎn)換為決策表。

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

因果圖法有以下幾個(gè)優(yōu)點(diǎn)：

(1)考慮到了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系。

(2)能夠幫助測(cè)試人員按照一定的步驟，高效率地開發(fā)測(cè)試用例。

(3)因果圖法是將自然語言規(guī)格說明轉(zhuǎn)化成形式語言規(guī)格說明的一種嚴(yán)格的方法，可以指出規(guī)格說明書中存在的不完整性和二義性。

有一個(gè)處理單價(jià)為5角錢的飲料的自動(dòng)售貨機(jī)軟件測(cè)試用例的設(shè)計(jì)。其規(guī)格說明如下：若投入5角錢或1元錢的硬幣，按下【橙汁】或【啤酒】的按鈕，則相應(yīng)的飲料就送出來。若售貨機(jī)沒有零錢找，則顯示【零錢找完】的紅燈會(huì)點(diǎn)亮，這時(shí)投入1元硬幣并按下按鈕后，飲料不送出來，但1元硬幣會(huì)退出來；若有零錢找，則顯示【零錢找完】的紅燈滅，在送出飲料的同時(shí)退還5角硬幣。3.5應(yīng)用實(shí)踐

(1)分析這一段說明，列出原因和結(jié)果。

原因：

①—售貨機(jī)有零錢找；

②—投入1元硬幣；

③—投入5角硬幣；

④—按下【橙汁】按鈕；

⑤—按下【啤酒】按鈕。

(2)畫出因果圖，如圖3-5所示。所有原因節(jié)點(diǎn)列在左邊，所有結(jié)果節(jié)點(diǎn)列在右邊。建立中間節(jié)點(diǎn)，表示處理的中間狀態(tài)。中間節(jié)點(diǎn)是：

—投入1元硬幣且按下飲料按鈕；

—按下【橙汁】或【啤酒】按鈕；

—應(yīng)當(dāng)找5角零錢并且售貨機(jī)有零錢找；

—錢已付清。結(jié)果：

—售貨機(jī)〖零錢找完〗燈亮；

—退還1元硬幣；

—退還5角硬幣；

—送出橙汁飲料；