黑盒测试用例设计案例-三角形

 【例1】假设现有以下的三角形分类程序。该程序的功能是，读入代表三角形边长的3个整数，判定它们能否组成三角形。如果能够，则输出三角形是等边、等腰或任意三角形的分类信息。图9.11显示了该程序的流程图和程序图。为以上的三角形分类程序设计一组测试 用例 。 ( U5 I5 x: t) n; J# {
         
; m0 t, ~6 i7 T! K1 x! x 【解】
! E" L5 l( |5 h; b  R0 |# K     第一步：确定测试策略。在本例中，对被测程序的功能有明确的要求，即：
6 F  V1 E, [& A0 c+ |     （1）判断能否组成三角形；
4 c! L# m9 [' I. m. ^2 t     （2）识别等边三角形；
8 j* @' f" k" n; ?+ b     （3）识别等腰三角形；  V# j# T! N. @0 f& O, C5 t( m
    （4）识别任意三角形。因此可首先用黑盒法设计测试用例，然后用白盒法验证其完整性，必要时再进行补充。5 K1 q3 p2 U& |) h; d
    第二步：根据本例的实际情况，在黑盒法中首先可用等价分类法划分输入的等价类，然后用边界值分析法和猜错法作补充。
& [  ~& [$ a1 x6 P; /     等价分类法：% ?6 r; X/ T( {) e) K
    有效等价类
* d1 S5 T" a) P& v     输入3个正整数：/ h) b0 t3 B. S
    (1)3数相等
6 /% n" Y  H9 e! |* L     (2)3数中有2个数相等，比如AB相等5 r" K: s$ a$ A1 V& [6 n4 G% O! e% z
    (3)3数中有2个数相等，比如BC相等
& {3 L8 X' /) ^- o- Y     (4)3数中有2个数相等，比如AC相等# y  P# l% n: t
    (5)3数均不相等
$ b$ m1 Z1 y  h0 L8 g     (6)2数之和不大于第3数，比如最大数是A
$ x7 h) G+ K/ T+ [* /     (7)2数之和不大于第3数，比如最大数是B# Y1 P9 y  H7 g2 q  N0 A
    (8)2数之和不大于第3数，比如最大数是C
" z' m+ }& X/ _$ j* u8 S1 M     无效等价类：. M1 c* P# Y# y9 h' T1 h
    (9)含有零数据0 z$ K- T( z5 W& C# {- y
    (10)含有负整数) [( y( [9 y% o
    (11)少于3个整数0 Y5 C- F. i) W0 N+ V, b' K+ m
    (12)含有非整数' J/ k& K) M. Q
    (13)含有非数字符
% w% V- B! B; l! V: @     边界值法：
6 E( L4 [6 w* I     (14)2数之和等于第3数: q: _2 l# Y' a5 |
    猜错法：
" R* D6 |- /2 O5 [     (15)输入3个零6 ~& B8 c& Y: C: }
    (16)输入3个负数
& [' x) E: Q7 A( y$ C     第三步：提出一组初步的测试用例，如下表所示：  ^6 d; m: J$ H2 t/ N
               ; m; n& ~& t3 Y8 {
        第四步：用白盒法验证第三步产生的测试用例的充分性。结果表明，上表中的前8个测试用例，已能满足对被测程序图的完全覆盖，不需要再补充其他的测试用例。