什么是等价类?
等价类:是指某个输入域的子集合。在该子集合中,各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其他值的测试。
有效等价类
指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。
无效等价类
与有效等价类的定义相反
确定等价类的原则
- 在输入条件规定了取值范围或值的个数的情况下,可以确立一个有效等价类 (范围之间) 和两个无效等价类 (小、大)。
- 在输入条件规定了输入值的集合或者规定了“必须如何” 的条件情况下,可以确定一个有效等价类和一个无效等价类。
- 在输入条件是一个布尔量的情况下,可以确定一个有效等价类和一个无效等价类。
- 在规定了输入数据的一组值(假定n个),并且程序要对每一个输入值分别处理的情况下,可确立n个有效等价类和一个无效等价类。
- 在规定了输入数据必须遵守的规则的情况下,可确立一个有效等价类(符合规则)和若干个无效等价类(从不同角度违反规则)。
- 在确知已划分的等价类中,各元素在程序处理中的方式不同的情况下,则应再将该等价类进一步地划分为更小的等价类。
确定测试用例
- 为每个等价类规定一个唯一的编号
- 设计一个新的测试用例,使其尽可能多地覆盖尚未覆盖的有效等价类。重复这一步,最后使得所有有效等价类均被测试用例所覆盖。
- 设计一个新的测试用例,使其只覆盖一个无效等价类。重复这一步是所有无效等价类均被覆盖。
输入及外部条件 | 有效等价类 | 编号 | 无效等价类 | 编号 |
---|---|---|---|---|
…… | …… | …… | …… | …… |
一个程序读入3个整数,把这3个数值作为一个三角形的3条边的长度值,这个程序要打印出信息,说明这个三角形是不是等边的、是等腰的、还是一般的
输入及外部条件 | 有效等价类 | 编号 | 无效等价类 | 编号 |
---|---|---|---|---|
数据类型 | 正整数 | 1 | 负整数 | 2 |
构成三角形 | A>0&&B>0&&C>0&&A+B>C&&A+C>B&&B+C>A | 3 | A<0或B<0或C<0或A+B<=C或A+C<=B或B+C<=A | 4 |
构成等腰三角形 | A=B或B=C或 A=C | 5 | A!=B&&B!=C&&A!=C | 6 |
构成等边三角形 | A=B&& B=C&& A=C | 7 | A!=B或B!=C或A!=C | 8 |
有效等价类测试:
3 4 5
6 6 7
6 6 6
无效等价类测试:
-1 2 3
3 4 5
3 4 5