黑盒測試的測試用例設計方法[1]

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

2、測試數據.取得較好的測試結果.等價類劃分可有兩種不同的情況:有效等價類和無效等價類.有效等價類:是指對于程序的規(guī)格說明來說是合理的有意義的輸入數據構成的集合.利用有效等價類可檢驗程序是否實現了規(guī)格說明中所規(guī)定的功能和性能.無效等價類:與有效等價類的定義恰巧相反.設計測試用例時要同時考慮這兩種等價類.因為軟件不僅要能接收合理的數據也要能經受意外的考驗.這樣的測試才能確保軟件具有更高的可靠性.2）劃分等價類的方法:下面給出六條確定等價類的原

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

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

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

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

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

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