软件的质量保证与测试技术_第二章软件测试概述.pdf

软件质量保证与测试技术 (Software Quality Assurance and Testing Technology) 昆明理工大学 信息工程与自动化学院 计算机系 姜瑛（jy_910@163.com ） 软件质量保证与测试技术 姜瑛 软件测试概述 2/122 第二章 软件测试概述 软件质量保证与测试技术 姜瑛 软件测试概述 3/122 内容  软件测试产生的背景  软件测试概念  软件测试与软件质量保证  软件测试模型  软件测试方法  软件测试策略  软件测试实施 软件质量保证与测试技术 姜瑛 软件测试概述 4/122 软件失效（1 ）  1996年6月4 日，Ariane 5火箭在法属圭亚那库鲁航天中 心首次发射。火箭在发射37秒之后偏离其飞行路径并 突然发生爆炸，与Ariane5火箭一同化为灰烬的还有4颗 太阳风观察卫星  控制惯性导航系统的计算机向控制引擎喷嘴的计算机 发送了一个无效数据，其原因在于将一个64位浮点数 转换成16位有符号整数时产生了溢出。这个溢出值测 量的是火箭的水平速率，开发人员在设计Ariane 4火箭 的软件时，认真分析了火箭的水平速率，确定其值绝 不会超出一个16位的数。而Ariane 5火箭比Ariane 4 的速 度高出近5倍，显然会超出一个16位数的范围。不幸的 是，开发人员在设计Ariane 5火箭时只是简单地重用了 这部分程序，并没有检查它所基于的假设 软件质量保证与测试技术 姜瑛 软件测试概述 5/122 软件失效（2 ）  Therac 系列仪器是由加拿大原子能有限公司（AECL ） 和法国CGL公司联合制造的一种医用高能电子线性加 速器，用来杀死病变组织癌细胞，同时使其对周围健 康组织影响尽可能降低，Therac 25属于第三代医用高 能电子线性加速器。20世纪80年代中期，Therac 25放 射治疗仪在美国和加拿大发生了多次医疗事故，5名患 者治疗后死亡，其余患者则受到了超剂量辐射而严重 灼伤  由操作员失误和软件缺陷共同造成。当操作员输入错 误而马上纠正时，系统显示错误信息，操作员不得不 重新启动机器。在启动机器时，计算机软件并没有切 断X光束，病人一直在治疗台上接受着过量的X光照射， 最终使辐射剂量达到饱和的25000拉德，而对人体而言， 辐射剂量达到1000拉德就已经致命 软件质量保证与测试技术 姜瑛 软件测试概述 6/122 软件失效（3 ）  1991年2月25 日第一次海湾战争期间，在沙特阿拉伯的 美国爱国者导弹系统没能成功拦截飞入伊拉克境内的 飞毛腿导弹，该飞毛腿导弹击中了该