软件工程PPT电子教案课件-第十二章 软件测试.pptVIP

(3)归纳法调试 归纳法是一种从特殊推断一般的系统化思考方法。归纳法调试的基本思想是：从一些线索(错误征兆)着手，通过分析它们之间的关系来找出错误。 收集有关的数据，列出所有已知的测试用例和程序执行结果。看哪些输入数据的运行结果是正确的，哪些输入数据的运行结果有错误。 软件的纠错 1)收集和组织数据 由于归纳法是从特殊到一般的推断过程，所以需要组织整理数据，以发现规律。常以3W1H形式组织可用的数据： 软件的纠错 Yes No “What”列出一般现象 “Where”说明发现现象的地点 “When”列出现象发生时所有已知情况 “How”说明现象的范围和量级 “Yes”描述出现错误的现象的3W1H； “No”作为比较，描述了没有错误的现象的3W1H。通过分析找出矛盾来。 2)提出假设 分析线索之间的关系，利用在线索结构中观察到的矛盾现象，设计一个或多个关于出错原因的假设。 如果一个假设也提不出来，归纳过程就需要收集更多的数据。此时，应当再设计与执行一些测试用例，以获得更多的数据。 软件的纠错 3)证明假设 把假设与原始线索或数据进行比较，若它能完全解释一切现象，则假设得到证明；否则，就认为假设不合理，或不完全，或是存在多个错误，以致只能消除部分错误。 软件的纠错 (4)演绎法调试 演绎法是一种从一般原理或前提出发，经过排除和精化的过程来推导出结论的思考方法。 首先根据已有的测试用例，设想及枚举出所有可能出错的原因做为假设； 然后再用原始测试数据或新的测试，从中逐个排除不可能正确的假设； 最后，再用测试数据验证余下的假设确是出错的原因。 软件的纠错 列举所有可能出错原因的假设：把所有可能的错误原因列成表。通过它们，可以组织、分析现有数据。 利用已有的测试数据，排除不正确的假设：仔细分析已有的数据，寻找矛盾，力求排除前一步列出所有原因。如果所有原因都被排除了，则需要补充一些数据(测试用例)，以建立新的假设。 改进余下的假设：利用已知的线索，进一步改进余下的假设，使之更具体化，以便可以精确地确定出错位置。 证明余下的假设：做法同归纳法最后一步 软件的纠错 小程序可使用试探法、回溯法，大型程序使用归纳法或演绎法 发现错误的一般方法：固定错误?确定错误源?改正错误?测试修改?寻找类似错误 调试方法综述 软件的纠错 在调试方面，许多原则本质上是心理学方面的问题。调试由两部分组成，调试原则也分成两组。 (1)确定错误的性质和位置的原则 用头脑去分析思考与错误征兆有关的信息。 避开死胡同。 只把调试工具当做辅助手段来使用。利用调试工具，可以帮助思考，但不能代替思考。 避免用试探法，最多只能把它当做最后手段。 调试原则 软件的纠错 (2)修改错误的原则 在出现错误的地方，很可能还有别的错误。 修改错误的一个常见失误是只修改了这个错误的征兆或这个错误的表现，而没有修改错误的本身。 当心修正一个错误的同时有可能会引入新的错误。 修改错误的过程将迫使人们暂时回到程序设计阶段。 修改源代码程序，不要改变目标代码。 修改错误后应进行回归测试 软件的纠错 常用的纠错技术 插入打印语句 设置断点 掩蔽部分程序 蛮力纠错技术 注意： 调试完成后应删除多余的打印和注释语句，复原程序。 软件的纠错 软件测试分4个阶段： 单元测试：集中对用源代码实现的每一个程序单元进行测试，检查各个程序模块是否正确地实现了规定的功能。 集成测试：把已测试过的模块组装起来，主要对与设计相关的软件体系结构的构造进行测试。 确认测试：检查已实现的软件是否满足了需求规格说明中确定了的各种需求，以及软件配置是否完全、正确。 系统测试：把已经经过确认的软件纳入实际运行环境中，与其它系统成份组合在一起进行测试。 多模块程序的测试策略 单元 测试 单元 测试 单元 测试 模块 模块 模块 测试 报告 测试 报告 综合 测试 软件设计信息 测试 报告 已组装 软件 确认 测试 测试 报告 已确认 软件 软件需求信息 系统 测试 可运行 的系统 系统的其它成分 测试阶段 验收阶段 编码阶段 软件测试各阶段 多模块程序的测试策略 程序错误的类型 语法错误 结构性错误：通常与数据或控制流有关 结构异常 结构不全 结构多余 功能性错误：与用户需求不相符合 接口错误 系统错误：系统程序本身有错或对系统使用不当 多模块程序的测试策略 基本路径测试是Tom McCabe提出的一种白盒测试技术。使用这种技术设计测试用例时，首先计算过程设计结果的结构复杂度，并以该复杂度为指南定义执行路径的基本集合，从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个判定在执行时