1. 程式人生 > >解決bug的小方法

解決bug的小方法

1. 輸出語句
 
程式碼除錯的首要工具就是插入可靠地、真實的輸出語句。當輸出語句數量龐大且不易於管理的時候,在輸出語句裡恰當使用記錄系統,這可以說是一個等效的好


方案。許多程式語言裡都配備了現成的類庫,例如在Python裡構建的記錄庫。
 
輸出語句是程式設計師檢查資料值和變數型別最快、最簡單和最直接的方式。高效的輸出語句能夠幫助程式設計師通過一段程式碼來跟蹤資料流,並快速識別bug源頭。雖然


先進的除錯工具有很多,但是如果你想除錯一段程式碼的話,這個普通的輸出語句的方法應該是程式設計師最先考慮的方法。
 
2. 偵錯程式
 
原始碼偵錯程式採用了輸出語言方法裡的邏輯推理。這樣可以讓程式設計師一行一行的單步執行程式碼,同時監測從變數值到底層虛擬機器整個狀態的一舉一動。另外,大


部分的程式語言都具有多個偵錯程式,可以提供不同的功能,包括圖形介面、終止程式的斷點設定、執行環境內部任意程式碼的實施。
 
在許多情況下,偵錯程式可以說是大材小用了,但如果合理利用的話,偵錯程式絕對是一款高效率的工具。更多偵錯程式的功能請看Python偵錯程式:pdb。
 
3. Bug跟蹤系統
Bug跟蹤系統
在一些比較重大的軟體專案裡,使用bug跟蹤系統是很有必要的。如果沒使用bug跟蹤器,最典型的狀況就是程式設計師要整理以往的郵件或者是聊天記錄來查詢bug,


更糟糕點兒的就是程式設計師根本不記得其它東西,印象裡只有一點bug的文件。一旦這種情況發生,bug將必然充斥著整個程式碼程式設計,更加嚴重的是,想要識別出這


些bug並確定它們的位置是很難的。
 
一個簡單的文字檔案在專案裡可以作為最初的bug跟蹤系統。隨著程式碼庫的不斷增加,bug衍生出一個文字檔案並不需要太長的時間。有很多商業和開源的bug跟蹤


軟體提供的解決方案都是可以考慮的,選擇哪一個bug跟蹤軟體首先要明確的部分就是要確保在程式設計專案裡,那些非程式人員能夠快速使用這個bug跟蹤系統。
 
4. Linter
 
在某些程式語言裡,Linter可以執行對程式碼的靜態分析,以便在程式碼編寫和執行之前識別出問題區域;在一些其它程式語言裡,Linter工具對於語法檢查和增強


風格是很有幫助的。程式設計的時候在編輯器裡開啟一個Linter程式,或者是在程式碼編寫和執行之前通過Linter傳遞程式碼,這些都有利於程式設計師在使用軟體之前發現


並糾正更多的錯誤。因此,使用Linter可以幫你在節省寶貴時間的同時揪出因語法錯誤、打字錯誤或資料型別錯誤而引起的bug源頭。
 
想要知道什麼樣的Linter最適合你使用,看看Python的Linter工具:Pyflakes。
 
5. 版本控制
 
任何一個重大的軟體工程專案裡都不應該忽略使用版本控制系統。舉例而言,像Git,Mercurial和SVN這類的版本控制允許不同的程式碼庫版本在不同的基礎上是可


以分開的。
 
不同的控制版本可以被合併到一起,因此,多個程式設計師可以同一時間運行同一個程式碼庫。版本控制在程式碼排錯裡同樣有著舉足輕重地位,可以讓程式設計師回滾修改


較早版本的程式碼,儘可能在錯誤出現之前,在程式碼庫裡對錯誤進行修復。
 
6. 模組化
 
缺少架構的程式碼是難以修復bug的主要源頭。只要程式碼易於理解,而且理論上行得通,那麼對於程式設計師來講,找到並快速修復bug並不是什麼棘手的事情。另一方


面,越是重要的程式碼出現錯誤的機率就越大,找到這個錯誤相對也就比較困難。
 
