软件工程教案(05)--测试技术.pptVIP

软件工程教案 （5）测试技术 张海涛 测试的产生 ? 编程大师说：“任何一个程序，无论它多么小，总存在着错误。” 初学者不相信大师的话，他问：“如果一个程序小得只执行一个简单的功能，那会怎样？” “这样的一个程序没有意义，”大师说，“但如果这样的程序存在的话，操作系统最后将失效，产生一个错误。” 但初学者不满足，他问：“如果操作系统不失效，那么会怎样？” “没有不失效的操作系统，”大师说，“但如果这样的操作系统存在的话，硬件最后将失效，产生一个错误。” 初学者仍不满足，再问：“如果硬件不失效，那么会怎样？” 大师长叹一声道：“没有不失效的硬件。但如果这样的硬件存在的话，用户就会想让那个程序做一件不同的事，这件事也是一个错误。” “没有错误的程序世间难求。” [James 1999] 1 测试的方法与步骤 “测试的目的就是寻找错误！” 1-1 测试规则 以发现错误为目的； 成功的方案是能够发现尚未发现的错误； 再好的方案也会有没发现的错误； 只能证明有错，不能证明没错。 1-1 测试规则 在实践中，测试要考虑时间、费用等限制，不允许无休止地测试。 “彻底地测试”只是一种理想。 测试有助于提高软件的质量，但是提高软件的质量不能依赖于测试。软件的高质量是设计出来的，而不是靠测试修补出来的。 为了测试的真实性，对测试的心理要求是“无情”。 1-2 测试的方法 （1）黑盒法： 只测输入和输出，不看内部结构。 问题：是否能穷尽所有I/O? （2）白盒法： 分析程序内部—每个分支通路。 问题：是否很耗费时间? 1-3 步骤 （1）模块测试（单元测试） （2）子系统测试：多个模块的组装，主要测试接口部分 （3）系统测试：完整的系统组装后测试 问题： *测试的目的是什么？ （4）验收测试：≈系统测试 与系统测试的区别：用户的参与+实际数据 （5）平行运行：对于关系重大的系统，必须新旧系统同时运行比对一段时间 1-4 测试阶段的信息流 输入信息： 软件配置—需求说明书，设计说明书，源程序清单 测试配置—测试计划，方案（用例，数据，结果） 输出信息：找到的错误 + 错误率数据 单元测试 2-1 目标1——“模块” 模块间的接口 局部数据结构 重要执行通路（选择，循环等） 出错处理 影响以上4方面的边界条件 2-1 目标1—“模块” 错误的声明（举例） 错误的变量（未声明，未使用） 溢出与不相容 精度与初值 2-2 目标2—模块接口 参数的性质、数目等是否对应？ 调用是否正确？ 与内部函数的参数传递是否正确？ 外部文件读/写，I/O的错误处理 输出信息的拼写错误 2-3 代码审查 （1）代码审查小组 组长，设计者，编码人员，测试人员 （2）过程： 分析文档-〉程序逻辑-〉提出问题 3 集成测试 3-1 组装测试方法 分模块测试→一次性组装→所有模块集成测试 分模块测试→逐个模块组装→直到集成测试 典型的渐增测试 3-2 结合方法 （1）自顶向下的结合方法： 主模块-〉子模块 在树状结构中采用深度/广度搜索逐个测试 （2）自底向上的结合方法：子模块-〉主模块 问题：两种方法的问题？ （3）混合法：以上两种方法结合使用 4 验收测试 4-1 测试方法——黑盒法 “系统是否为用户预期的系统？” 4-2 测试的范围 纯技术问题 用户特别感兴趣的问题 生产中的主要问题 用户使用步骤的相关测试 兼容性问题，可移植性问题 4-3 软件配置的复查 文档与程序的一致性 为今后的维护做准备 5 设计测试方案 “黑盒法为基本方案，白盒法做补充！” 5-1 边界值分析 经验：边界值最容易出错！ 测试用例设计： 边界值 边界值的相邻值 5-2 等价划分 等价划分：经典黑盒法 方法：划分出所有的有效等价类，进而划分所有无效等价类 例如：函数strToInt测试方案* function strToint(dstr:shortStr):integer 其中：shortStr=array[1..6]of char 5-3 逻辑覆盖 （1）逻辑覆盖：有选择地执行某些具有代表性的通路，用以替代穷尽法。 “黑盒法与白盒法的结合!” 5-3 逻辑覆盖 （2）逻辑覆盖分类： 语句覆盖：每个语句至少执行一次； 判定覆盖：语句覆盖+每个可能结果执行1次； 条件覆盖：语句覆盖+条件表达式的每个结果执行1次 条件/判定覆盖：条件覆盖+判定覆盖 5-3 逻辑覆盖 （2）逻辑覆盖分类： 条件组合覆盖：选取足够多的测试数据使每个判定表达式的组合条件都至少出现1次 其它说法： 点覆盖=语句覆盖； 边覆盖=判定覆盖； 路径覆盖=条件覆盖+判定覆盖+组合覆盖 5-4 错误推测 直觉+经验 僵化的模式+人的思考 5-5 小结 首选“边界值分析法” 必要时“等价