致命Bug：软件缺陷的灾难与启示

第1章 0.000000095的误差夺走28条生命 1 飞向美空军基地的“飞毛腿”导弹 1 “爱国者”导弹系统结构 3 导弹与软件的对决 5 美军的应对 6 “爱国者”注定这天要出事 7 第2章 遥远的火星探测之路： 软件错误导致两架探测器成为火星尘埃 11 太空探测的“文艺复兴” 11 苏联：迈出火星探测第一步 11 美国：火星探测首次成功 14 第一架火星着陆器 15 火星探测的主力军——美国 18 火星探测重新升温 18 NASA的火星探测计划 19 MCO尝试进入轨道 20 MCO通信中断 21 气动减速 22 单位标记不一致导致的悲剧 23 另一台探测器：MPL 26 虽然已进入火星大气层，但是…… 26 MCO与MPL留下的教训 27 第3章 “喂？喂？”一行代码导致的AT&T长途电话系统瘫痪事件 29 AT&T的历史 29 值得信赖的AT&T长途网络 31 出现网络故障 33 问题的起因在于一行错误代码 35 电话事故之后 35 第4章 软件错误带来的黑暗：2003年美国东北部大停电 39 韩国9·15停电事故 39 2003年美国东北部大停电 41 灾难开始 42 接连跳闸 46 最后的堡垒——Sammis-Star 345千伏输电线 48 临界点 51 iPad上市当天排起的长队 53 为什么没有处理预警? 56 第5章 不灭的“约克城”号 59 约克城 59 太平洋战争和“约克城”号 59 军费缩减计划示范舰 67 光荣的硬件，不争气的软件 68 第6章 因特网蠕虫病毒的开始——莫里斯蠕虫 71 互联网的特性 71 具备攻击与防御能力的软件 72 软件漏洞：蠕虫病毒出现 72 和蠕虫的斗争 74 “大虫”后续 76 莫里斯事件逸闻 77 第7章 软件也能使战机坠毁 79 瑞典JAS 39“鹰狮”战斗机坠毁事故 80 “鹰狮”试飞机坠毁 80 再次坠毁 81 原因在于软件 83 航空器中软件的作用日益突出 84 第8章 70亿美元的烟花秀： 阿丽亚娜5号运载火箭航班501 87 蓬勃发展的商业化航天技术 87 阿丽亚娜5号火箭的研发 88 阿丽亚娜5号运载火箭航班501 89 事故还原 89 结论 97 第9章 软件可用性的错