第29、30、31讲白盒测试技术.pptVIP

第29讲 白盒测试方法 上次回顾 掌握白盒测试概念 精通代码检查法 本讲目标 精通逻辑驱动覆盖 精通程序流程图和控制流图 精通基本路径测试 精通程序插桩技术 精通桩模块和驱动模块 掌握冒烟测试 面向对象测试 动态测试原则 保证每个模块的所有独立路径至少被使用一次 对所有的逻辑值均测试true和false 上下边界及可操作范围内运行所有循环 检查内部数据结构以确保其有效性 动态测试方法 边界值测试 逻辑驱动覆盖法（针对分支语句） 基本路径法覆盖法（针对循环语句） 循环语句 边界值测试 数据类型边界值 数组的边界值 分支判断语句的边界值 逻辑覆盖 从覆盖源程序语句的详细程度分析，逻辑覆盖标准有语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖和路径覆盖。 语句覆盖 为了暴露程序中的错误，程序中的每条语句至少应该执行一次。所以，语句覆盖的含义是：选择足够多的测试数据，使被测程序中每条语句至少执行一次。 判定覆盖 比语句覆盖稍强的覆盖标准是判定覆盖。按判定覆盖准则进行测试是指，设计若干测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次，即判断的真假值均曾被满足。判定覆盖又称为分支覆盖。 条件覆盖 在设计程序中，一个判定语句是由多个条件组合而成的复合判定。 条件覆盖的含义是：构造一组测试用例，使得每一判定语句中每个