测试用例设计——等价划分法

等价类即将所有有可能的输入数据（程序的输入域）划分为若干个子集，这些子集具有完备性、无冗余的特点。然后从每一个子集里，选取少数具有代表性的数据作为测试用例值。

在设计测试用例的时候，我们要考虑有效等价类、无效等价类两类。因为软件不仅要能接受正确的数据，还要能够接受住错误数据的考验，这样才能保证软件的可靠性。有效等价类是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合，它能检验程序是否可以实现规格说明中所规定的功能需求。无效等价类是指对程序的规格说明是不合理的或无意义的输入数据所构成的集合，它能检验程序在不符合规则的数据输入下，是否会有异常；无效等价类至少应有一个，也可能有多个，视具体情况而定。

分类：

等价划分法也可以分为四类：弱一般等价类测试、强一般等价类测试、弱健壮等价类测试、强健壮等价类测试。其中，“弱”指的是基于单缺陷假设（具体可见博客单缺陷、多缺陷、边界值分析法），也就是说在测试用例中，每条用例最多只能有一个变量取非正常值；而“强”则是基于多缺陷假设，所以测试用例中可以有一个、两个或多个变量取非正常值。而“一般”则是指不考虑无效等价类，“健壮”则是指要考虑无效等价类。详细可见博客等价类划分法详解。

几个原则：

<