3)靜態(tài)測試、動態(tài)測試

靜態(tài)方法是指不運(yùn)行被測程序本身，僅通過分析或檢查源程序的語法、結(jié)構(gòu)、過程、接口等來檢查程序的正確性。對需求規(guī)格說明書、軟件設(shè)計(jì)說明書、源程序做結(jié)構(gòu)分析、流程圖分析、符號執(zhí)行來找錯。靜態(tài)方法通過程序靜態(tài)特性的分析，找出欠缺或可疑之處，例如不匹配的參數(shù)、不適當(dāng)?shù)难h(huán)嵌套和分支嵌套、不允許的遞歸、未使用過的變量、空指針的引用和可疑的計(jì)算等。靜態(tài)測試結(jié)果可用于進(jìn)一步的查錯，并未測試用例選取提供指導(dǎo)。

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

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

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