軟件測(cè)試第四章--因果圖

1、因果圖法因果圖法因果圖法簡(jiǎn)介因果圖法簡(jiǎn)介因果圖因果圖因果圖法測(cè)試舉例因果圖法測(cè)試舉例因果圖法的簡(jiǎn)介因果圖法的簡(jiǎn)介l 因果圖法產(chǎn)生的背景因果圖法產(chǎn)生的背景： 等價(jià)類劃分法和邊界值分析方法都是著重考慮輸入條件，但沒(méi)有考慮輸入條件的各種組合、輸入條件之間的相互制約關(guān)系。這樣雖然各種輸入條件可能出錯(cuò)的情況已經(jīng)測(cè)試到了，但多個(gè)輸入條件組合起來(lái)可能出錯(cuò)的情況卻被忽視了。 如果在測(cè)試時(shí)必須考慮輸入條件的各種組合，則可能的組合數(shù)目將是天文數(shù)字，因此必須考慮采用一種適合于描述多種條件的組合、相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)進(jìn)行測(cè)試用例的設(shè)計(jì)，這就需要利用因果圖（邏輯模型）。 因果圖法的簡(jiǎn)介因果圖法的簡(jiǎn)介（續(xù)）（續(xù)）l

2、因果圖法是基于這樣的一種思想因果圖法是基于這樣的一種思想：一些程序的功能可以用判定表（或稱決策表）的形式來(lái)表示，并根據(jù)輸入條件的組合情況規(guī)定相應(yīng)的操作。l 因果圖法的定義：因果圖法的定義：是一種利用圖解法分析輸入的各種組合情況，從而設(shè)計(jì)測(cè)試用例的方法，它適合于檢查程序輸入條件的各種組合情況。l 采用因果圖法設(shè)計(jì)測(cè)試用例的步驟：采用因果圖法設(shè)計(jì)測(cè)試用例的步驟：（1）根據(jù)程序規(guī)格說(shuō)明書(shū)描述，分析并確定因（輸入條件）和果（輸出結(jié)果或程序狀態(tài)的改變），畫(huà)出因果圖。（2）將得到的因果圖轉(zhuǎn)換為判定表。（3）為判定表中每一列所表示的情況設(shè)計(jì)一個(gè)測(cè)試用例。因果圖法的簡(jiǎn)介因果圖法的簡(jiǎn)介（續(xù)）（續(xù)）l 使用因果圖

3、法的優(yōu)點(diǎn)使用因果圖法的優(yōu)點(diǎn)：（1）考慮到了輸入情況的各種組合以及各個(gè)輸入情況之間的相互制約關(guān)系。（2）能夠幫助測(cè)試人員按照一定的步驟，高效率的開(kāi)發(fā)測(cè)試用例。（3）因果圖法是將自然語(yǔ)言規(guī)格說(shuō)明轉(zhuǎn)化成形式語(yǔ)言規(guī)格說(shuō)明的一種嚴(yán)格的方法，可以指出規(guī)格說(shuō)明存在的不完整性不完整性和二義性和二義性。因果圖因果圖l 因果圖中用來(lái)表示4種因果關(guān)系的基本符號(hào)：恒等 非或與因果圖因果圖（續(xù)）（續(xù)）l 因果圖中的4種基本關(guān)系 在因果圖的基本符號(hào)中，圖中的左結(jié)點(diǎn)ci表示輸入狀態(tài)（或稱原因），右結(jié)點(diǎn)ei表示輸出狀態(tài)（或稱結(jié)果）。ci 與 ei 取值0或1，0表示某狀態(tài)不出現(xiàn)，1則表示某狀態(tài)出現(xiàn)。 恒等：若 c1 是1，則

