世界上最完美的两个软件，太厉害了！

今天给各人介绍两个软件，一个别现了人类在软件开发流程上的极致，别的一个则表现了法式员个别才能的巅峰。

先来说第一个，航天飞机飞翔控造软件，就是下图那个各人伙。

航天飞机重达120吨，还照顾着2000吨的燃料。

它有四台硬件不异，软件也不异的计算机对发射过程停止精准控造，从几千个传感器中提取信息，每秒做出几百个决定，而且对每个决定停止投票。

第五台计算机，则运行着差别的软件，随时待命，筹办替代其他发作毛病的计算机。

那些计算机要确定什么时候对主策动机点火，什么时候命令固体火箭助推器点火，火箭姿势控造....

每次发射，软件都控造着价值40亿美圆的设备，六名航天员的生命，以及国度的梦想。

那个软件不克不及瓦解，不克不及重启，最小的误差都不允许：一个三分之二秒的计时错误就会使航天飞机偏离航路近5公里。

洛克希德马丁公司的航天飞机小组实现了目的：软件几乎没有错误，接近完美。

软件的最初三个版本，每个版本(42万行代码)只要一个Bug。

最初的11个版本一共有17个错误，同等复杂度的贸易法式有5000个。

如许的软件是若何炼成的呢？

谜底是极为苛刻软件流程。

洛克希德马丁公司的航天飞机软件小组有260名员工，那些人缔造了一种完全差别的开发文化。

没有超等明星法式员，开发软件的整个流程都是有意设想的，不依赖任何特定的人。

那个流程使得他们过上一般的生活，满足最初期限，交付完全契合其许诺的软件。

那个流程包罗几个要点：

1. 软件的量量取决于软件的方案

在航天飞机软件开发小组，软件开发周期中有三分之一的时间不写代码，而是和NASA一路用来讨论需求：软件应该做什么工作。

即便是最细小的细节也要达成一致。不是口头达成一致，而是写下来，文档化，构成标准，十分专业和切确。

未经两边的同意，标准中的任何内容都不会更改。

没有优良定义的标准，法式员不会改任何一行代码。

例如让航天飞机利用GPS导航，那一变革仅涉及6366行代码，占法式总量的1.5%， 但是相关的文档长达2500页，涵盖了各类各样的前提，分收，几乎就是伪代码了。

而航天飞机系统的软件，总文档足足有30卷，40000页！

2. 两个百科全书式的数据库

一个是代码汗青的数据库，每一行代码都有正文，显示每次的更改时间，更改原因，更改目标，有哪些文档详细申明了更改。

关于代码发作的一切都记录在那里，每一行代码的“祖谱”都能够立即供给给每小我。

第二个是错误数据库，记录了软件在编写和运行时发作的每一个错误，能够逃溯到近20年前。

每个错误城市记录下它被发现的时间，是谁发现了它，其时正在发作什么活动（测试，训练，飞翔），错误是若何引入的，为什么逃过了设想阶段，开发阶段，测试阶段的严酷审查.....

因为积累了如斯多的数据，以致于他们开发了一个代码模子，能预测某个版本中可能有几错误。

若是开发人员和测试人员发现的Bug太少，各人会反复流程，勤奋使得现实和预测相婚配。

3.不行要修复错误，要修复任何引入错误的工具

若是软件存在缺陷，那么编写它的体例必然存在问题。

在方案阶段没有发现的Bug，是若何逃过查抄的？查抄流程能否出了问题，是不是要在checklist上增加一项查抄？

重要的是，不要将错误归罪于小我。流程要承担责任---启动一个阐发的流程来发现Bug的原因。

航天飞机软件开发小组的流程是如斯强大，不单单通过了SEI CMM5的认证，并且SEI的很多尺度就来自于那个小组的各类理论。

洛克希德马丁开发了近乎完美的软件，各人必定会想到一个问题：那种开发体例会不会扼杀缔造力？

他们的答复是：会，因为各人必需根据手册上规定的流程去做，而且每时每刻都有人在背后监视。

人们必需将缔造力用于改动流程，而不是改动软件。

典范巨著《计算机法式设想的艺术》在法式员界可谓是无人不知，无人不晓了。

1973年，那部刚出到第三卷的书（方案写七卷）已被计算机界视为“神做”, 1974年美国计算机学会就“迫不及待”的把计算机界的更高奖图灵奖授予高德纳。

此时高德纳仅仅36岁 ！只靠一套还没有完成的书就获得ACM图灵奖，不单是前无前人，估量也后无来者了。

然而令人大跌眼镜的是， 拿到图灵奖以后， 高德纳颁布发表暂停写做， 理由竟然是现有的计算机排版系统太差，毁坏了书的美感 ！然后单枪匹马开发出了革命性的排版系统TEX , TEX至今仍是全球学术排版的不贰之选。

TEX功用强大，几乎无懈可击，其版本号也很有意思，不是数字(3.0， 3.1, 3.2....) 也不是年份(Windows 95, 98, 2000...),而是不竭迫近的圆周率 （3.1415926...) ,那从侧面反映了软件几近完美，不需要做改良了。

高德纳曾暗示“最初一次晋级是（于我过世后）将版本数改为 π，那时任何余下的破绽将被看做法式的功用！

有趣的是高纳德为此还设置了奖金，谁能从TEX 发现第一个Bug ，奖励2.56美圆，然后每年翻一倍，5.12，10.24......

做为算法的巨匠，不成能不晓得指数增长的可怕性，但高德纳对本身的代码量量十分有自信心，事实上，当奖金到达327.68美圆以后，根本上就没什么Bug报出来了。

那些找到Bug 的人收到高德纳签名的收票以后也不去兑换， 而是做为珍品保藏了 :-)

高德纳编程才能之强能够说是碾压硅谷的所有法式员，面向对象的创造人Alan Kay（2003年图灵奖）那么说过：

60年代末，当我在斯坦福处置AI项目时，每个感恩节我们城市和硅谷的编程高手们举行编程竞赛，McCarthy（人工智能之父，1971年获图灵奖）出题， 奖品是仿佛是一只火鸡。

高德纳参与的那一年，把我们都给虐了， 他的代码无论是法式施行和算法施行都是最快的，而且他用的是一台最慢的批处置机器！

我们问高德纳：“你是怎么做到的？”

他说：“当我进修编程时，若是每天有五分钟的时间利用机器，就快乐得不得了， 所以必需要让法式一次运行胜利，没有错误，算法设想到达更佳。”