設計軟體的元件經常需要考慮一點就是所謂的程式碼模組化,程式碼模組化可以幫助程式設計師更好的用兩種方法來理解軟體系統。第一,模組化能夠創造出一定層次的


抽象感,在沒有完全理解所有細節的情況下也能想象出系統的模型。比如,程式設計師正在構建一個商業系統,可能會考慮到信用卡處理模組,然後觀察這個模組和


其餘程式碼有什麼聯絡,根本不用考慮信用卡處理模組的所有詳細內容。第二,模組的詳細說明,這個詳細說明是不會和別的模組內容混淆的,就像每個卡只有一


個卡號是一樣的。
 
7. 自動化測試
 
單元測試和其它型別的自動化測試跟模組化是有很大關聯的,可以說是相輔相承。自動化測試就是一段程式碼用特殊的輸入值來執行軟體,以此來檢測程式執行是


否和預期的相符合。
 
單元測試主要是用來檢測單個功能的功能性,然而功能測試是用來檢查特殊的程式效能,並且結合單元測試來檢查軟體系統的整體部分。有很多測試框架可以用


來編寫測試程式,而且大部分受歡迎的測試框架都是由Kent Bent編寫的JUnit類庫衍生而來的,Kent Bent是“測試驅動開發方法”最早的支持者之一。 Python


標準類庫包括一個JUnit的Python版本,稱之為PyUnit或者unittest的單元測試框架。
 
8. 泰迪熊方法(橡皮鴨除錯)
泰迪熊方法
 
在軟體程式設計界,就不得不提到傳奇人物Brain Kernighan和Rob Pike,泰迪熊除錯法源於一個大學計算機中心,在這裡,學生們遇到神祕bug的時候就可以先把問


題解釋給這隻擺在桌子上的泰迪熊聽,然後才能向老師或助教求助。所以,有的時候只跟熊聊天也能解決問題。這一除錯方法真的很管用,以至於風靡了整個軟


件工程行業,就像列印語句這一方,不管那些複雜的工具如何風起雲湧,輸出語句這一方法仍然在今天很受歡迎。
 
同泰迪熊除錯法相似的一種方法叫做橡皮鴨除錯法,當你在向這隻始終保持沉默的橡皮鴨子解釋的過程中,你會發現你的想法、觀點、思路和實際的程式碼相偏離


了,於是你也就找到了程式碼中的bug。一旦一個問題被充分地描述了它的細節,那麼解決方法也是顯而易見的。你覺得這個方法太“愚蠢”,太“弱智”了?是的


,看上去,會這樣做的人腦子好像是有點毛病。不過,我要告訴你的是,這個方法的確有效。因為,這就是“Code Review”的雛形!
 
9. 編寫程式碼註釋
編寫程式碼註釋
 
註釋的功能就是在更易於理解的層次上解釋程式碼的編寫目的,儘可能多寫一些:每行程式碼是幹什麼的,怎麼去完成,這些問題都應該在通讀程式碼之後很容易找到


答案才行。另外,給各個功能和變數取合理的名稱也有助於簡化程式碼實施的過程。在程式碼行下面的空白處填寫註釋來回答為什麼要使用特殊的實現功能,或者一


段程式碼怎樣和程式的其餘部分互動等等。
 
編寫詳細的註釋可以說是軟體工程裡一步可靠地檢驗步驟,即使是在沒有bug的程式碼裡也是同樣受用。這樣,就算bug出現了也不用擔心,註釋會幫你節省數小時


的排錯時間。
 
10. 編寫文件
 
程式碼註釋是程式設計師以簡單的方式和個人的觀點編寫的,而編寫軟體文件是用來描述軟體系統的功能性,同時使用者也可以看到這些軟體文件。根據軟體型別的不同


,文件可以用來詳述程式介面、圖形介面或者工作流程。
 
編寫文件還有一個好處就是,可以展示你對軟體系統的理解程度,指出軟體系統不夠完善的部分或者有可能是bug源頭的部分。