4、 e1 也為1，否則 e1 為0。 非：若 c1 是1，則 e1 為0，否則e1為1。 或：若 c1 或 c2 或 c3 是1，則 e1 為1，否則 e1 為0。 與：若 c1 和 c2 都是1，則 e1 為1，否則 e1 為0。因果圖因果圖（續(xù)）（續(xù)）因果圖中的約束因果圖中的約束l 在實(shí)際問(wèn)題中輸入狀態(tài)相互之間、輸出狀態(tài)相互之間可能存在某些依賴關(guān)系，稱為“約束”。l 對(duì)于輸入條件的約束有E、I、O、R四種約束，對(duì)于輸出條件的約束只有M約束。因果圖因果圖（續(xù)）（續(xù)）異El 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：E約束(異)：a和b中最多有一個(gè)可能為1，即a和b不能同時(shí) 為1。因果圖因果圖（續(xù)）（

5、續(xù)）或Il 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：I 約束(或)：a、b、c中至少有一個(gè)必須為1，即 a、b、c不能同時(shí)為0。因果圖因果圖（續(xù)）（續(xù)）唯一Ol 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：O約束(唯一)：a和b必須有一個(gè)且僅有一個(gè)為1。因果圖因果圖（續(xù)）（續(xù)）R要求l 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：R約束(要求)：a是1時(shí)，b必須是1，即a為1時(shí)，b不能為0。因果圖因果圖（續(xù)）（續(xù)）M強(qiáng)制l 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：M約束(強(qiáng)制)：若結(jié)果a為1，則結(jié)果b強(qiáng)制為0。因果圖因果圖（續(xù)）（續(xù)）異E或I唯一OR要求M強(qiáng)制l 因果圖中用來(lái)表示約束關(guān)系的約束符號(hào)：因果圖因果圖（續(xù)）

6、（續(xù)）l 因果圖法最終生成的是決策表。利用因果圖生成測(cè)試用例的基本步驟如下：（1）分析軟件規(guī)格說(shuō)明中哪些是原因（即輸入條件或輸入條件的等價(jià)類），哪些是結(jié)果（即輸出條件），并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符。（2）分析軟件規(guī)格說(shuō)明中的語(yǔ)義，找出原因與結(jié)果之間、原因與原因之間對(duì)應(yīng)的關(guān)系， 根據(jù)這些關(guān)系畫(huà)出因果圖。（3）由于語(yǔ)法或環(huán)境的限制，有些原因與原因之間、原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號(hào)表明約束或限制條件。（4）把因果圖轉(zhuǎn)換為決策表。（5）根據(jù)決策表中的每一列設(shè)計(jì)測(cè)試用例。3.6.3 因果圖法測(cè)試舉例因果圖法測(cè)試舉例n實(shí)例實(shí)例 用因果圖法測(cè)試以下程序。

7、用因果圖法測(cè)試以下程序。 程序的規(guī)格說(shuō)明要求：輸入的第一個(gè)字符必須是程序的規(guī)格說(shuō)明要求：輸入的第一個(gè)字符必須是#或或*，第二個(gè)字符必須是一個(gè)數(shù)字，此情況下進(jìn)行文件的修改；如第二個(gè)字符必須是一個(gè)數(shù)字，此情況下進(jìn)行文件的修改；如果第一個(gè)字符不是果第一個(gè)字符不是#或或*，則給出信息，則給出信息N，如果第二個(gè)字符不，如果第二個(gè)字符不是數(shù)字，則給出信息是數(shù)字，則給出信息M。解題步驟：解題步驟：（1）分析程序的規(guī)格說(shuō)明，列出原因和結(jié)果。）分析程序的規(guī)格說(shuō)明，列出原因和結(jié)果。（2）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約）找出原因與結(jié)果之間的因果關(guān)系、原因與原因之間的約束關(guān)系，畫(huà)出因果圖。束關(guān)系，畫(huà)

8、出因果圖。（3）將因果圖轉(zhuǎn)換成決策表。）將因果圖轉(zhuǎn)換成決策表。（4）根據(jù)（）根據(jù)（3）中的決策表，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)和預(yù)期）中的決策表，設(shè)計(jì)測(cè)試用例的輸入數(shù)據(jù)和預(yù)期輸出。輸出。因果圖法測(cè)試舉例因果圖法測(cè)試舉例（續(xù)）（續(xù)）c1c2c3e110e2e3E因果圖法測(cè)試舉例因果圖法測(cè)試舉例（續(xù)）（續(xù)）12345678條件：條件：C1C2C310111110101110010111010100100000動(dòng)作：動(dòng)作：e1e2e3不可能不可能測(cè)試用例測(cè)試用例#3#A*6*BA1GT規(guī)則選項(xiàng)因果圖法測(cè)試舉例因果圖法測(cè)試舉例（續(xù)）（續(xù)）練習(xí)練習(xí)l 例如，有一個(gè)處理單價(jià)為例如，有一個(gè)處理單價(jià)為5角錢的飲料的

