黑盒測(cè)試的測(cè)試用例設(shè)計(jì)方法[1]

1、等價(jià)類劃分是把所有可能的輸入數(shù)據(jù)即程序的輸入域劃分成若干部分（子集）然后從每一個(gè)子集中選取少數(shù)具有代表性的數(shù)據(jù)作為測(cè)試用例.該方法是一種重要的常用的黑盒測(cè)試用例設(shè)計(jì)方法.1)劃分等價(jià)類:等價(jià)類是指某個(gè)輸入域的子集合.在該子集合中各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的.并合理地假定:測(cè)試某等價(jià)類的代表值就等于對(duì)這一類其它值的測(cè)試.因此可以把全部輸入數(shù)據(jù)合理劃分為若干等價(jià)類在每一個(gè)等價(jià)類中取一個(gè)數(shù)據(jù)作為測(cè)試的輸入條件就可以用少量代表性的

2、測(cè)試數(shù)據(jù).取得較好的測(cè)試結(jié)果.等價(jià)類劃分可有兩種不同的情況:有效等價(jià)類和無(wú)效等價(jià)類.有效等價(jià)類:是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)是合理的有意義的輸入數(shù)據(jù)構(gòu)成的集合.利用有效等價(jià)類可檢驗(yàn)程序是否實(shí)現(xiàn)了規(guī)格說(shuō)明中所規(guī)定的功能和性能.無(wú)效等價(jià)類:與有效等價(jià)類的定義恰巧相反.設(shè)計(jì)測(cè)試用例時(shí)要同時(shí)考慮這兩種等價(jià)類.因?yàn)檐浖粌H要能接收合理的數(shù)據(jù)也要能經(jīng)受意外的考驗(yàn).這樣的測(cè)試才能確保軟件具有更高的可靠性.2）劃分等價(jià)類的方法:下面給出六條確定等價(jià)類的原

3、則.①在輸入條件規(guī)定了取值范圍或值的個(gè)數(shù)的情況下則可以確立一個(gè)有效等價(jià)類和兩個(gè)無(wú)效等價(jià)類.②在輸入條件規(guī)定了輸入值的集合或者規(guī)定了“必須如何”的條件的情況下可確立一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類.③在輸入條件是一個(gè)布爾量的情況下可確定一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類.④在規(guī)定了輸入數(shù)據(jù)的一組值（假定n個(gè)）并且程序要對(duì)每一個(gè)輸入值分別處理的情況下可確立n個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類.⑤在規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則的情況下可確立一個(gè)有效等價(jià)類

4、（符合規(guī)則）和若干個(gè)無(wú)效等價(jià)類（從不同角度違反規(guī)則）.⑥在確知已劃分的等價(jià)類中各元素在程序處理中的方式不同的情況下則應(yīng)再將該等價(jià)類進(jìn)一步的劃分為更小的等價(jià)類.3）設(shè)計(jì)測(cè)試用例:在確立了等價(jià)類后可建立等價(jià)類表列出所有劃分出的等價(jià)類:輸入條件有效等價(jià)類無(wú)效等價(jià)類..................然后從劃分出的等價(jià)類中按以下三個(gè)原則設(shè)計(jì)測(cè)試用例:錯(cuò)誤推測(cè)方法的基本思想:列舉出程序中所有可能有的錯(cuò)誤和容易發(fā)生錯(cuò)誤的特殊情況根據(jù)他們選擇測(cè)試用例

5、.例如在單元測(cè)試時(shí)曾列出的許多在模塊中常見的錯(cuò)誤.以前產(chǎn)品測(cè)試中曾經(jīng)發(fā)現(xiàn)的錯(cuò)誤等這些就是經(jīng)驗(yàn)的總結(jié).還有輸入數(shù)據(jù)和輸出數(shù)據(jù)為0的情況.輸入表格為空格或輸入表格只有一行.這些都是容易發(fā)生錯(cuò)誤的情況.可選擇這些情況下的例子作為測(cè)試用例.因果圖方法前面介紹的等價(jià)類劃分方法和邊界值分析方法都是著重考慮輸入條件但未考慮輸入條件之間的聯(lián)系相互組合等.考慮輸入條件之間的相互組合可能會(huì)產(chǎn)生一些新的情況.但要檢查輸入條件的組合不是一件容易的事情即使把所有

6、輸入條件劃分成等價(jià)類他們之間的組合情況也相當(dāng)多.因此必須考慮采用一種適合于描述對(duì)于多種條件的組合相應(yīng)產(chǎn)生多個(gè)動(dòng)作的形式來(lái)考慮設(shè)計(jì)測(cè)試用例.這就需要利用因果圖（邏輯模型）.因果圖方法最終生成的就是判定表.它適合于檢查程序輸入條件的各種組合情況.利用因果圖生成測(cè)試用例的基本步驟:(1)分析軟件規(guī)格說(shuō)明描述中那些是原因(即輸入條件或輸入條件的等價(jià)類)那些是結(jié)果(即輸出條件)并給每個(gè)原因和結(jié)果賦予一個(gè)標(biāo)識(shí)符.(2)分析軟件規(guī)格說(shuō)明描述中的語(yǔ)義.

7、找出原因與結(jié)果之間原因與原因之間對(duì)應(yīng)的關(guān)系.根據(jù)這些關(guān)系畫出因果圖.(3)由于語(yǔ)法或環(huán)境限制有些原因與原因之間原因與結(jié)果之間的組合情況不不可能出現(xiàn).為表明這些特殊情況在因果圖上用一些記號(hào)表明約束或限制條件.(4)把因果圖轉(zhuǎn)換為判定表.(5)把判定表的每一列拿出來(lái)作為依據(jù)設(shè)計(jì)測(cè)試用例.從因果圖生成的測(cè)試用例（局部組合關(guān)系下的）包括了所有輸入數(shù)據(jù)的取TRUE與取FALSE的情況構(gòu)成的測(cè)試用例數(shù)目達(dá)到最少且測(cè)試用例數(shù)目隨輸入數(shù)據(jù)數(shù)目的增加而線

8、性地增加.前面因果圖方法中已經(jīng)用到了判定表.判定表（DecisionTable）是分析和表達(dá)多邏輯條件下執(zhí)行不同操作的情況下的工具.在程序設(shè)計(jì)發(fā)展的初期判定表就已被當(dāng)作編寫程序的輔助工具了.由于它可以把復(fù)雜的邏輯關(guān)系和多種條件組合的情況表達(dá)得既具體又明確.判定表通常由四個(gè)部分組成.條件樁（ConditionStub）:列出了問(wèn)題得所有條件.通常認(rèn)為列出得條件的次序無(wú)關(guān)緊要.動(dòng)作樁（ActionStub）:列出了問(wèn)題規(guī)定可能采取的操作.這