黑盒测试等价类划分法边界值法判定表法因果图法正交阵列法

回顾 • 黑盒测试 • 等价类划分法 • 边界值法 • 判定表法 • 因果图法 • 正交阵列法

功能性测试方法总结 方法评价精细程度工作量

测试用例数 高精细程度低边界值等价类决策表各种测试方法的测试用例趋势线精细程度

工作量 设计测试用例的工作量高精细程度低边界值等价类决策表各种测试方法的测试用例设计工作量

功能测试方法选择 • 边界值分析 • 基于定义域,不识别数据或逻辑关系 • 很容易自动化实现 • 设计工作量小 • 生成的测试用例数比较多 • 测试用例执行时间长 • 等价类技术 • 考虑数据依赖关系 • 标识等价类时需要更多的判断和技巧 • 等价类标识出以后的处理也是机械的 • 设计工作量和测试用例数属中等 • 决策表技术 • 又要考虑数据的逻辑依赖关系 • 所得测试用例可以是完备的 • 测试数量在一定意义上讲是最少的 • 需要通过多次迭代 • 设计工作量很大

综合案例 • 保险金计算程序 • 保险金=500 ×年龄系数 – 安全驾驶折扣 • 安全驾驶折扣是投保人驾驶执照上当前点数的函数 • 年龄系数是投保人年龄的函数 • 若点数低于等于与年龄有关的点数门限，则给予安全驾驶折扣 • 程序输入:年龄,点数 • 驾驶人年龄范围为16-100岁 • 点数范围为0-12 • 输出：保险金

综合案例 年龄系数和安全驾驶折扣计算表

输入变量年龄和点数的边界值条件1

输入变量年龄和点数的边界值条件2 点数边界值共有13个，年龄边界值共有21个笛卡儿乘积（最坏情况边界值测试用例）共有273个元素，存在严重冗余

等价类划分方法 • 年龄等价类集合 • A1={16<=年龄<25} • A2={25<=年龄<35} • A3={35<=年龄<45} • A4={45<=年龄<60} • A5={60<=年龄<=100} • 点数等价类集合 • P1={点数=0,1} • P2={点数=2,3} • P3={点数=4,5} • P4={点数=6,7} • P5={点数=8,9,10,11,12}

保险金程序的强等价类测试用例 等价类测试明显可以缓解冗余，但仍然有改进的余地

决策表方法

保险金程序的决策表测试用例 • 该方案也存在一些问题 • 没有考虑边界的问题 • 没有考虑16岁以下和100岁以上的年龄 • 没有考虑点数大于12的情况 • 可将三种方法结合起来考虑以得到更好的测试方案

测试方法的选择 • 通常，在确定测试方法时，应遵循以下原则： • 根据程序的重要性和一旦发生故障将造成的损失来确定测试等级和测试重点。 • 认真选择测试策略，以便能尽可能少的使用测试用例，发现尽可能多的程序错误。因为一次完整的软件测试过后，如果程序中遗留的错误过多并且严重，则表明该次测试是不足的，而测试不足则意味着让用户承担隐藏错误带来的危险，但测试过度又会带来资源的浪费。因此测试需要找到一个平衡点。

白盒测试 1 2 3 4 白盒测试基本概念逻辑覆盖测试基本路径测试循环测试第二章测试设计技术

白盒测试的基本概念 • 什么是白盒测试 • 把程序看成装在一个透明的白盒子里，程序的结构和处理过程完全可见，按照程序的内部逻辑测试程序，以检查程序中的每条通路是否都能按照预先要求正确工作。

… 逻辑覆盖循环测试基本路径测试白盒测试的常用方法

逻辑覆盖 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术，属于白盒测试。它要求测试人员十分清楚程序的逻辑结构，考虑的是测试用例对程序内部逻辑覆盖的程度。 • 语句覆盖 • 判定覆盖 • 条件覆盖 • 判定／条件覆盖 • 条件组合覆盖 • 路径覆盖

