1.介绍

等价类划分是一种典型的黑盒测试方法。等价类划分是指分步骤把海量（无限）的测试用例集减得很小，但过程同样有效。也就是说，选取足够小测试用例，发现更多软件缺陷。

2.类型划分

等价类划分有两种不同情况：有效等价类和无效等价类。

有效等价类：

是指对于程序的需求规格说明来说是合理的，有意义的输入数据构成的集合。

利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能（确认过程）。

无效等价类（与有效等价类的定义恰巧相反）

是指对于程序的需求规格说明来说是不合理的，无意义的输入数据构成的集合。

利用无效等价类可检验程序对于无效数据的异常处理能力（检验过程）。

3.测试用例完整性划分

根据测试用例的完整性可以划分：

弱一般等价类测试
强一般等价类测试
弱健壮等价类测试
强健壮等价类测试

下面使用二分法来说明测试用例的完整性：

测试用例完整性

健壮是指要考虑无效值。强是指要考虑组合情况，使用笛卡尔积算出测试用例个数。

使用下面例子分别说明它们区别：

某城市电话号码由三部分组成。地区码：空白或三位数字；前缀：不能1和2开头的三位数字；后缀：4位数字。

根据上面信息划分等价类：

等价类划分

3.1弱一般等价类

使用最少测试用例覆盖每个有效等价类。在上面例子弱一般等价类的用例如下：

弱一般等价类

3.2强一般等价类

强一般等价类是基于多缺陷假设，强一般等价类的测试用例是要覆盖每个有效等价类取值的笛卡尔积。即在有效等价类取值的所有组合。组合个数是2 * 1 *1=2。

强一般等价类

3.3弱健壮等价类

在弱一般等价类的基础上，增加取值为无效值的情况。对于无效输入，测试用例将拥有一个无效值，并保持其余的值是有效的。

弱健壮性等价类

3.4强健壮等价类

在强一般等价类的基础上，增加取值为无效值的情况。也是运用笛卡尔积思路得出测试用例。测试用例个数有：（2+3）*（1+5） * （1+3）=5 * 6 * 4 = 120（个），用例数量太多，就不意义列出来了。

上面从四个不同方面来思考怎样设计测试用例，我们需要选取如何测试用例，发现更多缺陷呢？正如我们在开头提到：

等价类划分是指分步骤把海量（无限）的测试用例集减得很小，但过程同样有效。

4.使用方法

等价类使用方法说明如下：

按照输入条件建立有效等价类和无效等价类，列出所有划分出的等价类。

为每一个等价类规定一个唯一的编号。

设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖地有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止。

设计一个新的测试用例，使其仅覆盖一个尚未被覆盖的无效等价类，重复这一步，直到所有的无效等价类都被覆盖为止。

根据以上说明，弱健壮等价类是符合以上要求。在使用等价类划分法设计测试用例的的重点在于划分有效等价类和无效等价类粗细的粒度。粒度越粗，设计测试用例越少，粒度越细，设计测试用例越多。相对来说，粒度越细能发现更多问题。