2014软件测试第章动态测试技术白盒测试方法.docVIP

第5章 动态测试技术（2）-白盒测试方法 教学内容： 掌握白盒测试的基本概念 掌握逻辑覆盖、基本路径覆盖白盒测试方法 理解其他白盒测试方法、测试、测试、域测试、Z覆盖及其对逻辑覆盖测试的 主要的黑盒测试方法有 逻辑覆盖测试 基本路径覆盖测试 循环测试 程序插装 程序变异测试 其他白盒测试 数据流测试 域测试 Z路径覆盖 符号测试 逻辑覆盖测试 概述： 考察使用测试数据运行被测程序时对程序逻辑的覆盖程度 希望选择最少的测试用例来满足所需的覆盖标准 常用的覆盖标准 语句覆盖 判定覆盖 条件覆盖 判定－条件覆盖 条件组合覆盖 路径覆盖 实例 题目要求： 对下列子程序进行测试 procedure example(y,z:real;var x:real); begin if (y1) and (z=0) then x:=x/y; if (y=2) or (x1) then x:=x+1; end; 该子程序接受x、y、z的值，并将计算结果x的值返回给调用程序。 与该子程序对应的流程图如下： 该子程序有两个判定： a: (y1) and (z=0) c: (y=2) or (x1) 判定a中有两个条件： y1、 z=0 判定c中有两个条件： y=2 、x1 根据程序的执行流程可知： 当判定a为“假”时，判定C中的x就是输入的x值，此时，相对于输入的x而言，判定C中的“x1”就是“x1” 当判定a为“真”时，判定C中的x是经过x=x/y计算后的值，此时，相对于输入的x而言，判定C中的“x1”实际是“x/y1”，即“xy” 该子程序有四条可执行路径： 路径1 sabcde ， 其执行条件（L1）是a为“t”且c为“t” L1= {(y1) and (z=0)} and {(y=2) or (x/y1)} = (y1) and (z=0) and (y=2) or (y1) and (z=0) and (x y ) = (y=2) and (z=0) or (y1) and (z=0) and (x y ) 路径2 sace ，其执行条件（L2）是 a为“f”且c为“f” L2 = not{(y1) and (z=0)} and not{(y=2) or (x1)} = { not (y1) or not (z=0) } and { not (y=2) and not (x1) } = not (y1) and not (y=2) and not (x1) or not (z=0) and not (y=2) and not (x1) =(y≤1) and (x ≤ 1) or (z ≠ 0) and (y ≠ 2) and (x ≤ 1) 路径3 sacde ，其执行条件（L3）是 a为“f”且c为“t” L3 = not {(y1) and (z=0)} and {(y=2) or (x1)} = { not (y1) or not (z=0)} and {(y=2) or (x1)} = not (y1) and (y=2) or not (y1) and (x1) or not (z=0) and (y=2) or not (z=0) and (x1) = (y ≤ 1) and (x1) or (z ≠ 0) and (y=2) or (z ≠ 0) and (x1) 路径4 sabce ，其执行条件（L4）是 a为“t”且c为“f” L4 = {(y1) and (z=0)} and not {(y=2) or (x/y1)} = (y1) and (z=0) and not (y=2) and not (x y) =(y1) and (z=0) and (y ≠ 2) and (x ≤ y) 语句覆盖： 语句覆盖是指选择足够的测试用例，使得运行这些测试用例时，被测程序的每个可执行语句都至少执行一次 执行条件L1（t,t） (y=2) and (z=0) or (y1) and (z=0) and (x y ) 测试数据 预期结果 x=4,y=2,z=0 x=3 判定覆盖 判定覆盖（也称分支覆盖）是指选择足够的测试用例，使得运行这些测试用例时，被测程序的每个判定的所有可能结果都至少执行一次（即判定的