捉虫记:那些造成数百万损失的著名代码错误

一个缺失的连字符,在发射后仅仅几秒钟,就摧毁了一枚价值数百万美元的火箭。一个舍入误差差点让证券交易所的开盘崩溃。软件历史上最昂贵的错误几乎从来不是戏剧性、复杂的错误——它们是微小、容易被忽视的错误,恰好出现在最糟糕的位置。

GCSE核心

水手1号:那个摧毁了一枚火箭的连字符

1962年,NASA的水手1号探测器在其制导软件开始发出极其错误的转向指令后,发射不到五分钟就被地面控制中心摧毁。根本原因可以追溯到一个手写誊抄的制导方程中缺失的一个字符——一个本应对微小传感器变化取平均值的平滑公式,反而把每一个微小的波动都当作真实、紧急的轨道修正来处理,把火箭送出了预定的轨道。

为什么小错误会造成最大的灾难

一个大而明显的错误通常很快就会被发现——程序立即崩溃,或者产生一个在测试中显而易见错误的答案,有人会注意到。真正造成实际损害的错误几乎总是那些足够微妙、能挺过测试并进入生产环境的错误:循环中的一个差一错误,一个只在不寻常值上才会出错的舍入假设,一个99.9%的时间是正确的、其余时间却灾难性地错误的条件。错误越小、越隐蔽,它能藏身的地方就越多。

这些故障真正改变了什么

水手1号的故障成了软件工程教学中的一个标准案例,并直接影响了任务关键代码的审查方式——一个誊抄错误可能有一天在没有二次检查的情况下进入实际制导系统的这种想法,恰恰是现代代码审查、自动化测试和形式化验证存在的目的,正是为了防止这种情况。每一个著名的历史性错误,在某种真实的意义上,都是某个特定工程安全措施今天存在的原因。如果调试、测试或软件工程实践需要作为一种真正的专业技能来解释,而不仅仅是考试内容,这正是我们GCSE计算机科学个别指导所做的事情——请在这里查看完整的学习路径。