黑盒测试之等价类划分

等价类划分：
把所有可能的输入数据，即程序的输入域划分为若干部分（子集），然后从每个子集中选取少数具有代表性的数据作为测试用例。

划分等价类的标准：
1、所有的子集的并是整个集合；
2、子集互不相交；
3、同一个子集中的不同测试用例处理相同，即有“相同的执行路径”。

两种不同等价类：
（1）有效等价类：对于程序的规格说明是合理的，有意义的输入数据构成的集合；
（2）无效等价类：对于程序的规格说明是不合理的，无意义的输入数据构成的集合。