案例实战—直角三角形

试用等价类划分、边界值分析和因果图加判定表驱动法为三角形问题中的直角三角形设计测试用例。假定三边边长a、b和c均为1到100之间的正整数，其中整数的要求通过数据类型控制。直角三角形问题满足以下规则：

• 当三边中任意两边边长之和小于等于第三边，则输出“非三角形“；
• 当其中两边边长的平方和等于第三边的平方，则输出“直角三角形”；
• 当任意两边边长的平方和都不等于第三边的平方，则输出“一般三角形”。
• 当三边中任意一边边长小于1或者大于100，则给出“输入无效”的提示信息。

要求如下：

• ① 等价类划分法中需分析输入域和输出域得到等价类，并设计覆盖弱健壮等价类的测试用例。
• ② 边界值分析法在等价类划分的基础上考虑输入域和输出域的边界情况，补充测试用例。
• ③ 判定表驱动法需分析程序的规格说明，列出原因和结果，画出因果图，并将因果图转换为判定表，设计测试用例。
• ④ 运行待测程序，将设计的测试用例通过界面实现输入，记录实际输出，并给出测试结果。如果预期输出与实际输出相匹配，则测试结果为Passed，否则，测试结果为Failed。
• ⑤ 通过应用实例，简单总结归纳等价类划分、边界值分析、判定表驱动等黑盒测试技术在测试用例设计和测试执行方面的优缺点及适用情况。

参考答案：

(1) 等价类划分

分析输入域得到的等价类如表1所示。

表1 直角三角形问题输入域等价类表

直角三角形问题包括四种可能的输出，分别为直角三角形、一般三角形、非三角形和输入无效，其中输入域已覆盖输入无效的情况。分析输出域得到的等价类如表2所示，覆盖弱健壮等价类的测试用例如表3所示。

表2 直角三角形问题等价类表

(2) 边界值分析

按照健壮性边界值分析的取值方法，对每个输入分别取7个值，即为min-、min、min+、nom、max-、max和max+，如表4所示。

表4 直角三角形问题输入域健壮性边界值分析

输出域边界值分析如表5所示。

表5 直角三角形问题输出域边界值分析

综合考虑输入域和输出域的边界值，测试用例设计如表6所示。

表6 直角三角形问题边界值测试用例

表6 直角三角形问题边界值测试用例

(3) 判定表驱动

①分析程序的规格说明，列出原因和结果。

原因： 
C1—1≤a 
C2—a≤100 
C3—1≤b 
C4—b≤100 
C5—1≤c 
C6—c≤100 
C7—a+b>c 
C8—b+c>a 
C9—c+a>b 
C10—a2+b2=c2 
C11—b2+c2=a2 
C12—c2+a2=b2 
结果： 
E1—输入无效 
E2—非三角形 
E3—一般三角形 
E4—直角三角形 
中间结果： 
11—输入有效 
12—符合三角形一般规则 
13—可以构成三角形 
14—符合直角三角形一般规则

② 找出原因与结果间的因果关系、原因与原因间的约束关系，画出如图1所示的因果图。 
图1 直角三角形问题因果图 
 
③ 将因果图转换成如表7所示的判定表。 
表7 直角三角形问题判定表 

④ 根据判定表，设计如表8所示的测试用例，给出输入数据和预期输出。 
表8直角三角形问题判定表驱动测试用例 

概念：

（1） 等价类划分法

等价类划分就是把所有输入数据划分为若干部分，从每一部分选取少数有代表性的数据作为测试用例，代表性数据等同于该类中的其他值。

通过考虑输入和输出数据可以把等价类划分为有效等价类和无效等价类，所谓的有效等价类就是对于程序规格说明而言，是合理的，有意义的输入数据构成的集合；所谓的无效等价类就是对于程序规格而言，是不合理的，无意义的输入数据构成的集合。

设计测试用例时要同时考虑有效等价类和无效等价类设计，在设计的时候要注意不要产生冗余或者设计不充分。

在根据等价类设计测试用例的时候，针对有效等价类，设计的测试用例应该尽可能多的覆盖有效测试用例；针对无效等价类，设计的每条测试用例只可以覆盖唯一的无效等价类。

（2） 边界值分析法

因为边界往往很容易发生错误，所以边界值分析选择等价类边界设计测试测试用例，是一种补充等价类划分法的测试用例设计方法。

边界值分析法是等价类分析法的补充，所有测试阶段都可以使用。

边界值使用范围广，更复杂，找到的缺陷也更多

等价分类法相比边界值分析法取值比较随意，等价类是在各等价类允许的值域内任意去的，边界值是在等价类边界值附近选取的。

边界值分析不仅考虑输入条件，还要考虑输出空间产生的测试情况。

（3） 因果图

边界值分析法和等价类划分法都着重考虑了输入条件但没有考虑输入条件之间的关系，因果图方法是充分考虑了输入情况的各种组合及输入条件之间的相互制约关系的一种方法。

用因果图生成测试用例的基本步骤

（1） 分析软件规格说明，找出哪些是原因，哪些是结果，并给每个原因和结果赋予一个标识符；

（2） 根据软件规格说明，找出原因和原因，原因和结果之间的对应关系，根据这些关系，画出因果图；

（3） 根据环境，在因果图上用一些标识符表明约束和现在条件表明一些特殊情况，如互斥

（4） 把因果图转换成判定表

（5） 把判定表的每一列拿出来作为数据，设计测试用例。

原因和结果之间的关系有，恒等，非，与，或

原因与原因之间的关系有，互斥，包含，唯一，要求，屏蔽

以上三种方法都属于黑盒测试。

2.软件测试根据是否实际执行代码可以分为静态测试和动态测试，其中动态测试又包含了白盒测试，黑盒测试和灰盒测试。逻辑覆盖是以程序内部的逻辑结构为基础的测试方法，属于白盒测试，包括语句覆盖，判定覆盖，条件覆盖，判定条件覆盖，条件组合覆盖，路径覆盖，其严谨程度是逐步增强的。

总结：

　　如果测试的软件结构较为复杂，系统较为庞大，测试重点在流程而非功能上，因果图和判定表比重较大。如果主要测试对象是一些数据流的输入输出，那边界值的比重较大，个人经验来看，等价类是非常通用的，边界值是对等价类的一个补充。