第四部分白盒测试.ppt

第四部分 白盒测试 结构流分析 程序结构分析 数据流分析 控制流分析 逻辑覆盖：语句覆盖、判定覆盖、条件覆盖、 判定—条件覆盖、路径覆盖等 程序插桩：方法简介、断言语句 其他白盒测试简介 最少测试用例计算 众所周知，结构化程序是由3种基本控制结构组成的： 顺序型－构成串行操作； 选择型－构成分支操作； 重复型－构成循环操作。 为了把问题简化，避免出现测试用例太多的组合，把构成循环操作的重复型结构用选择结构代替，只对循环体检验一次。这样，任一循环便改造成进入循环体或不进入循环体的分支操作了。 在做了以上简化循环的假设以后，对于一般的程序控制流，只要考虑选择型结构。 N-S图表示的基本控制结构 最少测试用例计算 例1：两个串行分支结构的N-S图 例2：最少测试用例计算 §3 路经分析 着眼于路径分析的测试为路径测试； 完成路经测试的理想情况时做到路径覆盖； 一、路径表达式和路径数 可用弧序列或节点序列表示某一条具体路径。给出路径通式时用弧序列表示。 1、路径表达式 路径表达式有两个运算符：相乘和相加 §3 路经分