等价类划分是一种典型的黑盒测试方法。 等价类划分是指分步骤把海量(无限)的测试用例集减得很小,但过程同样有效。 也就是说,选取足够小测试用例,发现更多软件缺陷。
等价类划分有两种不同情况:有效等价类和无效等价类。
有效等价类:
是指对于程序的需求规格说明来说是合理的,有意义的输入数据构成的集合。
利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能(确认过程) 。
无效等价类 (与有效等价类的定义恰巧相反)
是指对于程序的需求规格说明来说是不合理的,无意义的输入数据构成的集合。
利用无效等价类可检验程序对于无效数据的异常处理能力(检验过程) 。
根据测试用例的完整性可以划分:
下面使用二分法来说明测试用例的完整性:
健壮是指要考虑无效值。强是指要考虑组合情况,使用笛卡尔积算出测试用例个数。
使用下面例子分别说明它们区别:
根据上面信息划分等价类:
使用最少测试用例覆盖每个有效等价类。在上面例子弱一般等价类的用例如下:
强一般等价类是基于多缺陷假设,强一般等价类的测试用例是要覆盖每个有效等价类取值的笛卡尔积。即在有效等价类取值的所有组合。组合个数是2 * 1 *1=2。
在弱一般等价类的基础上,增加取值为无效值的情况。对于无效输入,测试用例将拥有一个无效值,并保持其余的值是有效的。
在强一般等价类的基础上,增加取值为无效值的情况。也是运用笛卡尔积思路得出测试用例。测试用例个数有:(2+3)*(1+5) * (1+3)=5 * 6 * 4 = 120(个),用例数量太多,就不意义列出来了。
上面从四个不同方面来思考怎样设计测试用例,我们需要选取如何测试用例,发现更多缺陷呢?正如我们在开头提到:
等价类使用方法说明如下:
根据以上说明,弱健壮等价类是符合以上要求。在使用等价类划分法设计测试用例的的重点在于 划分有效等价类和无效等价类粗细的粒度 。粒度越粗,设计测试用例越少,粒度越细,设计测试用例越多。相对来说,粒度越细能发现更多问题。