本文將為大家介紹一下如何對C#程序Bug修復的快速方法。.Net Framework中包含許多工具可以用來更快、更容易地編寫正確的程序。但我們得面臨這樣的情況:出現bugs。不管程序多麼簡單,程序員都可能出錯。
根據我的經驗,大多數程序的bugs出現在程序員之間的接口:當一個程序員編寫的代碼被另一個程序員調用時。不知何故,調用者破壞了代碼編寫時做的假設。是誰的過錯呢?這並不要緊,更重要的是你能多快修好它?下面這些技巧將幫你在程序投入使用前更快地發現並解決這些問題。最終,這些技巧會幫你診斷任何的確在使用中出現的問題。
測試假設條件
測試假設條件是構建正確的程序最重要的一個方法。在你寫一個函數時,你應該考慮並確定你對那個函數做了什麼樣的假設。你應該問自己以下這些問題:
1. 當這個函數被調用時,這個對象必須是怎樣的(對象初試化,某個內在變量值)?
2. 當這個函數存在時,這個對象將會怎樣(仍是#1,但包括該函數的副作用)?
3. 該函數的任何參數必須是怎樣的(允許空值嗎,輸入值的范圍是什麼)?
4. 返回值必須是怎樣的?
一旦你問了自己這四個問題並作出回答後,把答案放到代碼中。
在C#中,用System.Diagnostics.Debug類的Assent方法來表示:
以下是引用片段:
public bool ProcessIterations (int numIters)
{
Debug.Assert (numIters > 0,
"ProcessIterations.",
"Iterations must be more than 0");
// More code...
該代碼片段執行了numiters參數必須大於零這樣一個假設。如果你用一個無效的參數調用processiterations,該assert被觸發。這時候,程序停止運行並通知用戶出現的錯誤。聲明(assertions)只被編譯到debug 版本中的程序,所以它們不影響生產情況中的性能。
為什麼用這種方法? 運用這種技巧可以確保很快地發現對你的類的方法未預料地使用。然後,或者調用者修改他的代碼,或者要求在你的類的行為(behavior)中修改。