第七章实现及软件测试.pptVIP

99-5-5 Software Engineering 第一章 软件和软件工程 软 件 工 程 防不胜防的软件错误 —— 例：1963年, 美国, 飞往火星的火箭爆炸, 损失$ 10 million. 原因: FORTRAN循环 DO 5 I = 1, 3 误写为 DO 5 I = 1.3 软件测试的目的 基于不同的立场，存在着两种完全不同的测试目的。 从用户的角度出发，普遍希望通过软件测试暴露软件中隐藏的错误和缺陷，以考虑是否可接受该产品。 从软件开发者的角度出发，则希望测试成为表明软件产品中不存在错误的过程，验证该软件已正确地实现了用户的要求，确立人们对软件质量的信心。 Myers软件测试目的 (1) 测试是程序的执行过程，目的在于发现错误； (2) 一个好的测试用例在于能发现至今未发现的错误； (3) 一个成功的测试是发现了至今未发现的错误的测试。 软件测试的原则 1. 应当把“尽早地和不断地进行软件测试”作为软件开发者的座右铭。 2. 测试用例应由测试输入数据和对应的预期输出结果这两部分组成。 3. 程序员应避免检查自己的程序。 4. 在设计测试用例时，应当包括合理的输入条件和不合理的输入条件。 5. 充分注意测试中的群集现象。经验表明，测试后程序中残存的错误数目与该程序中已发现的错误数目成正比。 6. 严格执行测试计划，排除测试的随意性。 7. 应当对每一个测试结果做全面检查。 8. 妥善保存测试计划，测试用例，出错统计和最终分析报告，为维护提供方便。 §1. 基本概念 1、定义：测试是为了发现程序中的错误而执行程序的过程。 注意：① 只能尽可能查错，不能证明程序中 没有错； ② 测试员与程序员不应是同一个人。 2、黑盒和白盒测试 ? 白盒测试(white-box , or open-box, clear-box testing): 程序的结构和处理过程象白盒子一样透明. —— 结构测试 例：(White-box) 下图所示的程序中共有 520?1014条可能的执行通路，显然，每条通路都执行一遍是不现实的。 §2. 单元测试（采用白盒测试技术） 主要测试以下五个方面： 1、模块接口： ? 内部检查：传输参数的数目、属性、单位、次序是否匹配；全程变量的定义是否一致；只做输入的变元有无被修改，等等。 ? 外部检查：打开、结束、关闭文件的操作；文件和属性；I\O错误处理；输出拼写，等等。 2、局部数据结构： 数据说明(declaration)；初始化与缺省值的设置；变量名拼写；数据类型的相容性；上\下溢出及地址异常，等等。 §2.单元测试 3、重要的执行通路： 由于穷尽测试不可能，故通常针对最常见的错误设计测试方案。 （具代表性、最可能发生错误的执行通路） 1、代码审查(code inspection) ? 彻底检查: 例如 Lucent Technologies 的测试策略，是由三人一组(包括 author, reader, 和recorder)，逐行检查源代码。 ? 演习：由人扮演computer，模拟执行情况。 §3.集成测试 把下一个要测试的模块同已经测试好的 那些模块结合起来进行测试，测试完后再把 下一个应该测试的模块结合近来测试。 即：每次增加一个模块的方法。 两种方式的比较： ? Incremental testing 可以较早发现模块间的接口错误；Big-bang testing 最后才组装，因此错误发现得晚。 ? Big-bang testing 中发现错误后难以诊断定位； Incremental testing 中，出现的错误往往跟必威体育精装版加入的模块有关。 ? Incremental testing 在不断集成的过程中使模块不断在新的条件下受到新的检测，测试更彻底。 ? Incremental testing 较 Big-bang testing 费时。 Big-bang testing 可以同时并行测试所有模块，能充分利用人力。 ⑴ 自顶向下测试 第1步：测试顶端模块，用存根程序(stub)代替直接附属的下层模块 Stub: 模拟未测试模块的活动. 第2步：根据深度优先或宽度优先的策略，每次用一个实际模块代换一个stub。 ⑵ 自底向上测试 第1步：把