9、自動(dòng)售貨機(jī)軟件測(cè)試角錢的飲料的自動(dòng)售貨機(jī)軟件測(cè)試用例的設(shè)計(jì)。其規(guī)格說(shuō)明如下：用例的設(shè)計(jì)。其規(guī)格說(shuō)明如下：n 若投入若投入5角錢或角錢或1元錢的硬幣，押下元錢的硬幣，押下橙汁橙汁或或啤酒啤酒的的按鈕，則相應(yīng)的飲料就送出來(lái)。按鈕，則相應(yīng)的飲料就送出來(lái)。n 若售貨機(jī)沒(méi)有零錢找，則一個(gè)顯示若售貨機(jī)沒(méi)有零錢找，則一個(gè)顯示零錢找完零錢找完的紅燈亮的紅燈亮，這時(shí)在投入，這時(shí)在投入1元硬幣并押下按鈕后，飲料不送出來(lái)而且元硬幣并押下按鈕后，飲料不送出來(lái)而且1元硬幣也退出來(lái)；元硬幣也退出來(lái)；n 若有零錢找，則顯示若有零錢找，則顯示零錢找完零錢找完的紅燈滅，在送出飲料的紅燈滅，在送出飲料的同時(shí)退還的同時(shí)退還5角硬幣

10、。角硬幣?！眑 (1)分析這一段說(shuō)明，列出原因和結(jié)果分析這一段說(shuō)明，列出原因和結(jié)果:n 1. 售貨機(jī)有零錢找售貨機(jī)有零錢找n 2. 投入投入1元硬幣元硬幣 n 3. 投入投入5角硬幣角硬幣n 4. 押下橙汁按鈕押下橙汁按鈕n 5. 押下啤酒按鈕押下啤酒按鈕l (2)建立中間結(jié)點(diǎn)，表示處理中間狀態(tài)建立中間結(jié)點(diǎn)，表示處理中間狀態(tài)n 11. 投入投入1元硬幣且押下飲料按鈕元硬幣且押下飲料按鈕n 12. 押下押下橙汁橙汁或或啤酒啤酒的按鈕的按鈕n 13. 應(yīng)當(dāng)找應(yīng)當(dāng)找5角零錢并且售貨機(jī)有零錢找角零錢并且售貨機(jī)有零錢找n 14. 錢已付清錢已付清l (3)結(jié)果：結(jié)果： n 21. 售貨機(jī)售貨機(jī)零錢找完零

11、錢找完燈亮燈亮 n 22. 退還退還1元硬幣元硬幣 n 23. 退還退還5角硬幣角硬幣n 24. 送出橙汁飲料送出橙汁飲料n 25. 送出啤酒飲料送出啤酒飲料l (4) 畫(huà)出因果圖。所有原因結(jié)點(diǎn)列在左邊，所有結(jié)果結(jié)點(diǎn)列在畫(huà)出因果圖。所有原因結(jié)點(diǎn)列在左邊，所有結(jié)果結(jié)點(diǎn)列在右邊。右邊。l (5) 由于由于 2 與與 3 ，4 與與 5 不能同時(shí)發(fā)生，分別加上約束條件不能同時(shí)發(fā)生，分別加上約束條件E。l (6)轉(zhuǎn)換成因果圖判定表。轉(zhuǎn)換成因果圖判定表。24練習(xí)練習(xí)某軟件的一個(gè)模塊的需求規(guī)格說(shuō)明書(shū)中描述：（1）年薪制員工：嚴(yán)重過(guò)失，扣年終風(fēng)險(xiǎn)金的4%；過(guò)失，扣年終風(fēng)險(xiǎn)金的2%。（2）非年薪制員工：嚴(yán)重過(guò)