逻辑覆盖（续） • 根据覆盖目标的不同，逻辑覆盖又可分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。 • 语句覆盖：选择足够多的测试用例，使得程序中的每个可执行语句至少执行一次。 • 判定覆盖：通过执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值，也就是使程序中的每个取“真”分支和取“假”分支至少均经历一次，也称为“分支覆盖”。 • 条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的可能取值（真/假）都至少满足一次。

逻辑覆盖（续） • 判定/条件覆盖：设计足够多的测试用例，使得程序中每个判定包含的每个条件的所有情况（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次。 ——满足判定/条件覆盖的测试用例一定同时满足判定覆盖和条件覆盖。 • 条件组合覆盖：通过执行足够的测试用例，使得程序中每个判定的所有可能的条件取值组合都至少出现一次。 ——满足组合覆盖的测试用例一定满足判定覆盖、条件覆盖和判定/条件覆盖。 • 路径覆盖：设计足够多的测试用例，要求覆盖程序中所有可能的路径。

入口 a F x>3 && z<10 b T c 执行语句块1 F x==4 || y>5 d T e 执行语句块2 执行语句块3 逻辑覆盖（续） void DoWork (int x,int y,int z){ int k=0, j=0; if ( (x>3)&&(z<10) ){ k=x*y-1; j=sqrt(k); } //语句块1 if ( (x==4)||(y>5) ){ j=x*y+10; } //语句块2 j=j%3; //语句块3 }

1 语句覆盖 设计足够的测试用例，使得程序中的每个语句至少执行一次。

入口 a ? F x>3 && z<10 第一个判断中的逻辑运算符“&&”若错写成了“||”,能否测试出来？ b T c 执行语句块1 F x==4 || y>5 d T e 执行语句块2 执行语句块3 1 语句覆盖程序执行的路径是：abd 路径：P1（TT）P2（FF）P3（FT）P4（TF）

2 判定覆盖 设计足够的测试用例，使得在语句覆盖的基础上,程序中每个判定的取“真”分支和取“假”分支至少都执行一次，判定覆盖又称分支覆盖。

入口 a ? F x>3 && z<10 判定覆盖比语句覆盖强，但是仍不能保证判断条件的正确性。例如：第二个判断条件中的y＞5若错写成了y＜5,能否测试出来？ b T c 执行语句块1 F x==4 || y>5 d T e 执行语句块2 执行语句块3 2 判定覆盖(分支覆盖) 程序执行的路径是：abd，ace

3 条件覆盖 设计足够的测试用例，在语句覆盖的基础上使得程序判定中的每个条件能获得各种可能的结果。

入口 a F ? x>3 && z<10 是否满足判定覆盖? b T c 执行语句块1 F x==4 || y>5 d T e 执行语句块2 执行语句块3 3 条件覆盖程序执行的路径是：ace

4 判定／条件覆盖 设计足够的测试用例，使得判定中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。

入口 a F x>3 && z<10 b T c 执行语句块1 F x==4 || y>5 d T e 执行语句块2 执行语句块3 4 判定/条件覆盖程序执行的路径是： abd ， ace 判定／条件覆盖仍有缺陷。从表面上看，它测试了所有条件的所有可能结果，但事实上并不是这样。因为某些条件掩盖了另一些条件。例如，在逻辑表达式中，如果“与”表达式中某一条件为“假”，则整个表达式的值为“假”，这个表达式中另外的几个条件就不起作用了。同样地，如果在“或”表达式中，某一条件为“真”，则整个表达式的值为“真”，其它条件也就不起作用了。因此，采用判定／条件覆盖时，逻辑表达式中的错误不一定能测试出来。

5 条件组合覆盖 设计足够的测试用例，使得每个判定中的条件的各种可能组合都至少出现一次。

5 条件组合覆盖 可能的条件组合： 1、x>3, z<10 记做T1 T2 2、x>3, z>=10 记做T1 -T2 3、x<=3, z<10 记做-T1 T2 4、x<=3, z>=10 记做-T1 -T2 5、x==4, y>5 记做T3 T4 6、x==4, y<=5 记做T3 -T4 7、x!=4, y>5 记做-T3 T4 8、x!=4, y<=5 记做-T3 -T4 相应的输入数据： x=4、y=6、z=5满足（1）和（5） x=4、y=5、z=15 满足（2）和（6） x=2、y=6、z=5满足（3）和（7） x=2、y=5、z=15满足（4）和（8）显然，满足条件组合覆盖的测试数据，也一定满足判定覆盖、条件覆盖和判定／条件覆盖标准。

入口 a ? F x>3 && z<10 请写出各测试用例的执行路径。然后考察是否覆盖了(abe)路径。 b T c 执行语句块1 F x==4 || y>5 d T e 执行语句块2 执行语句块3 5 条件组合覆盖 TEST CASES： x=4、y=6、z=5 x=4、y=5、z=15 x=2、y=6、z=5 x=2、y=5、z=15

条件组合覆盖 判断/条件覆盖判断覆盖条件覆盖语句覆盖

入口 a F x>3 && z<10 b T c 执行语句块1 F x==4 || y>5 d T e 执行语句块2 执行语句块3 6 路径覆盖每条可能的路径都至少执行一次。 Test cases: 覆盖条件 ① x=4、y=6、z=5 T1 T2 T3 T4 ② x=4、y=5、z=15 T1 -T2 T3 -T4 ③ x=2、y=5、z=15 -T1 -T2 -T3 -T4 ④ x=5、y=5、z=5 T1 T2 -T3 -T4 程序执行的路径是： abd 、acd、 ace 、 abe

练习补充 • 在下面所列举的逻辑测试覆盖中，测试覆盖最强的是，最弱的是。 A.条件覆盖 B. 条件组合覆盖 C.语句覆盖 D.条件/判定覆盖 B C • 一个多用户的应用系统通常有用户管理功能，允许增加新的用户。用户信息中的用户名假设规定必须是以字母开头的、不超过8个字符的字母数字串，那么，下面哪一组值均属于用户名的有效等价类？( ) • A. L, linyifen, A1111111, glenford1 • B. a1111111, L1, Lin-Yie, Lin-feng • C.linyifen, A1111111, glenford1, 123B123 • D. linyifen, A1111111, glenford1, G.Myers • E. linyifen, A1111111, glenford1, Myers E

练习补充 • 请阅读程序： (1)现在需要使用逻辑覆盖法测试，请问使用下面哪一组关于(a, b,c)的输入值，组合就可以达到条件覆盖？( ) • A. (a, b,c) = (1,1,1)、(-1,1,1) • B. (a, b,c) = (1,1,1)、(-1,-1,-1) • C.(a, b,c) = (1,1,-1)、(1,1,1) • D. (a, b,c) = (1,1,-1)、(-1,1,1) int func(int a, int b,int c) { int k = 1; if ((a>0)||(b<0)||(a+c>0)) k = k+a; else k = k+b; if (c>0) k = k+c; return k ; } B (2) 如果测试时采用这组输入值组合: (a, b,c) = (1,1,-1)、(1,1,1)、 (-1,1,1)、 (0,1,1) ，那么可以实现哪种覆盖？( ) A. 条件覆盖 B. 分支覆盖 C. 路径覆盖 D. 条件组合覆盖 B

X>8 AND Y>5 N Y X>0 OR Y>0 X>16 OR Y>10 N Y N Y 引用语句3 引用语句1 引用语句2 习题 • 为以下流程图所示的程序段设计一组测试用例，要求分别满足语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖和路径覆盖。

黑盒测试 等价类划分法 边界值法 判定表法 因果图法 正交阵列法