第1-2讲基于模型的测试详解.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 编号 输入 预期输出 覆盖的等价类 a b c TC1 5 6 7 一般三角形 (1)(2)(3)(10)(11)(12)(20)(22)(24) TC2 -2 5 6 边值无效 (4) … … … … … … TC6 50 105 65 边值无效 (7) TC7 50 65 105 边值无效 (9) TC8 15 5 6 非三角形 (13) … … … … … … TC13 5 6 11 非三角形 (18) TC14 5 5 5 等边三角形 (19) (21) (23) 测试用例-3 三角形问题 输入条件-4 边长在输入域范围 两边之和大于第三边 三边是否相等 三角形问题 条件 有效类 无效类 边长在输入域范围 1 ≤ a ≤ 100 (1) a 1 (4), a 100 (5) 1 ≤ b ≤ 100 (2) b 1 (6), b 100 (7) 1 ≤ c ≤ 100 (3) c 1 (8), c 100 (9) 两边之和大于第三边 a b+ c (10) a b + c (13), a = b + c (14) b a+ c (11) b a + c (15), b = a + c (16) c a+ b (12) c a + b (17), c = a + b (18) 三边是否相等 a = b ? a ? c (19) a = c ? a ? b (20) b = c ? a ? b (21) a = b ? a = c (22) a ? b ? a ? c (23) 等价类划分-4 三角形问题 编号 输入 预期输出 覆盖的等价类 a b c TC1 5 6 7 一般三角形 (1)(2)(3)(10)(11)(12)(20)(22)(24) TC2 -2 5 6 边值无效 (4) … … … … … … TC6 50 105 65 边值无效 (7) TC7 50 65 105 边值无效 (9) TC8 15 5 6 非三角形 (13) … … … … … … TC13 5 6 11 非三角形 (18) TC14 5 5 6 等腰三角形 (19) TC15 5 6 5 等腰三角形 (20) TC16 6 5 5 等腰三角形 (21) TC17 5 5 5 等边三角形 (22) 测试用例-4 三角形问题 边界值分析法 x1 x2 a b c d (1) 边界值分析测试用例 x1 a b 边界值分析法 x1 x2 a b c d (2) 健壮性测试用例 x1 a b 示例：三角形问题 边长在输入域范围 a的取值：{0, 1, 2, 45, 99, 100, 101} b的取值：{0, 1, 2, 45, 99, 100, 101} c的取值：{0, 1, 2, 45, 99, 100, 101} 边界值分析法 x1 x2 a b c d x1 a b 边界值分析法 (3) 最坏情况测试用例 边界值分析法 (4) 健壮最坏情况测试用例 * 参数值组合 所有组合： 所有特性的所有块的组合 测试数是每个变量的等价类数之积： ? Q i =1 (Bi) 三角形：7*7*7 = 343 太多? 每选择：每个特性的每个块的一个值在至少一个测试用例中被使用使用 Max Q i =1 (Bi) 测试数是所有特性的块数最大值： 太少? 参数值组合 怎样测试输入的组合? 正交数组测试 (Orthogonal array testing) 程序错误都是由少数几个参数的相互作用导致的 t覆盖正交数组 任意t(一般是2或3)个参数的所有可能取值组合至少被一个测试用例覆盖 三角形问题—正交数组(成对) 编号 a b c TC1 0 0 0 TC2 0 1 1 TC3 0 2 2 TC4 0 45 45 TC5 0 99 99 TC6 0 100 100 TC7 0 101 101 TC8 1 0 1 TC9 1 1 2 TC10 1 2 45 TC11 1 45 99 TC12 1 99 100 TC13 1 100 101 TC14 1 101 0 TC15 2 0 2 TC16 2 1 45 TC17 2 2 99 TC18 2 45 100 TC19 2 99 101 TC20 2 100 0 TC21 2 101 1 编号 a b c TC22 45 0 45 TC23 45 1 99 TC24 45 2 100 TC25 45 45 101 TC26 45 99 0 TC27 45 100 1 TC28 45 10