【文章內(nèi)容簡介】 驗(yàn)證的，為此黑盒測試也有一套產(chǎn)生測試用例的方法，以產(chǎn)生有限的測試用例而覆蓋足夠多的“任何情況”。由于黑盒測試不需要了解程序內(nèi)部結(jié)構(gòu)，所以許多高層的測試如確認(rèn)測試、系統(tǒng)測試、驗(yàn)收測試都采用黑盒測試。黑盒測試首先是程序通常的功能性測試。要求：每個(gè)軟件特性必須被一個(gè)測試用例或一個(gè)被認(rèn)可的異常所覆蓋。用數(shù)據(jù)類型和數(shù)據(jù)值的最小集測試。用一系列真實(shí)的數(shù)據(jù)類型和數(shù)據(jù)值運(yùn)行，測試超負(fù)荷、飽和及其他“最壞情況”的結(jié)果；用假想的數(shù)據(jù)類型和數(shù)據(jù)值運(yùn)行，測試排斥不規(guī)則輸入的能力；對(duì)影響性能的關(guān)鍵模塊，如基本算法、應(yīng)測試單元性能(包括精度、時(shí)間、容量等)。不僅要考核“程序應(yīng)該做什么?”還要考察“程序是否做了不該做的2”同時(shí)還要考察程序在其他一些情況下是否正常。這些情況包括數(shù)據(jù)類型和數(shù)據(jù)值的異常等等。下述幾種方法：(a)等價(jià)類劃分，(b)因果圖方法，(c)邊值分析法，(d)猜錯(cuò)法，(e)隨機(jī)數(shù)法，就是從更廣泛的角度來進(jìn)行黑盒測試。每一個(gè)方法都力圖能涵蓋更多的“任何情況”，但又各有長處，綜合使用這些方法，會(huì)得到一個(gè)較好的測試用例集。 等價(jià)類劃分是一種典型的黑盒測試方法。等價(jià)類是指某個(gè)輸入域的集合。它表示對(duì)揭露程序中的錯(cuò)誤來說，集合中的每個(gè)輸入條件是等效的。因此我們只要在一個(gè)集合中選取一個(gè)測試數(shù)據(jù)即可。等價(jià)類劃分的辦法是把程序的輸入域劃分成若干等價(jià)類，然后從每個(gè)部分中選取少數(shù)代表性數(shù)據(jù)當(dāng)作測試用例。這樣就可使用少數(shù)測試用例檢驗(yàn)程序在一大類情況下的反映。 在考慮等價(jià)類時(shí)，應(yīng)該注意區(qū)別以下兩種不同的情況：有效等價(jià)類：有效等價(jià)類指的是對(duì)程序的規(guī)范是有意義的、合理的輸入數(shù)據(jù)所構(gòu)成的集合。在具體問題中，有效等價(jià)類可以是一個(gè)，也可以是多個(gè)。無效等價(jià)類：無效等價(jià)類指對(duì)程序的規(guī)范是不合理的或無意義的輸入數(shù)據(jù)所構(gòu)成的集合。對(duì)于具體的問題，無效等價(jià)類至少應(yīng)有一個(gè)，也可能有多個(gè)。確定等價(jià)類有以下幾條原則：如果輸入條件規(guī)定了取值范圍或值的個(gè)數(shù)，則可確定一個(gè)有效等價(jià)類和兩個(gè)無效等價(jià)類。例如，程序的規(guī)范中提到的輸入條包括“……項(xiàng)數(shù)可以從1到999……”，則可取有效等價(jià)類為“l(fā)考項(xiàng)數(shù)＜999”，無效等價(jià)類為“項(xiàng)數(shù)＜l，及“項(xiàng)數(shù)＞999”。輸入條件規(guī)定了輸入值的集合，或是規(guī)定了“必須如何”的條件，則可確定一個(gè)有效等價(jià)類和一個(gè)無效等價(jià)類。如某程序涉及標(biāo)識(shí)符，其輸入條件規(guī)定“標(biāo)識(shí)符應(yīng)以字母開頭……”則“以字母開頭者”作為有效等價(jià)類，“以非字母開頭”作為無效等價(jià)類。如果我們確知，已劃分的等價(jià)類中各元素在程序中的處理方式是不同的，則應(yīng)將此等價(jià)類進(jìn)一步劃分成更小等價(jià)類。輸入條件有效等價(jià)類無效等價(jià)類。。。。。 根據(jù)已列出的等價(jià)類表，按以下步驟確定測試用例：為每個(gè)等價(jià)類規(guī)定一個(gè)唯一的編號(hào)；設(shè)計(jì)一個(gè)測試用例，使其盡可能多地覆蓋尚未覆蓋的有效等價(jià)類。重復(fù)這一步，最后使得所有有效等價(jià)類均被測試用例所覆蓋；設(shè)計(jì)一個(gè)新的測試用例，使其只覆蓋一個(gè)無效等價(jià)類。重復(fù)這一步，使所有無效等價(jià)類均被覆蓋。這里強(qiáng)調(diào)每次只覆蓋一個(gè)無效等價(jià)類。這是因?yàn)橐粋€(gè)測試用例中如果含有多個(gè)缺陷，有可能在測試中只發(fā)現(xiàn)其中的一個(gè)，另一些被忽視。等價(jià)類劃分法能夠全面、系統(tǒng)地考慮黑盒測試的測試用例設(shè)計(jì)問題，但是沒有注意選用一些“高效的”、“有針對(duì)性的”測試用例。后面介紹的邊值分析法可以彌補(bǔ)這一缺點(diǎn)。等價(jià)類劃分法并沒有考慮到輸入情況的各種組合。這樣雖然各個(gè)輸入條件單獨(dú)可能出錯(cuò)的情況已經(jīng)看到了，但多個(gè)輸入情況組合起來可能出錯(cuò)的情況卻被忽略。采用因果圖方法能幫助我們按一定步驟選擇一組高效的測試用例，同時(shí)，還能為我們指出程序規(guī)范的描述中存在什么問題。利用因果圖導(dǎo)出測試用例需要經(jīng)過以下幾個(gè)步驟：分析程序規(guī)范的描述中哪些是原因，哪些是結(jié)果。原因常常是輸入條件或是輸入條件的等價(jià)類。結(jié)果是輸出條件。分析程序規(guī)范的描述中語義的內(nèi)容，并將其表示成連接各個(gè)原因與各個(gè)結(jié)果的“因果圖”。由于語法或環(huán)境的限制，有些原因和結(jié)果的組合情況是不可能出現(xiàn)的。為表明這些特定的情況，在因果圖上使用持殊的符號(hào)標(biāo)明約束條件。把因果圖轉(zhuǎn)換成判定表。把判定表的每一列寫成一個(gè)測試用例。 邊值分析法是列出單元功能、輸入、狀態(tài)及控制的合法邊界值和非法邊界值，設(shè)計(jì)測試用例，包含全部邊界值的方法。典型地包括IF語句中的判別值，定義域、值域邊界，空或畸形輸入，末受控狀態(tài)等。邊值分析法不是一類找一個(gè)例子的方法，而是以邊界情況的處理作為主要目標(biāo)專門設(shè)計(jì)測試用例的方法。另外，邊值分析不僅考查輸入的邊值，也要考慮輸出的邊值。這是從人們的經(jīng)驗(yàn)得出的一種有效方法。人們發(fā)現(xiàn)許多軟件錯(cuò)誤只是在下標(biāo)、數(shù)據(jù)結(jié)構(gòu)和標(biāo)量值的邊界值及其上、下出現(xiàn)，運(yùn)行這個(gè)區(qū)域的測試用例發(fā)現(xiàn)錯(cuò)誤的概率很高。用邊值分析法設(shè)計(jì)測試用例時(shí)，有以下幾條原則：如果輸入條件規(guī)定了取值范圍，或是規(guī)定了值的個(gè)數(shù)，則應(yīng)以該范圍的邊界內(nèi)及剛剛超出范圍的邊界外的值，或是分別對(duì)最大、最小及稍小于最小、稍