2014白盒-4选编.ppt

循环测试 测试思想 关注循环体结构的正确性，对循环变量运用类似于边界值测试的方法以验证循环体结构的正确性。 四种不同类型的循环结构 简单循环 嵌套循环 连接循环 非结构循环 测试简单循环 测试嵌套循环 测试串接循环 测试非结构循环 定义/使用路径测试覆盖指标 Rapps-Weyuker数据流指标 全路径 全边 全节点 全定义准则 全使用准则 全谓词使用/部分计算使用准则 全计算使用/部分谓词使用准则 全定义-使用路径准则 * 白盒测试总结 静态测试 侧重于源代码检查和优化 基本思想：不需要设计测试用例，直接查看源代码和模拟执行代码，目标是直接定位代码中的缺陷，提出结构设计优化的意见和有关测试重点的建议 典型方法：同行评审、静态结构分析、代码质量度量和对变量的数据流测试 * 白盒测试总结 动态测试 侧重于关键程序结构的测试 基本思想：通过对导致程序结构复杂度的判定表达式、执行路径和循环结构设计测试用例，目标是达到某种程度的测试覆盖典型方法：基于逻辑表达式覆盖指标的判定测试、基于全路径覆盖的独立路径测试，以及基于循环过程覆盖的对循环的测试 * 白盒测试总结 综合使用策略 优先进行静态白盒测试 尽量利用测试工具完成代码结构和质量的相关分析和评估 针对关键变量，使用数据流的测试方法确定补充路径测试的重点 设计测试用例时，注意结合边界抽取测试数据，包括逻辑判定表达式的边界、循环次数的边界