3)靜態測試、動態測試

靜態方法是指不運行被測程序本身，僅通過分析或檢查源程序的語法、結構、過程、接口等來檢查程序的正確性。對需求規格說明書、軟件設計說明書、源程序做結構分析、流程圖分析、符號執行來找錯。靜態方法通過程序靜態特性的分析，找出欠缺或可疑之處，例如不匹配的參數、不適當的循環嵌套和分支嵌套、不允許的遞歸、未使用過的變量、空指針的引用和可疑的計算等。靜態測試結果可用于進一步的查錯，并未測試用例選取提供指導。

靜態測試有可分為代碼走查( Cocle Walkthrough)，代碼審查(Code Inspection)，代碼評審( Cocle Revie,v)。

(1)代碼走查（Cocle Walktl，rough）

開發組內部進行的，采用講解、討論和模擬運行的方式進行的查找錯誤的活動。代碼走查的目的是交換有關代碼書寫的思路，并建立一個對代碼的標準集體闡述。在代碼走查的過程中，開發人員都應該有機會向其他人來闡述他們的代碼。通常地，即便是簡單的代碼闡述也會幫助開發人員識別出錯誤并預想處對以前麻煩問題的新的解決辦法。