等價類的劃分有兩種不同的情況:有效等價類和無效等價類。
有效等價類:
是指對程序的需求規格說明來說合理且有意義的輸入數據的集合。
有效的等價類可以用來驗證程序是否實現了規格書中規定的功能和性能(確認過程)。
無效等價類(與有效等價類的定義正好相反)
指對程序的需求規格說明不合理、無意義的輸入數據的收集。
使用無效等價類可以測試程序對無效數據的異常處理能力(測試過程)。
根據測試用例的完整性可以分為:
以下二分法用於說明測試用例的完整性:
健壯意味著考慮無效值。強意味著考慮組合情況，使用笛卡爾積計算測試用例的數量。
用下面的例子來說明它們的區別:
根據上述信息劃分等價類:
用最少的測試用例覆蓋每個有效的等價類。在上面的例子中，弱壹般等價類被用作例子:
強壹般等價類是基於多重缺陷的假設，強壹般等價類的測試用例是覆蓋每個有效等價類的笛卡爾積。即有效等價類中值的所有組合。組合數為2 * 1 *1=2。
在弱壹般等價類的基礎上，增加了無效值的情況。對於無效的輸入，測試用例將有壹個無效的值，並保持其余的值有效。
在強壹般等價類的基礎上，增加了無效值的情況。也是利用笛卡爾積思想得到測試用例。測試用例數為:(2+3)*(1+5)*(1+3)= 5 * 6 * 4 = 120(個)。如果測試用例太多，列出來就沒有意義了。
我們從四個不同的方面思考如何設計測試用例。我們如何選擇測試用例，發現更多的缺陷？正如我們在開頭提到的:
等價類的用法描述如下:
根據上面的描述，弱魯棒等價類滿足上面的要求。使用等價類劃分方法設計測試用例時，關鍵點是劃分有效等價類和無效等價類的粒度。粒度越粗，設計測試用例越少，粒度越細，設計測試用例越多。相對來說，顆粒越細，越能發現問題。