第九章软件测试软件工程教案海南大学(共5章)教学.ppt

等价类划分即把输入空间分解成一系列子域，软件在一个子域内的行为应是等价的。 软件错误分为两类：计算错误 域错误 针对计算错误的测试方法 针对域错误的测试方法:测试域边界 划定的正确性 边界值分析法 边界值分析法与等价类划分法区别 (1)边界值分析不是从某等价类中 随便挑一个作为代表，而是使 这个等价类的每个边界都要作 为测试条件。 (2)边界值分析不仅考虑输入条件， 还要考虑输出空间产生的测试 情况 被测试 子 域 测试内点 测试外点 软件边界与悬崖很类似 边界条件类型 如果软件测试问题 包含确定的边界,那 么数据类型可能是: 数值 字符 位置 数量 速度 地址 尺寸 …… 还要考虑数据类型的特征: 第一个/最后一个 最小值/最大值 开始/完成 空/满 最慢/最快 相邻/最远 超过/在内 …… 测试边界线 测试临近边界的合法数据,以及刚超过边界的非法数据. 越界测试通常简单地加1或很小的数 (对于最大值)和减1或很小的数(对于最小值). 输入 条件 报表日 期的类 型及长 度 1个数字字符 5个数字字符 7个数字字符 有1个非数字字符 全部是非数字字符 6个数字字符 显示出错 显示出错 显示出错 显示出错 显示出错 输入有效 日期 范围 月份 范围 “报表日期”边界值分析法测试用例 测试用例说明 测试数据 期望结果 选取理由 5 20015 2001005 2001.5 MAY--- 200105 月份为1月 月份为12月 月份1 月份12 200101 200112 200100 200113 200101 200512 200100 200513 输入有效 输入有效 显示出错 显示出错 输入有效 输入有效 显示出错 显示出错 在有效范围 边界上选取 数据 仅有1个合法字符 比有效长度少1 比有效长度多1 只有1个非法字符 6个非法字符 类型及长度均有效 最小日期 最大日期 刚好小于最小日期 刚好大于最大日期 最小月份 最大月份 刚好小于最小月份 刚好大于最大月份 测试用例设计 白盒测试用例设计 学生成绩查询程序 见教材p208 软件的纠错 纠错的策略 试凑法——设置可疑区，边试边瞧 跟踪法——分步执行,跟踪纠错语句 推理法——归纳、演绎（图下来的两张幻灯片） 常用的纠错技术 插入打印语句 设置断点 掩蔽部分程序 蛮力纠错技术 归纳法 从测试结果发现的错误入手，分析它们之间的联系查找错误。是一种从特殊推断一般的系统化思考方法。 收集 有关数据 组织数据 研究数据 间的关系 纠正错误 能 能 不能 不能 列出所有已知 的测试用例和 程序执行结果 常用的构造 线索的技术 是“分类法” 分析线索之间 的关系，找出 矛盾，设计出 错原因的假设 归纳排错法步骤 将假设与原始线索 或数据进行比较， 能否解释现象，证 明假设。 提出假设 证明假设 演绎法 演绎法是一种从一般原理出发，经过排除和精化的过程，推导出结论的方法。 列举可能 的原因 排除不适 当的原因 对保留的假 设继续推断 证明 假设 纠正 错误 收集更多 的数据 没有剩余 不能 能 有剩余 演绎法排错的步骤 有余 多模块程序的测试策略 软件测试策略主要考虑，如何把设计测试用例的技术组织成一个系统的、有计划的测试步骤。 从模块测试开始,一级一级向外扩展,直至整个系统测试完毕。 在测试的各个阶段应选择适宜的白盒测试和黑盒测试方法,由软件开发人员和一个独立的测试小组(对大项目而言)共同完成测试任务。 测试策略应包含测试规划、测试用例设计、测试实施和测试结果收集评估等。其中测试规划包括：测试的步骤、工作量、进度和资源等。 多模块程序的测试策略 测试的层次性 单元(模块)测试（unit testing） 综合(集成)测试（integration testing） 确认测试（validation testing） 系统测试（system testing） 程序错误的类型 语法错误 结构性错误 功能性错误 接口错误 层次测试的信息流 单元 测试 单元 测试 单元 测试 被测模块 被测模块 集成 测试 设计信息 已测试的模块 确认 测试 已集成的模块 软件需求 系统 测试 已确认的软件 可交付的软件 系统其他元素 测试步骤及策略 所有测试过程都应采用综合测试策略；即先作静态分析，再作动态测试。并事先制订测试计划。测试过程通常可分4步进行： 编码 测试 验收 单元测试 目的 通过模块测试，使其代码达到模块说明书的需求 任务 (1) 对模块代码进行编译，发现并纠正其语法错误； (2) 进行静态