等价划分:将所有可能的输入数据划分为若干个子集,然后从每个子集选取有代表性的数据作为测试用例。
等价类:某个输入域的子集合,各个输入数据对于揭露程序中的错误是等效的。
有效等价类:对于程序规格说明是合理的,有意义的输入数据构成的集合,利用他检验程序是否实现了预知的功能。
无效等价类:对于程序规格是不合理的,无意义的输入数据构成的集合,利用它检验程序对无效数据的处理。
确定测试用例:
1)为每个等价类分配唯一的编号。
2)设计有效测试用例:尽可能多的覆盖未被覆盖的有效等价类,重复这一步骤,直至有效等价类被全部覆盖。
3)设计无效测试用例:尽可能少的覆盖未被覆盖的无效等价类,重复这一步骤,直至无效等价类被全部覆盖。