12、失，扣當(dāng)月薪資的8%；過(guò)失，扣當(dāng)月薪資的4%。請(qǐng)繪制出因果圖和判定表，并給出相應(yīng)的測(cè)試用例l 原因：l C1. 年薪制員工l C2. 嚴(yán)重過(guò)失l 中間狀態(tài)：l 11. 非年薪制員工l 12. 過(guò)失l 結(jié)果：l E1. 扣年終風(fēng)險(xiǎn)金的4%l E2. 扣年終風(fēng)險(xiǎn)金的2%l E3. 扣當(dāng)月薪資的8%l E4. 扣當(dāng)月薪資的4%因果圖因果圖C1C21112E1E2E3E4將因果圖轉(zhuǎn)化為判定表：將因果圖轉(zhuǎn)化為判定表：測(cè)試用例測(cè)試用例測(cè)試用例1: 輸入數(shù)據(jù): 年薪制員工，嚴(yán)重過(guò)失 預(yù)期輸出: 扣年終風(fēng)險(xiǎn)金的4%l測(cè)試用例2: 輸入數(shù)據(jù): 年薪制員工，過(guò)失 預(yù)期輸出: 扣年終風(fēng)險(xiǎn)金的2%l測(cè)試用例3: 輸入

13、數(shù)據(jù): 非年薪制員工，嚴(yán)重過(guò)失 預(yù)期輸出: 扣當(dāng)月薪資的8%l測(cè)試用例4: 輸入數(shù)據(jù): 非年薪制員工，過(guò)失 預(yù)期輸出: 扣當(dāng)月薪資的4%想一想，直接用決策表，如何做？想一想，直接用決策表，如何做？1234條件樁是否年薪制員工？是否嚴(yán)重過(guò)失？動(dòng)作樁扣年終風(fēng)險(xiǎn)金的4%扣年終風(fēng)險(xiǎn)金的2%扣當(dāng)月薪資的8%扣當(dāng)月薪資的4%習(xí)題習(xí)題2l中國(guó)象棋中走馬的測(cè)試用例（下面未注明的均中國(guó)象棋中走馬的測(cè)試用例（下面未注明的均指的是對(duì)馬的說(shuō)明）指的是對(duì)馬的說(shuō)明）一、一、 分析中國(guó)象棋中走馬的實(shí)際情況分析中國(guó)象棋中走馬的實(shí)際情況1. 如果落點(diǎn)在棋盤(pán)外,則不移動(dòng)棋子；2. 如果落點(diǎn)與起點(diǎn)不構(gòu)成日字型,則不移動(dòng)棋子；3.

14、如果在落點(diǎn)方向的鄰近交叉點(diǎn)有棋子(絆馬腿),則不移動(dòng)棋子；4. 落點(diǎn)處有己方棋子,則不移動(dòng)棋子;5. 如果不屬于1-4條, 落點(diǎn)處無(wú)棋子,則移動(dòng)棋子；6. 如果不屬于1-4條, 落點(diǎn)處為對(duì)方棋子(非老將),則移動(dòng)棋子并除去對(duì)方棋子；7. 如果不屬于1-4條,且落點(diǎn)處為對(duì)方老將,則移動(dòng)棋子,并提示戰(zhàn)勝對(duì)方,游戲結(jié)束。 二、二、 根據(jù)分析明確原因和結(jié)果根據(jù)分析明確原因和結(jié)果 l 原因：1. 落點(diǎn)在棋盤(pán)上；2. 落點(diǎn)與起點(diǎn)構(gòu)成日字；3. 落點(diǎn)方向的鄰近交叉點(diǎn)無(wú)棋子；4. 落點(diǎn)處為自己方棋子；5. 落點(diǎn)處無(wú)棋子；6. 落點(diǎn)處為對(duì)方棋子(非老將)；7. 落點(diǎn)處為對(duì)方老將。 l 結(jié)果：E1、不移動(dòng)棋子；E

