软件失效的典型案例

案例1:Ariane 5火箭

1996年6月4日,Ariane 5火箭在法属圭亚那库鲁航天中心首次发射。火箭在发射37秒之后偏离其飞行路径并突然发生爆炸,与Ariane5火箭一同化为灰烬的还有4颗太阳风观察卫星。这是世界航天史上的一大悲剧,也是历史上损失最惨重的软件故障事件。

事后的调查显示,控制惯性导航系统的计算机向控制引擎喷嘴的计算机发送了一个无效数据,其原因在于将一个64位浮点数转换成16位有符号整数时产生了溢出。这个溢出值测量的是火箭的水平速率,开发人员在设计Ariane 4火箭的软件时,认真分析了火箭的水平速率,确定其值绝不会超出一个16位的数。而Ariane 5火箭比Ariane 4的速度高出近5倍,显然会超出一个16位数的范围。不幸的是,开发人员在设计Ariane 5火箭时只是简单地重用了这部分程序,并没有检查它所基于的假设。

 

案例2:Therac 25 放射治疗仪

Therac 系列仪器是由加拿大原子能有限公司(AECL)和法国CGL公司联合制造的一种医用高能电子线性加速器,用来杀死病变组织癌细胞,同时使其对周围健康组织影响尽可能降低,Therac 25属于第三代医用高能电子线性加速器。20世纪80年代中期,Therac 25放射治疗仪在美国和加拿大发生了多次医疗事故,5名患者治疗后死亡,其余患者则受到了超剂量辐射而严重灼伤。

Therac 25放射治疗仪的事故是由操作员失误和软件缺陷共同造成的。当操作员输入错误而马上纠正时,系统显示错误信息,操作员不得不重新启动机器。在启动机器时,计算机软件并没有切断X光束,病人一直在治疗台上接受着过量的X光照射,最终使辐射剂量达到饱和的25000拉德,而对人体而言,辐射剂量达到1000拉德就已经是致命的了。

 

案例3:爱国者导弹

1991年2月25日第一次海湾战争期间,在沙特阿拉伯的美国爱国者导弹系统没能成功拦截飞入伊拉克境内的飞毛腿导弹,该飞毛腿导弹击中了该地的一个美军军营并导致28个士兵阵亡。

事后的政府调查发现这次拦截失败的原因在于导弹系统时钟内的一个软件错误。该系统预测一个飞毛腿导弹下一次将会在哪里出现是通过一个函数来实现的,该函数接受两个参数,即飞毛腿导弹的速度和雷达在上一次侦测到该导弹的时间,其中时间是基于系统时钟时间乘以1/10所得到的秒数进行表示。我们知道,计算机中的数字是以二进制形式来表示的,十进制的1/10用二进制来表示就会产生一个微小的精度误差。当时该爱国者导弹系统的电池已经启动了100个小时,系统最终导致的时间偏差达到了0.34秒之多。一个飞毛腿导弹飞行的速度大概是1,676米/秒,因此在0.34秒的误差时间内针对飞毛腿导弹就会产生超过半公里的误差,这个距离显然无法准确地拦截正在飞来的飞毛腿导弹。

具有讽刺意味的是,这个时间误差导致的问题在代码的某些部分是有进行修复的,也就是说有人已经意识到这个错误,但问题在于当时并没有把相关的所有问题代码进行修复,这个时间精度的问题依然存在该系统之中。

 

案例4:东京证券交易所

2005年11月1日,日本东京证券交易所股票交易系统发生大规模系统故障,导致所有股票交易全面告停,短短2个小时造成了上千亿元的损失。故障原因是当年10月为增强系统处理能力而更新的交易程存在缺陷,由于系统升级造成文件不兼容,从而影响交易系统的使用。

 

案例5:12306火车票网上订票系统

国内12306铁道部火车票网上订票系统历时两年研发成功,耗资3亿元人民币,于2011年6月12日投入运行。2012年1月8日春运启动,9日网站点击量超过14亿次,系统出现网站崩溃、登录缓慢、无法支付、扣钱不出票等严重问题。2012年9月20日,由于正处中秋和“十一”黄金周,网站日点击量达到14.9亿次,发售客票超过当年春运最高值,再次出现网络拥堵、重复排队等现象。其故障的根本原因在于系统架构规划以及客票发放机制存在缺陷,无法支持如此大并发量的交易。

2014年春运火车票发售期间,由于网站对身份证信息缺乏审核,用虚假的身份证号可直接购票,黄牛利用该漏洞倒票。另外,在线售票网站还曝出大规模串号、购票日期穿越等漏洞。
 

转载于:https://www.cnblogs.com/qiangliu/p/4311973.html

  • 3
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值