致命Bug：軟件缺陷的災(zāi)難與啟示

第1章 0.000000095的誤差?yuàn)Z走28條生命 1 飛向美空軍基地的“飛毛腿”導(dǎo)彈 1 “愛國者”導(dǎo)彈系統(tǒng)結(jié)構(gòu) 3 導(dǎo)彈與軟件的對決 5 美軍的應(yīng)對 6 “愛國者”注定這天要出事 7 第2章 遙遠(yuǎn)的火星探測之路： 軟件錯(cuò)誤導(dǎo)致兩架探測器成為火星塵埃 11 太空探測的“文藝復(fù)興” 11 蘇聯(lián)：邁出火星探測第一步 11 美國：火星探測首次成功 14 第一架火星著陸器 15 火星探測的主力軍——美國 18 火星探測重新升溫 18 NASA的火星探測計(jì)劃 19 MCO嘗試進(jìn)入軌道 20 MCO通信中斷 21 氣動(dòng)減速 22 單位標(biāo)記不一致導(dǎo)致的悲劇 23 另一臺探測器：MPL 26 雖然已進(jìn)入火星大氣層，但是…… 26 MCO與MPL留下的教訓(xùn) 27 第3章 “喂？喂？”一行代碼導(dǎo)致的AT&T長途電話系統(tǒng)癱瘓事件 29 AT&T的歷史 29 值得信賴的AT&T長途網(wǎng)絡(luò) 31 出現(xiàn)網(wǎng)絡(luò)故障 33 問題的起因在于一行錯(cuò)誤代碼 35 電話事故之后 35 第4章 軟件錯(cuò)誤帶來的黑暗：2003年美國東北部大停電 39 韓國9·15停電事故 39 2003年美國東北部大停電 41 災(zāi)難開始 42 接連跳閘 46 最后的堡壘——Sammis-Star 345千伏輸電線 48 臨界點(diǎn) 51 iPad上市當(dāng)天排起的長隊(duì) 53 為什么沒有處理預(yù)警? 56 第5章 不滅的“約克城”號 59 約克城 59 太平洋戰(zhàn)爭和“約克城”號 59 軍費(fèi)縮減計(jì)劃示范艦 67 光榮的硬件，不爭氣的軟件 68 第6章 因特網(wǎng)蠕蟲病毒的開始——莫里斯蠕蟲 71 互聯(lián)網(wǎng)的特性 71 具備攻擊與防御能力的軟件 72 軟件漏洞：蠕蟲病毒出現(xiàn) 72 和蠕蟲的斗爭 74 “大蟲”后續(xù) 76 莫里斯事件逸聞 77 第7章 軟件也能使戰(zhàn)機(jī)墜毀 79 瑞典JAS 39“鷹獅”戰(zhàn)斗機(jī)墜毀事故 80 “鷹獅”試飛機(jī)墜毀 80 再次墜毀 81 原因在于軟件 83 航空器中軟件的作用日益突出 84 第8章 70億美元的煙花秀： 阿麗亞娜5號運(yùn)載火箭航班501 87 蓬勃發(fā)展的商業(yè)化航天技術(shù) 87 阿麗亞娜5號火箭的研發(fā) 88 阿麗亞娜5號運(yùn)載火箭航班501 89 事故還原 89 結(jié)論 97 第9章 軟件可用性的錯(cuò)