BUG，規范，斷言和調試

對于BUG的自信
        Donald E. Knuth(高德納)在TeX: The Program的前言中說："我相信，在1985年11月27日，TeX代碼里面的最后一個BUG已經被發現和解決了。但是，如果代碼中仍舊有BUG，我很高興付給任何第一個發現BUG的人20.48美元(這是前一個金額的兩倍，而且我計劃在一年內把它翻倍。你看，我很自信！)"

想知道后來發生了什么嗎?

        在http://truetex.com/knuthchk.htm可以看到他寫出去的支票的金額是從2.56美元開始翻倍的。微基百科中關于這種支票的文章（http://en.wikipedia.org/wiki/Knuth_reward_check）說，截至2001年10月為止，他寫出去了超過兩千張這樣的支票，但是他的BUG支票是如此有名，以至于很多人把他的支票收藏起來而不是拿出去兌現（http://www.tug.org/whatis.html）。

有多少程序員在發布產品的時候可以這樣自信地聲明產品沒有問題？

        遺憾的是，現在的程序員經常把發現BUG的責任推給測試人員——“不用擔心，測試人員會發現所有BUG的，這是他們的工作”。實際上，測試人員并沒有開發人員的條件，他們不可能進行源代碼級別的調試，很大程度上只能靠運氣——沒錯，是靠運氣，如果一個BUG很容易被發現，程序員不太可能自己沒有發現它——來發現BUG。

原文轉自：http://www.kjueaiud.com