软件测试-3白盒测试及其用例设计.ppt

第3章 白盒测试及其用例的设计;本章教学目标;3.1 白盒测试方法;白盒测试方法（续）;白盒测试方法（续）;白盒测试常用的测试用例设计方法;3.3 控制流图;常见结构的控制流图;转化程序流程图为控制流图;3.3 覆盖测试;;3.3.1 测试覆盖率;覆盖率概念;3.3.2 逻辑覆盖法;逻辑覆盖法（续）;逻辑覆盖法（续）;逻辑覆盖法（续）;逻辑覆盖法（续）;语句覆盖;判定覆盖;判定覆盖（续）;条件覆盖;条件覆盖（续）;条件覆盖（续）;判定-条件覆盖;判定-条件覆盖（续）;组合覆盖;组合覆盖（续）;路径覆盖;路径覆盖（续）;逻辑覆盖小结;3.4.3 功能覆盖;3.4.4 其他覆盖率;3.4.5 如何使用覆盖率;;课堂练习;A=2，B=0，X=4 (沿路径ace执行)；;A=3，B=0，X=3 (acd)；;A=2，B=1，X=1 (abe)；;判定-条件覆盖测试用例;判定条件的8种组合： A1，B=0 记为T1，T2； A1，B0 记为T1，F2； A=1，B=0 记为F1，T2； A=1，B0 记为F1，F2； A=2，X1 记为T3，T4； A=2，X=1 记为T3，F4； A2，X1 记为F3，T4； A2，X=1 记为F3，F4；;组合覆盖测试用例;A=2，B=0，X=4(ace);A=1，B=1，X=1(abd);路径覆盖测试用例;3.7 数据流测试;数据流测试关注变量定义赋值点（语句）和引用或使用这些值的点（语句）的结构性测试。用作路径测试的真实性检查。 程序和程序的元素通过它们的数据访问行为关联起来，确定了数据流关系。 数据流测试形式： 定义/使用测试 基于程序片的测试 定义/使用路径和片的定义能够非常准确地描述要测试的程序部分 ;;举例：程序;数据流图;可能的异常;可能的异常（续）;例如;;;该方法提供一种检查缺陷可能发生点的严格和系统化方法。 假设 程序图中的节点代表语句片段，且程序遵循结构 化程序设计规则，不允许有从节点到自身的边。 P——程序 G（P）——P的程序图 V——P的一组程序变量，v——P的变量 PATHS（P）——P中所有路径集合 ;v的定义节点n∈G（P） ：当且仅当v的值由对应节点n的语句片段处定义，DEF（v，n） v的使用节点n∈G（P） ：当且仅当v的值由对应节点n的语句片段处使用，USE（v，n） USE（v，n）是谓词使用（P-use，外度≥2）：当且仅当语句n是谓词语句，否则是计算使用（ C-use，外度≤ 1）。 ;;v的定义-使用路径（du-path）： PATHS（P）中的路径，使对v∈V，存在DEF（v，m）和 USE（v，n），m，n分别为路径的最初和最终节点 v的定义-清除路径（dc-path）： PATHS（P）中的具有最初DEF（v，m）和最终节点USE（v，n）的路径，该路径中没有其它节点是v的定义节点。 注意：不是定义-清除的定义-使用路径，可能是出问题的地方。;举例（佣金问题） 伪代码、程序图、DD路径表、DD-路径图 变量定义节点和使用节点（表10-2）;部分变量的定义/使用路径（表10-3） stocks的定义/使用路径（1╳1） locks的定义/使用路径（2╳2） totallocks的定义/使用路径（2╳3） sales的定义/使用路径（1╳6） commission的定义/使用路径（ 6 ╳4） 注意：机械组合的物理路径逻辑上不一定可行 ;;全定义准则： 当且仅当T包含从所有v的每个定义节点到v 的一个使用的定义清除路径 全使用准则： 当且仅当T包含从所有v的每个定义节点到v 的所有使用，以及到所有USE（v，n）后续 节点的定义清除路径;全谓词使用/部分计算使用准则： 当且仅当T包含从所有v的每个定义节点到v的所有谓词使用的定义清除路径，如果v的一个定义没有谓词使用，则定义清除路径导致至少一个计算使用 全计算使用/部分谓词使用准则： 当且仅当T包含从所有v的每个定义节点到v的所有计算使用的定义清除路径，如果v的一个定义没有计算使用，则定义清除路径导致至少一个谓词使用;全定义-使用路径准则： 当且仅当T包含从所有v的每个定义节点到v的 所有使用，以及到所有USE（v，n）后续节点的定义清除路径，并且这些路径要么有一次环路经过，要么没有环路。 定义/使用路径测试覆盖指标以上面5种情况 为依据选择路径的集合，这些指标的关系如下：;定义/使用路径测试覆盖指标关系; 程序片是确定或影响某个变量在程序某个点上的取值的一组程序语句； 片测试可以消除变量之间的交互对测试的影响； 片测试的原则是选择恰当，完整的片，对每个片进行测试。; 定义： P中对V中的变量值作出贡献的所有语句的集合，即V在语句n