15、2、移動(dòng)棋子；E3、移動(dòng)棋子,并除去對(duì)方棋子；E4、移動(dòng)棋子，并提示戰(zhàn)勝對(duì)方，結(jié)束游戲。 添加中間節(jié)點(diǎn)添加中間節(jié)點(diǎn)11,目的是作為導(dǎo)出結(jié)果的進(jìn)一步原因目的是作為導(dǎo)出結(jié)果的進(jìn)一步原因,簡(jiǎn)化因果簡(jiǎn)化因果圖導(dǎo)出的判定表圖導(dǎo)出的判定表1345E1762E2E3E411VVVVVE 決策表分解決策表分解 規(guī)則規(guī)則選項(xiàng)選項(xiàng)12345678910111213141516 1 2 3 41111111011011100101110101001100001110110010101000011001000010000 11 E101100101010101010101010101010101 規(guī)則規(guī)則 選項(xiàng)選項(xiàng)1

16、2345678910111213141516 11 5 6 71111111011011100101110101001100001110110010101000011001000010000 E2 E3 E4100010001決策表分解決策表分解 規(guī)則規(guī)則選項(xiàng)選項(xiàng)1234567812311111010110001101000100011E11001010101010101 規(guī)則規(guī)則 選項(xiàng)選項(xiàng)12345678 11 4 5 6 70100000100000100000111000101001001010001 E1 E2 E3 E410000100001000014.5 其他黑盒測(cè)試方法其他黑盒

17、測(cè)試方法故障猜測(cè)法故障猜測(cè)法錯(cuò)誤推測(cè)法錯(cuò)誤推測(cè)法 人們靠經(jīng)驗(yàn)和直覺(jué)猜測(cè)程序中可能存人們靠經(jīng)驗(yàn)和直覺(jué)猜測(cè)程序中可能存在的各種軟件故障，從而有針對(duì)性地編在的各種軟件故障，從而有針對(duì)性地編寫(xiě)檢查這些故障的測(cè)試用例寫(xiě)檢查這些故障的測(cè)試用例錯(cuò)誤推測(cè)法錯(cuò)誤推測(cè)法l人們也可以靠經(jīng)驗(yàn)和直覺(jué)推測(cè)程序中可能存在的各種錯(cuò)誤，從而有針對(duì)性地編寫(xiě)檢查這些錯(cuò)誤的例子。這就是錯(cuò)誤推測(cè)法。l錯(cuò)誤推測(cè)法的基本想法是：列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況，根據(jù)它們選擇測(cè)試用例。錯(cuò)誤推測(cè)法錯(cuò)誤推測(cè)法l 案例：n電話簿復(fù)制過(guò)程中來(lái)電，是否會(huì)破壞數(shù)據(jù)庫(kù)的完整性？n如果兩位學(xué)生的名字相同，電話簿能否正確查詢。n忽然斷電了

18、，輸入了一半的數(shù)據(jù)是否能找回？n正常的壓縮文件手動(dòng)破壞后是否能修復(fù)？n配置文件手動(dòng)修改一下是否能被軟件正確解析？n如果我離開(kāi)計(jì)算機(jī)忘了鎖定當(dāng)前軟件，別人是否也能用？錯(cuò)誤推測(cè)法錯(cuò)誤推測(cè)法n單元測(cè)試中發(fā)現(xiàn)的模塊錯(cuò)誤；n產(chǎn)品的以前版本曾經(jīng)發(fā)現(xiàn)的錯(cuò)誤；n輸入數(shù)據(jù)為0或字符為空；n當(dāng)軟件要求輸入時(shí)(比如在文本框中),不是沒(méi)有輸入正確的信息，而是根本沒(méi)有輸入任何內(nèi)容，單單按了Enter鍵；n這種情況在產(chǎn)品說(shuō)明書(shū)中常常忽視，程序員也可能經(jīng)常遺忘，但是在實(shí)際使用中卻時(shí)有發(fā)生。程序員總會(huì)習(xí)慣性的認(rèn)為用戶要么輸入信息，不管是看起來(lái)合法的或非法的信息，要不就會(huì)選擇Cancel鍵放棄輸入.4.5 黑盒測(cè)試效率黑盒測(cè)試

