stefanzan分享 http://blog.sciencenet.cn/u/stefanzan

博文

价值1.35亿美元的BUG

已有 1841 次阅读 2017-6-5 09:47 |系统分类:博客资讯

译者按: 一横值千金啊!

原文: Mariner 1’s $135 million software bug

译者: Fundebug

为了保证可读性,本文采用意译而非直译。

今天,我们有丰富的开发工具可以使用,在写代码的时候自动帮助我们识别拼写错误,类型错误和其它容易犯错的地方。即使不借助开发工具,也可以慢慢地一行一行的reivew代码。然而,当年连这样的福利都没有。

在打孔时代,工程师手动将代码翻译成一张张被打孔的卡片或则使用一个专用的打孔机器来辅助翻译和打孔。





如果不小心敲错了、输入了不正确的命令,没有一个屏幕显示刚刚输入的字符以便查验。如何确保打出来的卡片是否正确呢?再打一张卡片出来,然后使用一个叫做卡片验证器的工具。验证器外观和打孔器几乎一模一样。



史上最严重的BUG就是由于在打孔的时候的一个失误,最终造成了1962年的水手一号的发射失败。

水手1号探测器是美国发射的第一个水手系列探测器,该探测器原计划探测金星,但因出现故障而被摧毁,它是美国“水手计划”发射的第一个空间探测器。



水手一号在当年耗资1850万美元,相当于现在的1.35亿美元。

水手一号飞船在1962年的7月22号从弗罗里达的卡纳维拉尔角发射基地升空。在发射之后的几分钟内,阿特拉斯(antenna)导航系统失败,切换到后备的雷达系统。然而该雷达系统有一个很严重的软件BUG:在使用打孔机编写代码的时候,忽略了公式中的一个上横线,导致导航系统对偏差过度修正,最终偏离正确的轨道。

根据推算,如果不及时阻止,水手一号很有可能坠落在居民区。为了防止造成安全威胁,在发射后293秒,一名区域安全主管主动发送命令摧毁了该飞船。

此次水手一号发射失败不仅仅是因为软件BUG,实际上在此前的两次发射中,使用相同的系统并没有出问题。因为只有当硬件导航系统失败之后,才会启动有BUG的后备雷达系统。当然,这个BUG是导致发射失败的主要原因。幸运的是,该BUG很快被修复,一个月之后,水手二号成功发射去完成水手一号的任务,飞往水星。

如果当年的代码可以像如今一样展示在屏幕上被我们review, 是否可以提早排除呢?依然不确定,毕竟有人的因素在里面。事实上,类似的事情在时隔30年之后还是有发生。我们不知道当年NASA使用了什么样的手法去review代码,我只能猜测代码验证器看来没有发挥多大作用。

欢迎加入我们Fundebug全栈BUG监控交流群: 622902485




版权声明:

转载时请注明作者Fundebug以及本文地址:

https://blog.fundebug.com/2017/06/05/worst-software-bug-series-1/




https://blog.sciencenet.cn/blog-811611-1059119.html

上一篇:虚拟机与Docker有何不同?
下一篇:什么是Docker Volume?
收藏 IP: 58.23.11.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-22 03:30

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部