警惕軟件不可見缺陷

軟件上最細小的缺點有時候也會造成相當嚴重的后果，因為它非常容易被人們忽視。 如果以一種最原始的方式來劃分，我們所使用的計算機軟件中總是會存在兩種缺點：可見的和不可見的。一般情況下，我們總是會注意那些可 見的問題，而另一些問題由于不可見，我們就會認為它們并不重要。這是完全錯誤的。

今天之所以會跟大家聊這個話題，是因為最近從報紙上看到一條新聞：馬來西亞的一位用戶在2006年4月份的電話費賬單竟然高達218萬億美元 。由于這條新聞在我周邊廣為流傳，它讓我想到了今天這個話題。不過在我看來，這個人其實很幸運，因為就連一個孩子也能看出來，這份賬 單存在嚴重的錯誤，一個3G手機持續(xù)上網一兩年，也不會有如此高的費用。最終，馬來西亞電信部門也認定這筆賬單存在錯誤，因此免收了他 四月份的電話費。

我們可以想象一下，如果電信部門的錯誤沒有這么夸張，比如僅僅是把電話費統(tǒng)計為2180美元，甚至21800美元，電信部門能夠那么輕易的就承 認這是軟件故障造成的么？這樣不太明顯的錯誤，也許已經發(fā)生過很多次了，而由于錯誤不明顯，用戶和電信部門都沒有注意到。

這種處于“合理級別”上數(shù)字錯誤，在我們周圍相當普遍。在上個世紀九十年代，我就曾經遇到過軟件設計中的這種不為人注意的問題。當時 ，我們需要找出一種軟件能夠根據(jù)地震波清晰的計算出地下石油位置。而同時有九個不同的軟件擺在我們面前，他們都采用了相同的編程語言 ，所需數(shù)據(jù)模式也都相同（數(shù)學定義），因此相互間的競爭很激烈。這些軟件實際上都已經在各自的客戶那里有了上千年的執(zhí)行時間，用來幫 助客戶決定該在何處進行鉆孔。由于在北海建一個油井要花2500萬美元，因此一定要找一個相當精確的軟件。

最終我們決定將同一組數(shù)據(jù)交給這些軟件，看看它們是否能得出相同的結論，這次昂貴的實驗是由Enterprise Oil的基金來贊助的。讓我們感 到尷尬的是，這次的實驗結果出現(xiàn)了九個不同的答案，而且，更重要的是，每一個答案看上去都有自己充足的理由。

產生這些不同答案的一個重要原因就是各個軟件在開發(fā)過程中存在的不引人注意的瑕疵，而這在當時那種工業(yè)化的質量控制體系下，很難被及 時發(fā)現(xiàn)。另外，軟件的瑕疵一般在它的執(zhí)行時間達到1000至2000年時體現(xiàn)出來，因此我們不能在短期內完全信任那些剛剛發(fā)布的軟件。