19、效率 上面研究了幾種典型的黑盒測(cè)試方法，這些測(cè)試方法的共同特點(diǎn)是它們都把程序看作是一個(gè)打不開(kāi)的黑盒，只知道輸入到輸出的映射關(guān)系，根據(jù)規(guī)范說(shuō)明設(shè)計(jì)測(cè)試用例。 在等價(jià)類分析測(cè)試中，通過(guò)等價(jià)類劃分來(lái)減少測(cè)試用例的絕對(duì)數(shù)量。 邊界值分析方法則通過(guò)分析輸入變量的邊界值域設(shè)計(jì)測(cè)試用例。 在基于決策表的測(cè)試中，通過(guò)分析被測(cè)程序的邏輯依賴關(guān)系，構(gòu)造決策表，進(jìn)而設(shè)計(jì)測(cè)試用例。以邊界值分析、等價(jià)類劃分和決策表測(cè)試方法，來(lái)討論它們的測(cè)試工作量，即生成測(cè)試用例的數(shù)量及開(kāi)發(fā)這些測(cè)試用例所需的工作量。 邊界值分析等價(jià)類劃分決策表高低測(cè)試用例數(shù)每種測(cè)試方法的測(cè)試用例邊界值分析等價(jià)類劃分決策表高低測(cè)試用例數(shù)圖4-12 每種測(cè)

20、試方法的測(cè)試用例數(shù)量邊界值分析不考慮數(shù)據(jù)或邏輯依賴關(guān)系，機(jī)械地根據(jù)各邊界生成測(cè)試用例。等價(jià)類劃分則關(guān)注數(shù)據(jù)依賴關(guān)系和函數(shù)本身，考慮如何劃分等價(jià)類，隨后也是機(jī)械地生成測(cè)試用例。 決策表技術(shù)最精細(xì)，既要考慮數(shù)據(jù)，又要考慮邏輯依賴關(guān)系。 一、測(cè)試工作量一、測(cè)試工作量4.5 黑盒測(cè)試效率黑盒測(cè)試效率每種方法開(kāi)發(fā)測(cè)試用例所需的工作量趨勢(shì)。每種方法開(kāi)發(fā)測(cè)試用例所需的工作量趨勢(shì)。開(kāi)發(fā)決策表測(cè)試用例生成所需的工作量最大。但生成的測(cè)試用例少，機(jī)器執(zhí)行時(shí)間短。 邊界值分析等價(jià)類劃分決策表高低設(shè)計(jì)測(cè)試用例工作量每種方法設(shè)計(jì)測(cè)試用例的工作量趨勢(shì)邊界值分析等價(jià)類劃分決策表高低設(shè)計(jì)測(cè)試用例工作量圖4-13 每種方法設(shè)計(jì)測(cè)

21、試用例的工作量趨勢(shì)邊界值分析測(cè)試方法使用簡(jiǎn)單，但會(huì)生成大量測(cè)試用例，機(jī)器執(zhí)行時(shí)間長(zhǎng)。測(cè)試方法研究的目的就是在開(kāi)發(fā)測(cè)試用例工作量和測(cè)試執(zhí)行工作量之間做一個(gè)令人滿意的折衷。 4.5 黑盒測(cè)試效率黑盒測(cè)試效率二、測(cè)試效率二、測(cè)試效率 如果仔細(xì)研究三個(gè)例子的測(cè)試用例集合，可以如果仔細(xì)研究三個(gè)例子的測(cè)試用例集合，可以發(fā)現(xiàn)黑盒測(cè)試的基本局限：遺漏了某些未測(cè)試的發(fā)現(xiàn)黑盒測(cè)試的基本局限：遺漏了某些未測(cè)試的功能和冗余測(cè)試。功能和冗余測(cè)試。 分析前面的測(cè)試用例，結(jié)果都支持兩點(diǎn)結(jié)論：分析前面的測(cè)試用例，結(jié)果都支持兩點(diǎn)結(jié)論：功能性測(cè)試有漏洞，使用更精細(xì)的手段能夠縮小功能性測(cè)試有漏洞，使用更精細(xì)的手段能夠縮小這些漏洞。

