3)靜態(tài)測(cè)試、動(dòng)態(tài)測(cè)試

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

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

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

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