工程師13年編碼、測試和調試經(jīng)驗大匯總

　　在《Learning From Your Bugs》一文中，我寫(xiě)了關(guān)于我是如何追蹤我所遇到的一些最有趣的bug。最近，我回顧了我所有的194個(gè)條目（從13歲開(kāi)始），看看有什么經(jīng)驗教訓是我可以學(xué)習的。下面是我總結的最重要的經(jīng)驗教訓，包括編碼，測試和調試三個(gè)方面。

　　編碼

　　下面這些都是我經(jīng)歷過(guò)的會(huì )導致難點(diǎn)bug的問(wèn)題：

　　1.事件順序。在處理事件時(shí)，提出下列問(wèn)題會(huì )很有成效：事件可以以不同的順序到達嗎？如果我們沒(méi)有接收到此事件會(huì )怎么樣？如果此事件接連發(fā)生兩次會(huì )怎么樣？哪怕通常不會(huì )發(fā)生，但系統（或交互系統）其他部分的bug可能會(huì )導致事件發(fā)生呢。

　　2.過(guò)早。這是第一點(diǎn)“事件順序”的一個(gè)特例，但它確實(shí)會(huì )引起一些棘手的bug，因此我把它單獨拎出來(lái)說(shuō)明。例如，如果信令消息在配置和啟動(dòng)程序完成之前就被過(guò)早接收，那么可能就會(huì )有很多奇怪的行為發(fā)生。另一個(gè)例子：連接在被放進(jìn)空閑列表之前就被標記為down。在調試這類(lèi)問(wèn)題時(shí)，我們總是假定在空閑列表中的時(shí)候連接被設置為down（但當時(shí)為什么不把它放到列表外面呢？）。這是我們思考的不足，沒(méi)有考慮到有時(shí)候事情會(huì )過(guò)早發(fā)生。

　　3.悄無(wú)聲息的故障。一些最難跟蹤的bug有部分是由那些靜靜失敗并擴展而不是拋出錯誤的代碼所導致的。例如，沒(méi)有檢查代碼卻返回錯誤的系統調用（如bind）。又如：解析代碼在它遇到錯誤元素的時(shí)候只是返回而非拋出錯誤。在錯誤狀態(tài)中持續了一段時(shí)間的調用，會(huì )使調試變得更難。最好一旦檢測到故障就返回錯誤。

　　4.If。有若干條件的if語(yǔ)句，if （a 或 b） ，特別是當有鏈接的時(shí)候， if （x） else if （y），都給我引發(fā)了很多bug。即使if語(yǔ)句在概念上很簡(jiǎn)單，但當有多個(gè)條件要跟蹤的時(shí)候依然很容易出錯。這些天，我嘗試重寫(xiě)代碼使之更簡(jiǎn)單，以避免處理復雜的if語(yǔ)句。

　　5.Else。有一些bug是因為沒(méi)有正確考慮到如果條件為false時(shí)會(huì )發(fā)生什么而引起的。幾乎在所有的情況下，都應該有一個(gè)else部分來(lái)應對每一條if語(yǔ)句。此外，如果你在if語(yǔ)句的分支中設置變量，那么或許你在另一個(gè)分支中也要設置。與此種情況相關(guān)的是標記被設置的情況。只添加用于設置的標記的條件不難，但是很容易忘了添加當標記應該再次重置時(shí)的條件。留下一個(gè)永遠設置的標志可能會(huì )導致之后接連不斷的bug。

　　6.改變假設。許多一開(kāi)始最難預防的bug是因為改變了假設所造成的。例如，在開(kāi)始時(shí)，可能每天只有一個(gè)客戶(hù)事件。于是很多代碼是在這樣的假設下寫(xiě)下的。但是后來(lái)，設計改變了，允許每天有多個(gè)客戶(hù)事件了。發(fā)生這種情況時(shí)，很難改變新設計影響到的所有情況。找到關(guān)于改變的所有顯式依賴(lài)關(guān)系不難，難的是要找到所有隱性依賴(lài)于舊的設計的情況。例如，可能會(huì )有獲取給定某一天所有客戶(hù)事件的代碼。其中的隱含假設是結果集永遠不會(huì )超過(guò)客戶(hù)的數量。關(guān)于這方面的問(wèn)題我也沒(méi)有很好的策略方法，如果各位有的話(huà)，還請不吝賜教。

