软件工程 第13章 软件测试.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 复旦大学计算机科学技术学院 软件工程（第二版） 调试方法 蛮力法 蛮力法是一种最省脑筋但又最低效的方法。它通过在程序中设置断点，输出寄存器、存储器的内容，打印有关变量的值等手段，获取大量现场信息，从中找出错误的原因 这种方法效率低，输出的信息大多是无用的，通常在其他调试方法未能找到错误原因时，才使用这种方法 可以采用二分法来逐步缩小出错的范围 * 复旦大学计算机科学技术学院 软件工程（第二版） 回溯法回溯法是从错误的征兆出发，人工沿着控制流程往回跟踪，直至发现错误的根源。这种方法适用于小型程序，对大型程序，由于回溯的路径太多，难以彻底回溯 * 复旦大学计算机科学技术学院 软件工程（第二版） 原因排除法 原因排除法又可分为归纳法和演绎法 归纳法是一种从特殊推断一般的系统化思考方法。其基本思想是：从一些线索（错误征兆）着手，通过分析它们之间的关系来找出错误的原因 组织数据 收集 有关数据 研究数据 之间的关系 导出假设 证明假设 纠正错误 能