一秋草木

???? 可以考慮一下倘若編譯程序能夠正確地指出代碼中的所有問(wèn)題，那相應(yīng)程序的錯(cuò)誤情況會(huì)怎樣？這不單指語(yǔ)法錯(cuò)誤，還包括程序中的任何問(wèn)題，不管它有多么隱蔽。例如，假定程序中有“差1”錯(cuò)誤，編譯程序可以采用某種方法將其查出，并給出如下的錯(cuò)誤信息

-> line 23: while (i<=j)

off by one error: this should be '<'

又如，編譯程序可以發(fā)現(xiàn)算法中有下面的錯(cuò)誤：

???-> line 42: int itoa(int i, char* str)

algorithm error: itoa fails when i is -32768

再如，當(dāng)出現(xiàn)了參數(shù)傳遞錯(cuò)誤時(shí)，編譯程序可以給出如下的錯(cuò)誤信息：

-> line 318: strCopy = memcpy(malloc(length), str, length);

Invalid argument: memcpy fails when malloc returns NULL

好了，要求編譯程序能夠做到這一程度似乎有點(diǎn)過(guò)分。但如編譯程序真能做到這些，可以想象編寫(xiě)無(wú)錯(cuò)程序會(huì)變得多么容易。那簡(jiǎn)直是小事一樁，和當(dāng)前程序員的一般作法真沒(méi)法比。

假如在間諜衛(wèi)星上用攝像機(jī)對(duì)準(zhǔn)某個(gè)典型的軟件車(chē)間．就會(huì)看到程序員們正弓著身子趴在鍵盤(pán)上跟蹤錯(cuò)誤；旁邊，測(cè)試者正在對(duì)剛作出的內(nèi)部版本發(fā)起攻擊，輪番轟炸式地輸入人量的數(shù)據(jù)以求找出新的錯(cuò)誤。你還會(huì)發(fā)現(xiàn)，測(cè)試員正在檢查老版本的錯(cuò)誤是否溜進(jìn)了新版本。可以推想，這種查錯(cuò)方法比用上面的假想編譯程序進(jìn)行查錯(cuò)要花費(fèi)大得多的工作量、確實(shí)如此，而且它還要有點(diǎn)運(yùn)氣。

運(yùn)氣？

是的，運(yùn)氣。測(cè)試者之所以能夠發(fā)現(xiàn)錯(cuò)誤，不正是因?yàn)樗⒁獾搅酥T如某個(gè)數(shù)不對(duì)、某個(gè)功能沒(méi)按所期望的方式工作或者程序癱瘓這些現(xiàn)象嗎？再看看上面的假想編譯程序給出的上述錯(cuò)誤：程序雖然有了“差1”錯(cuò)誤，但如果它仍能工作，那么測(cè)試者能看得出來(lái)嗎？就算看得出來(lái)，那么另外兩個(gè)錯(cuò)誤呢？

這聽(tīng)起來(lái)好象很可怕但測(cè)試人員就是這樣做的大量給程序輸入數(shù)據(jù)，希望潛在的錯(cuò)誤能夠亮相。“噢，不！我們測(cè)試人員的工作可不這么簡(jiǎn)單，我們還要使用代碼覆蓋工具、自動(dòng)的測(cè)試集、隨機(jī)的“猴”程序、抽點(diǎn)打印或其他什么的”。也許是這樣，但還是讓我們來(lái)看看這些工具究竟做了些什么吧！覆蓋分析工具能夠指明程序中哪些部分未被測(cè)試到，測(cè)試人員可以使用這一信息派生出新的測(cè)試用例。至于其它的工具無(wú)非都是“輸入數(shù)據(jù)、觀察結(jié)果”這一策略的自動(dòng)化。

??? 請(qǐng)不要產(chǎn)生誤解，我并不是說(shuō)測(cè)試人員的所作所為都是錯(cuò)誤的。我只是說(shuō)利用黑箱方法所能做的只是往程序里填數(shù)據(jù)，并看它彈出什么。這就好比確定一個(gè)人是不是瘋子一樣。問(wèn)一些問(wèn)題，得到回答后進(jìn)行判斷。但這樣還是不能確定此人是不是瘋子。因?yàn)槲覀儧](méi)法知道其頭腦中在想些什么。你總會(huì)這樣地問(wèn)自己：“我問(wèn)的問(wèn)題夠嗎？我問(wèn)的問(wèn)題對(duì)嗎……”。