22、這些漏洞。 一般來(lái)說(shuō)，更精細(xì)的方法有助于識(shí)別漏洞，但一般來(lái)說(shuō)，更精細(xì)的方法有助于識(shí)別漏洞，但是卻不能保證什么。是卻不能保證什么。4.5 黑盒測(cè)試效率黑盒測(cè)試效率三、測(cè)試有效性三、測(cè)試有效性 解釋測(cè)試有效性是很困難的。因?yàn)椴豢赡苤澜忉寽y(cè)試有效性是很困難的。因?yàn)椴豢赡苤莱绦蛑械乃腥毕?，因此也就不可能知道給定方程序中的所有缺陷，因此也就不可能知道給定方法所產(chǎn)生的測(cè)試用例是否能夠發(fā)現(xiàn)這些缺陷。法所產(chǎn)生的測(cè)試用例是否能夠發(fā)現(xiàn)這些缺陷。 所能夠做的，就是根據(jù)不同類型的缺陷，選所能夠做的，就是根據(jù)不同類型的缺陷，選擇最有可能發(fā)現(xiàn)這種缺陷的測(cè)試方法擇最有可能發(fā)現(xiàn)這種缺陷的測(cè)試方法( (包括白盒包括白盒測(cè)

23、試測(cè)試) )。根據(jù)最可能出現(xiàn)的缺陷種類，分析得到。根據(jù)最可能出現(xiàn)的缺陷種類，分析得到可提高測(cè)試有效性的實(shí)用方法。通過(guò)跟蹤所開(kāi)發(fā)可提高測(cè)試有效性的實(shí)用方法。通過(guò)跟蹤所開(kāi)發(fā)軟件中的缺陷的種類和密度，也可以改進(jìn)這種方軟件中的缺陷的種類和密度，也可以改進(jìn)這種方法。法。 4.5 黑盒測(cè)試效率黑盒測(cè)試效率三、測(cè)試有效性三、測(cè)試有效性 利用程序的已知屬性，選擇處理這種屬性的方法。利用程序的已知屬性，選擇處理這種屬性的方法。 在選擇黑盒測(cè)試方法時(shí)一些很有用的在選擇黑盒測(cè)試方法時(shí)一些很有用的屬性屬性有：有：l 變量是否表示物理量或邏輯量變量是否表示物理量或邏輯量?l 在變量之間是否存在依賴關(guān)系在變量之間是否存在

24、依賴關(guān)系?l 是假設(shè)單缺陷，還是假設(shè)多缺陷是假設(shè)單缺陷，還是假設(shè)多缺陷?l 是否有大量例外處理是否有大量例外處理?4.5 黑盒測(cè)試效率黑盒測(cè)試效率三、測(cè)試有效性三、測(cè)試有效性下面列出一些黑盒測(cè)試方法選擇的初步的下面列出一些黑盒測(cè)試方法選擇的初步的“專家系統(tǒng)專家系統(tǒng)”： 如果變量引用的是物理量，可采用邊界值分析測(cè)試和等價(jià)如果變量引用的是物理量，可采用邊界值分析測(cè)試和等價(jià)類測(cè)試。類測(cè)試。 如果變量是獨(dú)立的，可采用邊界值分析測(cè)試和等價(jià)類測(cè)試。如果變量是獨(dú)立的，可采用邊界值分析測(cè)試和等價(jià)類測(cè)試。 如果變量不是獨(dú)立的，可采用決策表測(cè)試。如果變量不是獨(dú)立的，可采用決策表測(cè)試。 如果可保證是單缺陷假設(shè)，可采用邊界值分析和健壯性測(cè)試。如果可保證是單缺陷假設(shè)，可采用邊界值分析和健壯性測(cè)試。 如果程序包含大量例外處理，可采用健壯性測(cè)試和決策表測(cè)試。如果程序包含大量例外處理，可采用健壯性測(cè)試和決