软件工程_软件测试.pptVIP

软件生存周期;软 件 工 程;防不胜防的软件错误 —— 例：1963年, 美国, 飞往火星的火箭爆炸, 损失$ 10 million. 原因: FORTRAN循环 DO 5 I = 1, 3 误写为 DO 5 I = 1.3 ;§1. 基本概念;? 白盒测试(white-box , or open-box, clear-box testing): 程序的结构和处理过程象白盒子一样透明. —— 结构测试 ;例：(White-box) 下图所示的程序中共有 520?1014条可能的执行通路，显然，每条通路都执行一遍是不现实的。;3、测试步骤：;§2. 单元测试（白盒）;§2.单元测试;1、代码审查(code inspection) ? 彻底检查: 例如 Lucent Technologies 的测试策略，是由三人一组(包括 author, reader, 和recorder)，逐行检查源代码。 ? 演习：由人扮演computer，模拟执行情况。;§3. 集成测试 (Integration Testing);§3.集成测试;⑴ 自顶向下测试 第1步：测试顶端模块，用存根程序(stub)代替直接附属的下层模块 Stub: 模拟未测试模块的活动.;第2步：根据深度优先或宽度优先的策略，每次用一个实际模块代换一个stub。;⑵ 自底向上测试 第1步：把低层模块组合成族，每族实现一个子功能。 第2步：用驱动程序(Driver)协调测试数据的I\O，测试子功能族。 ;第3步：去掉Driver，自下而上把子功能族合成更大的子功能族。;⑶ Sandwich testing （三文治测试）;§4. 验收测试(Acceptance testing);§5. 设计测试方案(Plan of testing);§5. 设计测试方案;⑵判定覆盖(Branch coverage)：在⑴的基础上，每个判定的每个分支至少执行一次。;⑶ 条件覆盖(Condition coverage)：在⑴的基础上，使每个判定表达式的每个条件都取到各种可能的结果。;⑸ 条件组合覆盖：每个判定表达式中条件的各种可能组合都至少出现一次。;考察control flow graph 的角度，还可考虑下述覆盖： ⑹ 点覆盖;⑴ 划分经验 ? 当规定了输入范围时： ; ? 当规定了输入的规则时： 例：(PASCAL) 语言规定，每个语句以“ ；” 结 束? 有效类1个；无效类若干（以“ ，”结束、以“ ：”结束、以空格结束等等） ? 当输入为整型时：有效类可分为Z+、0、Z— 三种 ? 当处理表格时：有效类可分为空表、含一项的表、含多项的表等 注：① 以上经验亦适用于输出数据； ② 不需要测试编译程序肯定能发现的错误。;⑵ 设计步骤 ? 设计一个新方案以尽可能多地覆盖尚未被覆盖的有效等价类；重复这一步骤直到所有有效类都被覆盖为止。 ? 设计一个新方案以覆盖一个且仅一个尚未被覆盖的无效等价类；重复这一步骤直到所有无效类都被覆盖为止。（通常程序执行一个错误后即不继续检测其它错误，故每次只测一个无效类） ;3、边界值分析(Boundary Value Analysis) 注意：① 程序最容易在边界发生错误； ② 通常与等价划分结合进行。 4、错误推测(Failure Prediction) 思路：① 列出可能有的错误； ② 列出容易发生错误的特殊情况。 以此为基础设计测试方案。 根据：直觉、经验 工具：常见错误清单、判定表等。;5、实用策略(Practical Strategies) 黑盒设计 ? 白盒补充 ① 在任何情况下都应该使用边界值分析的方法； ② 必要时用等价划分法补充； ③ 必要时再用错误推测法补充； ④ 对照程序逻辑，检查测试方案。可根据对程序可靠性的要求采用不同的逻辑覆盖标准，必要时补充一些测试方案。 注: 即使用上述综合策略设计测试方案，仍不能保证发现一切错误。例如Lucent公司经过包括逐行检查源代码在内的多方面测试之后，其软件能达标运行的成功率为 ;§6.调 试(Debugging);Execution of cases;1、调试技术 ① 输出存储器内容(memory dum