软件测试实践第2章 白盒测试.pptVIP

路径6：循环两次， 执行路径：1-(2-3-4-5-8-9)2 -2-10-12-13 value[1] 和value[2]都不在指定范围，value[3]= -999 期望结果： ave= -999 路径7：循环m次 执行路径：1- (2-3-4-5-6-7-8-9)m -2-10-11-13 Value[1]……value[m]均为有效输入，m100，value[m+1]=-999 期望结果: 基于前m次有效值的正确平均值 路径8：循环m次 执行路径：1- (2-3-4-5-6-7-8-9)i –(2-3-4-5-8-9)m-i-2-10-11-13 Value[1]……value[i]均为有效输入且在指定范围，im100，Value[i+1]……value[m] 不在指定范围，value[m+1]=-999 期望结果: 基于前i次有效值的正确平均值 路径9：循环m次 执行路径：1- (2-3-4-5-6-7-8-9))m-2-10-12-13 Value[1]……value [m] 为有效值但不在指定范围，value[m+1]=-999 期望结果: ave= -999 路径10：循环99次 执行路径：1- (2-3-4-5-6-7-8-9)99-2-10-11-13 Value[1]……value[99]均为有效输入且在指定范围，value[100]=-999 期望结果:基于前99个值的正确平均值 路径11：循环99次 执行路径：1- (2-3-4-5-8-9)99-2-10-11-13 Value[1]……value[99]均为有效输入但不在指定范围，value[100]=-999 期望结果: ave= -999 第2章 白盒测试 2.1 白盒测试概述 2.2 白盒测试的测试用例设计方法 2.3 白盒测试的典型案例 2.4 白盒测试的工具 2.1 白盒测试概述 白盒测试又称为结构测试，主要是根据被测程序的内部结构设计测试用例。白盒测试根据测试方法可以分为静态白盒测试和动态白盒测试。 静态白盒测试是指在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程。 动态白盒测试是指测试运行中的程序，并利用查看代码功能和实现方式得到的信息来确定哪些需要测试，哪些不要测试，如何开展测试，从而设计和执行测试，找出软件缺陷的过程。 2.2 白盒测试的测试用例设计方法 白盒测试的测试用例设计方法主要为逻辑覆盖测试，逻辑覆盖测试包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖和路径覆盖 . 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 2.3 白盒测试的典型案例 例1 If (a1) and (b=0) then x=x/a if(a=2) or (x1) then x=x+1 语句覆盖 选择足够的测试用例，使程序中的可执行语句至少执行一次。 例子中要设计一个能通过ace的测试用例即可，a=2 b=0 x=3 语句覆盖较弱，测试不充分，无法发现程序中某些逻辑运算符和逻辑条件的错误。 判定覆盖 执行足够的测试用例，使得程序中的每个判定至少都获得一次“真”和“假”值，或者说使得程序中取“真”分支和取“假”分支至少经历一次。 例子：路径ace和abd，或通过路径acd和abe，即可达到判定覆盖标准。 X1错写为x1无法测试出来。 条件覆盖 设计若干测试用例，要使每个每个判定中每个条件的可能取值至少满足一次。 例子：第一个判定：a1，为真，记为t1; a1，为假，记为-t1; b=0,为真，记为t2; b=0 ,为假，记为-t2; 第二个判定：a=2，为真，记为t3; a=2，为假，记为-t3; x1,为真，记为t4; x1 ,为假，记为-t4; 下面第一组测试用例既判定覆盖，又条件覆盖；第二组测试用例条件覆盖，但没有判定覆盖。 判定/条件覆盖 要求设计足够多的测试用例，使得判定中每个条件的所有可能（真/假）至少出现一次，并且 每个判定本身的判定结果（真/假）至少出现一次。例子 测试用例 A b x 执行路径 覆盖条件 A1 and b=0 A=2 Or X1 用例1 2 0 3 ace T1,t2,t3,t4 T T 用例2 1 1 1 abd -t1,-t2,-t3,-t4 F F 条件组合覆盖 执行足够的测试用例，使得每个判定种条件的各种可能组合都至少出现一次。 例子中的条件组合： 1）a1,b=0 记为t1,t2 2）a1,b0 记为t1,-t2 3）a=1,b=0 记为-t1,t2 4）a = 1,b0 记为-t1,-t2 5) a = 2,x1记为t3,t4 6) a = 2,x=1记为t3,-t4 7)