第11章 软件测试 软件工程电子教案 教学课件.ppt

复旦大学计算机科学与工程系 软件工程课程 软件工程 第11章 软件测试 内容摘要 软件测试基础 白盒测试 黑盒测试 测试策略 面向对象测试 测试完成标准 调试 内容摘要 软件测试基础 白盒测试 黑盒测试 测试策略 面向对象测试 测试完成标准 调试 软件测试基础 软件测试的目的 软件测试的基本原则 白盒测试和黑盒测试 有关软件测试的错误观点 “软件测试是为了证明程序是正确的，即测试能发现程序中所有的错误”。事实上这是不可能的。要通过测试发现程序中的所有错误，就要穷举所有可能的输入数据。 对于一个输入三个16位字长的整型数据的程序，输入数据的所有组合情况有248 ? 3*1014，如果测试一个数据需1ms，则即使一年365天一天24小时不停地测试，也需要约1万年。 对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。例如一个小程序的流程图，它包括了一个执行20次的循环，其循环体有五个分支。这个循环的不同执行路径数达520条，如果对每一条路径进行测试需要1毫秒，那么即使一年工作365 × 24小时，要想把所有路径测试完，大约需3170年。 “程序测试是证明程序正确地执行了预期的功能”。实际上，一个程序不仅要完成它所需完成的功能，而且不应完成它不该做的事。如不能把边长为0、0、0的三条边判断为等边三角形。 软件测试的目的 Glen Myers给出的软件测试目的： 测试是一个为了发现错误而执行程序的过程 一个好的测试用例是指很可能找到迄今为至尚未发现的错误的测试用例 一个成功的测试是指揭示了迄今为至尚未发现的错误的测试 根据这个测试目的，我们应该排除对测试的错误观点，设计合适的测试用例，用尽可能少的测试用例，来发现尽可能多的软件错误。 软件测试的原则 Davis提出了一组指导软件测试的基本原则： 1.所有的测试都应可追溯到客户需求 2.应该在测试工作真正开始前的较长时间就进行测试计划 3. Pareto原则：测试中发现的80%的错误可能来自于20%的程序代码 4.测试应从“小规模”开始，逐步转向“大规模” 5.穷举测试是不可能的 6.为了达到最有效的测试，应由独立的第三方来承担测试 其他的测试原则： 1.在设计测试用例时，应包括合理的输入条件和不合理的输入条件 2.严格执行测试计划，排除测试的随意性 3.应当对每一个测试结果做全面检查 4.妥善保存测试计划、测试用例、出错统计和最终分析报告，为维护提供方便 5.检查程序是否做了应做的事仅是成功的一半，另一半是检查程序是否做了不该做的事 6.在规划测试时不要设想程序中不会查出错误 白盒测试与黑盒测试 测试用例的设计是软件测试的关键所在 设计尽可能少的测试用例来发现尽可能多的错误 设计最有可能发现软件错误的测试用例，同时避免使用发现错误效果相同的测试用例 测试用例的设计方法大体可分为两类：白盒测试和黑盒测试，也称白箱测试和黑箱测试 白盒测试（又称为结构测试）把测试对象看作一个透明的盒子，测试人员根据程序内部的逻辑结构及有关信息设计测试用例，检查程序中所有逻辑路径是否都按预定的要求正确地工作。 白盒测试主要用于对模块的测试，包括： 程序模块中的所有独立路径至少执行一次 对所有逻辑判定的取值（“真”与“假”）都至少测试一次 在上下边界及可操作范围内运行所有循环 测试内部数据结构的有效性等 黑盒测试（又称行为测试）把测试对象看做一个黑盒子，测试人员完全不考虑程序内部的逻辑结构和内部特性，只依据程序的需求规格说明书，检查程序的功能是否符合它的功能需求。 黑盒测试可用于各种测试，它试图发现以下类型的错误： 不正确或遗漏的功能 接口错误，如输入/输出参数的个数、类型等 数据结构错误或外部信息(如外部数据库)访问错误 性能错误 初始化和终止错误 内容摘要 软件测试基础 白盒测试 黑盒测试 测试策略 面向对象测试 测试完成标准 调试 白盒测试 常用的白盒测试方法有： 逻辑覆盖测试 基本路径覆盖测试 数据流测试 循环测试 逻辑覆盖测试 语句覆盖 判定覆盖 条件覆盖 判定－条件覆盖 条件组合覆盖 路径覆盖 例：对下列子程序进行测试 procedure example(y,z:real;var x:real); begin if (y1) and (z=0) then x:=x/y; if (y=2) or (x1) then x:=x+1; end; 该子程序接受x、y、z的值，并将计算结果x的值返回给调用程序。 与该子程序对应的流程图如下： 该子程序有两个判定： a: (y1) and (z=0) c: (y=2) or (x1) 判定a中有两个判定条件： y1、 z=0 判定c中有两个判定条件： y=2 、“x1” 根据程序的执行