软件测试——等价类划分

1)有效等价类
是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。
2)无效等价类

    与有效等价类的定义恰巧相反。无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合。对于具体的问题，无效等价类至少应有一个，也可能有多个。

在三角形计算中，要求三角形的三个边:ABC。

1.当三边不可能构成三角形时提示错误，可构成三角形时计算三角形周长。

2.若是等腰三角形打印“等腰三角形”，若两个等腰的平方和等于第三边平方和，则打印“等腰直角三角形”。

3.若是等边三角形，则打印：“等边三角形”。

4.画出程序流程图并设计一个测试用例。

分析一下：

1.构成三角形的条件：任意两边之和大于第三边。

2.构成等腰三角形的条件：任意两边相等。

3.构成等腰直角三角形的条件：任意两边相等，而且两条边的平方和等于第三边的平方和。

4.构成等边三角形的条件：三条边都相等。

分析一下三角形的等价类：

有效等价类：

输入3个正整数或正小数：

1.两数之和大于第三数，如A<B+C; B<C+A; C<A+B

2.两数之和不大于第三数

3.两数相等，如A=B或B=C或C=A

4.三数相等，如A=B=C

5.三数不相等，如A!=B, B!=C, C!=A

无效等价类：

1.空

2.负整数

3.非数字

4.少于三个数

标签：相等,等价,平方和,划分,两数,三角形,构成,软件测试
来源： https://blog.51cto.com/u_14013325/2930345