8软件工程第九章大同大学-1.pptVIP

第九章 软件测试 所谓软件测试是通过检查和提供客观证据表明软件已经满足规定的需求。软件测试是确保软件质量和降低软件成本的重要手段，是软件开发时期的最后一个阶段，也是软件质量保证中至关重要的一个环节。本章将重点讨论测试的策略与技术，纠错的策略与技术，以及多模块软件的 软件测试内容与方法。 第九章 软件测试 测试的基本概念 黑盒测试 白盒测试 测试用例设计 软件纠错 多模块程序的测试策略 面向对象系统的测试 测试的基本概念 测试（testing）的目的与任务 目的：发现程序的错误 任务：通过执行程序，暴露潜在的错误 纠错（debugging）的目的与任务 目的：定位和纠正错误 任务：消除软件故障，保证程序的可靠 运行 大程序——设立独立的测试小组 调试… 测试的特性 挑剔性 抱着为证明程序有错的目的去测试 复杂性 设计合适的测试用例 不彻底性 Dijkstra 一句名言：“程序测试只能证明错误的存在，但不能证明错误不存在” 经济性 进行有限的测试 有关测试的思考题 软件测试是一门非常重要的学科，主要研究内容是什么？ 软件测试需要什么样的专业基础？ 软件质量到底是什么？ 测试的目标是什么？ 开发一个测试系统之前你是否明白: 可以测试什么？ 应该测试什么？ 最终能够测试什么？ 测试的目标是什么？ 有关测试的思考题 软件产品最大的成本是检测软件错误、修正软件错误的成本。 软件在需求分析和设计阶段占用的工作量达到总工作量的40％～50％，说明软件开发前期的活动多么重要。当然这也包括分阶段开发原型的开销。大家熟悉的编码工作只占全部工作量的10％～20％，而软件测试和调试的工作量占到总工作量的30％～40％，甚至≥50%。 在人命关天的软件(如飞机控制、核反应堆等）测试所花费的时间往往是其它软件工程活动时间之和的三到五倍。 软件测试背景 软件是人编的—所以不完美 实例: 1994-1995,迪斯尼的狮子王系统不支持问题 Intel的pentium处理器1994年浮点除法缺陷 2000年8月28日，1.13MHZ处理器一个可能导致运行程序被挂起的执行指令问题 1999年12月3日,美国航天局火星极地登陆飞船失踪 1991年爱国者导弹防御系统系统时钟错误积累造成跟踪系统失去精确度 千年虫,世界各地解决2000年错误超过数亿美元 2004 （危险的展望， 2004年） Disneys Lion King, 1994-1995 （迪斯尼《狮子王》1994-1995年） 1994年秋天，迪斯尼公司发行了他们的第一部多媒体CD-ROM儿童游戏——《狮子王》一部生动活泼的故事书。虽然其它公司已经为孩子们制作了几年的程序，这是迪斯尼首次在这个市场上的冒险，为它做了大量的促销广告。销售是巨量的。孩子“必买的游戏”成了那时候的流行语。然而，接下来发生了什么——巨大的崩溃。同年12月26日，圣诞节第二天，迪斯尼的客户支持电话接连不断的响起来了。很快电话支持工程师就收到大量电话，电话那头是生气的父母带着因为软件不能工作而哭泣的儿童。众多的故事被新闻和电视台报道出来。 事件发生的原由，就在于迪斯尼没有将软件，在当前市场上众多的计算机模型上，进行广范围的测试。软件只运行在迪斯尼程序员编写程序的少数几个系统上，而不是公共领域里的大多数的系统。 Intel Pentium Floating-Point Division Bug, 1994 （英特尔奔腾浮点除法缺陷，1994年） 在您的个人计算机计算器里输入下面的方程式： (4195835 / 3145727) * 3145727 - 4195835 Intel Pentium Floating-Point Division Bug, 1994 （英特尔奔腾浮点除法缺陷，1994年） 假如您的答案是0，那么您的计算机是正确的。假如您的到了其他的答案，您一定是用的是一款旧的奔腾中央处理器，这款处理器有一个浮点除法缺陷，这本是一个软件缺陷，烧录进计算机芯片后，不断的在制造过程中复制再生。 Intel Pentium Floating-Point Division Bug, 1994 （英特尔奔腾浮点除法缺陷，1994年） 1994年10月30号，维吉尼亚州 林奇堡学院 托马斯?R?莱斯利博士，在他的一个是实验里发现了一个意外的结果，他跟踪到这个结果根源于一个错误的除法运算，而此时他用的平台正好是奔腾个人电脑。他将他的发现传到了英特网上，很快暴风雨来临，成千上万的人们复现了她的问题，而且还发现了