　　7.日志記錄?？梢暬绦蜃鍪裁粗陵P(guān)重要，特別是當邏輯很復雜的時(shí)候。確保補充足夠多的（但不要太多）日志記錄，這樣你就可以說(shuō)明為什么程序要這么做。如果一切正常，那也沒(méi)關(guān)系，但要是有問(wèn)題發(fā)生，你會(huì )很慶幸自己添加了這些日志。

　　測試

　　作為一個(gè)開(kāi)發(fā)人員，直到要測試了我才會(huì )去處理功能。至少，這意味著(zhù)每一行新的或改變了的代碼行至少已經(jīng)被執行過(guò)一次。此外，單元測試和功能測試都很不錯，但還不夠。新的功能也必須進(jìn)行測試，并在類(lèi)似于產(chǎn)品的環(huán)境中探索。只有這樣，我才能說(shuō)我完成了一個(gè)功能。下面是我經(jīng)歷過(guò)的bug所教會(huì )我的關(guān)于測試的一些重要的經(jīng)驗教訓：

　　8.零和null。如果可行的話(huà)，確?？偸怯昧愫蚽ull來(lái)測試。對于字符串，這意味著(zhù)要測試長(cháng)度為零的字符串以及字符串為null兩種情況。又如：測試TCP連接的斷開(kāi)，要在發(fā)送數據給它發(fā)送之前。不使用這些組合方法測試是導致bug出現的首位原因。

　　9.添加和刪除。通常，新的功能包括能夠添加新的配置到系統中——例如，一個(gè)用于手機號碼轉換的新的配置文件。測試它能否添加新的配置文件是很自然的。但是，我發(fā)現我們很容易忘記去測試刪除配置文件是不是同樣ok。

　　10.錯誤處理。處理錯誤的代碼往往是難以測試的。最好有能檢查錯誤處理代碼的自動(dòng)測試，但有時(shí)這是不可能的。我有時(shí)會(huì )使用的一招是臨時(shí)修改代碼，使得錯誤處理代碼運行起來(lái)。要做到這一點(diǎn)最簡(jiǎn)單的方法是反轉if語(yǔ)句——例如，從if error_count 》 0改成error_count == 0。另一個(gè)例子是拼錯數據庫列名，從而導致期望的錯誤處理代碼運行。

　　11.隨機輸入。通常，揭露bug測試的一種測試方法是使用隨機輸入。例如，H.323協(xié)議的ASN.1解碼使用二進(jìn)制數據操作。通過(guò)發(fā)送隨機字節去解碼，我們發(fā)現了解碼器中的幾個(gè)bug。另一個(gè)例子是用測試呼叫來(lái)生成腳本，此時(shí)呼叫持續時(shí)間，接聽(tīng)延遲，第一方掛斷等等都是隨機生成的。這些測試腳本會(huì )暴露許多bug，特別是一起發(fā)生的事件會(huì )產(chǎn)生并攏干擾。

　　12.檢查不應該發(fā)生的動(dòng)作。通常測試包括檢查期望動(dòng)作是不是發(fā)生了。但我們很容易忽視相反的情況——忘記檢查不應該發(fā)生的動(dòng)作是不是的確沒(méi)有發(fā)生。

　　13.擁有工具。我創(chuàng )建了自己的小工具，以使得測試更加簡(jiǎn)單。例如，當我用VoIP SIP協(xié)議工作時(shí)，我寫(xiě)了一個(gè)能夠用正是我想要的標題和值回復的小腳本。這個(gè)工具使得測試很多邊界情況變得容易起來(lái)。另一個(gè)例子是可以進(jìn)行API調用的一個(gè)命令行工具。通過(guò)啟動(dòng)逐漸添加所需小功能，我得到了一些非常有用的工具。自己寫(xiě)工具的好處是，我得到的正是我想要的。

