警惕軟件不可見缺陷

軟件上最細(xì)小的缺點(diǎn)有時(shí)候也會(huì)造成相當(dāng)嚴(yán)重的后果，因?yàn)樗浅Ｈ菀妆蝗藗兒鲆暋?如果以一種最原始的方式來(lái)劃分，我們所使用的計(jì)算機(jī)軟件中總是會(huì)存在兩種缺點(diǎn)：可見的和不可見的。一般情況下，我們總是會(huì)注意那些可 見的問題，而另一些問題由于不可見，我們就會(huì)認(rèn)為它們并不重要。這是完全錯(cuò)誤的。

今天之所以會(huì)跟大家聊這個(gè)話題，是因?yàn)樽罱鼜膱?bào)紙上看到一條新聞：馬來(lái)西亞的一位用戶在2006年4月份的電話費(fèi)賬單竟然高達(dá)218萬(wàn)億美元 。由于這條新聞在我周邊廣為流傳，它讓我想到了今天這個(gè)話題。不過在我看來(lái)，這個(gè)人其實(shí)很幸運(yùn)，因?yàn)榫瓦B一個(gè)孩子也能看出來(lái)，這份賬 單存在嚴(yán)重的錯(cuò)誤，一個(gè)3G手機(jī)持續(xù)上網(wǎng)一兩年，也不會(huì)有如此高的費(fèi)用。最終，馬來(lái)西亞電信部門也認(rèn)定這筆賬單存在錯(cuò)誤，因此免收了他 四月份的電話費(fèi)。

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

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

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

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