　　在測試中發(fā)現所有的bug，那絕對是不可能的。有一個(gè)案例中，我更改了數字相關(guān)性的處理，數字由兩個(gè)部分組成：路由地址前綴（通常是不變的），以及從000到999動(dòng)態(tài)分配的數字。問(wèn)題在于當找到相關(guān)性時(shí)，動(dòng)態(tài)分配的數字的第一個(gè)數字會(huì )在呈現在表格中之前遭到誤刪。也就是說(shuō)637變成了37。這意味著(zhù)，到100之前它都是可以工作的，因此，前面100個(gè)電話(huà)是正常的，但是接下來(lái)的900個(gè)都是失敗。所以，除非我在重新啟動(dòng)之前能夠測試超過(guò)100次（事實(shí)是我沒(méi)有），否則我在測試時(shí)就不會(huì )發(fā)現這個(gè)問(wèn)題。

　　調試

　　14.討論。幫助我最多的調試技術(shù)是與同事討論問(wèn)題。通常情況下，只是和同事說(shuō)明問(wèn)題，就會(huì )讓我意識到問(wèn)題的癥結。此外，即使他們不是很熟悉有問(wèn)題的代碼，他們也往往能提出一些好點(diǎn)子。與同事討論在處理最難的bug時(shí)特別有效。

　　15.密切關(guān)注。通常，如果調試問(wèn)題花了很長(cháng)時(shí)間，往往是因為我做了錯誤的假設。例如，我認為問(wèn)題發(fā)生在某一方法中，但事實(shí)卻是它甚至從來(lái)沒(méi)有到達那個(gè)方法?；蛘?，被拋出的異常不是我以為的那個(gè)?；蛘?，我認為軟件的最新版本上正在運行，但其實(shí)是一個(gè)舊版本。因此，一定要核實(shí)細節，而不是假設。人們更容易看到自己希望看到的東西，而不是事實(shí)。

　　16.最近的變化。當曾經(jīng)可以正常工作的東西停止工作，那么這通常是因為最近改變的東西所導致的。在一個(gè)案例中，最近的改變只是日志記錄，但是日志中的錯誤卻導致了一個(gè)更大的問(wèn)題。為了更容易找到這種回歸，承認不同的提交會(huì )導致不同的變化，以及清楚說(shuō)明這些更改會(huì )有所裨益。

　　17.相信用戶(hù)。有時(shí)，當用戶(hù)報告問(wèn)題的時(shí)候，我的本能反應是，“這是不可能的。一定是他們做錯了什么事”。但我學(xué)會(huì )了不再用這種方式去回應。更多的時(shí)間，事實(shí)往往證明，他們所報告的的確是實(shí)際發(fā)生的情況。因此，這些天，我開(kāi)始接受他們所報告的內容的表明價(jià)值。當然，我依然會(huì )仔細檢查一切是否被正確地設置等等。我見(jiàn)過(guò)很多這樣的情況，讓我明白，因為不尋常的配置或意料之外的用法而導致不可思議的事情的發(fā)生，而我默認的假設是，他們是正確的，程序是錯誤的。

　　18.測試修復。如果bug修復已準備就緒，那就必須進(jìn)行測試。首先在修復前運行代碼，并觀(guān)察該bug。然后應用修復并重復測試案例。到此為止錯誤行為應消失。遵循這些步驟可以確保它確實(shí)是一個(gè)bug，并且此次修復的確可以解決這個(gè)問(wèn)題。簡(jiǎn)單而有必要。

　　其他觀(guān)察結果

　　在這13年來(lái)我一直在跟蹤我所遇到的最棘手的bug，很多事情由此而改變。我工作過(guò)小的嵌入式系統，大的電信系統以及基于web的系統。我使用過(guò)C ++，Ruby，Java和Python。在工作于C++時(shí)所遇到的幾類(lèi)bug已經(jīng)完全消失，像堆棧溢出，內存損壞，字符串問(wèn)題和某種形式的內存泄漏。

　　其他問(wèn)題，如循環(huán)錯誤和邊界情況，我看到的要少得多。但是，這并不意味著(zhù)那里沒(méi)有bug。這篇文章中的經(jīng)驗教訓旨在幫助減少編碼，測試和調試三個(gè)階段的bug。如果大家有什么有用的預防和發(fā)現bug的技術(shù)方法，歡迎不吝指導。