是發(fā)現(xiàn)故障或缺陷的重要技術(shù)，因此也成為確認(rèn)和保障軟件質(zhì)量乃至可信性的實(shí)用手段。為了保障軟件質(zhì)量，在開發(fā)過程中必須對(duì)代碼進(jìn)行必要的審查。
審查（）是由 Fagan在1976年首次提出的，它的目標(biāo)是判定并消除工程產(chǎn)品中的錯(cuò)誤，確定產(chǎn)品創(chuàng)建過程中存在的系統(tǒng)缺陷。代碼審查（code ）主要檢查代碼和設(shè)計(jì)的一致性、邏輯的正確性、代碼的可讀性、結(jié)構(gòu)的合理性等，可以發(fā)現(xiàn)程序中的邏輯錯(cuò)誤、異常處理中的疏漏、違背程序編寫標(biāo)準(zhǔn)的問題、影響軟件移植的因素等。經(jīng)驗(yàn)表明，組織良好的代碼審查，可以發(fā)現(xiàn)程序中30%-70%的編碼和邏輯設(shè)計(jì)錯(cuò)誤。
Fagan代碼審查法是歷史上最著名的軟件審查方法之一，它分為四個(gè)階段，共包含七個(gè)步驟，包括準(zhǔn)備階段（計(jì)劃、概述、會(huì)前個(gè)人準(zhǔn)備）、審查會(huì)議階段（召開審查會(huì)議）、缺陷糾正階段（過程改進(jìn)、修改缺陷）和后繼階段（相關(guān)后繼活動(dòng)）等。三十年來，人們還提出一些適應(yīng)不同行業(yè)、不同企業(yè)的軟件審查方法，如審查法、二人審查法、無會(huì)議審查法等，其中大多數(shù)是對(duì)四階段審查法的某種改進(jìn)。無論采用何種代碼審查方法，都要求審查者依據(jù)檢查單（）對(duì)代碼中的缺陷和疑點(diǎn)實(shí)施檢查，檢查單中定義的缺陷類型和缺陷檢測(cè)規(guī)則直接影響著審查過程對(duì)缺陷的覆蓋程度和審查效果。程序代碼的審查離不開軟件可視化技術(shù)的支持，可視化技術(shù)用簡(jiǎn)捷的圖形來揭示程序復(fù)雜的結(jié)構(gòu)，使之適合于人的直觀理解。近年來，圍繞面向?qū)ο蟪绦虻哪嫦蚍治龊涂梢暬７椒ǖ难芯亢芏唷３Ｒ姷念悎D、函數(shù)或方法調(diào)用圖和控制流程圖等不僅能夠幫助程序員很快地了解程序代碼的結(jié)構(gòu)，也可以幫助審查人員找出軟件結(jié)構(gòu)及源代碼中問題和缺陷。
代碼審查和語法錯(cuò)誤檢查是兩個(gè)不同層次的概念。語法錯(cuò)誤是低層次、強(qiáng)制性的檢查。而代碼審查是高級(jí)別， 非強(qiáng)制性的檢查， 它對(duì)語法正確的程序施加了更高更嚴(yán)格的要求， 從而增加程序的可讀性， 降低因變量命名、方法定義、程序邏輯的不完整性等問題而導(dǎo)致的程序潛在出錯(cuò)機(jī)率， 提高程序的可維護(hù)性和健壯性。
審查過程是一種靜態(tài)證明文檔（ 程序） 有效性的嚴(yán)格方法。審查團(tuán)隊(duì)由文檔作者， 一個(gè)負(fù)責(zé)人， 一個(gè)記錄員以及一些審查員組成。首先需要一系列的準(zhǔn)備， 包括參與者的挑選和材料的準(zhǔn)備以及審查表的構(gòu)建。然后是個(gè)人準(zhǔn)備階段， 每個(gè)小組成員各自熟悉材料。個(gè)人準(zhǔn)備階段后， 就是實(shí)際的審查會(huì)議。在會(huì)議上，小組按照審查表對(duì)代碼進(jìn)行審查理想一體機(jī)錯(cuò)誤代碼， 并將問題記錄下供作者修正。會(huì)議后是作者的返工， 作者匯報(bào)每個(gè)缺陷， 最后確認(rèn)每個(gè)缺陷已經(jīng)被陳述過了。
代碼審查過程中， 審查員都會(huì)有一份審查表。審查表是一份為審查員準(zhǔn)備的列表， 在審查表里注明了審查的內(nèi)容和方面。審查表是審查代碼中存在問題的依據(jù)， 審查員根據(jù)審查表來發(fā)現(xiàn)并判斷問題。
代碼審查表中記錄了所有需要檢測(cè)的缺陷， 以及缺陷的各種特征， 缺陷特征描述如下：
1） 缺陷出現(xiàn)的區(qū)域： 分別為表達(dá)式級(jí)、語句級(jí)、聲明級(jí)、模板缺陷、預(yù)處理缺陷、類級(jí)缺陷以及性能缺陷。表達(dá)式級(jí)、語句級(jí)、聲明級(jí)以及預(yù)處理級(jí)的缺陷，類似于面向過程程序中的缺陷； 而模板缺陷、類級(jí)缺陷， 則是針對(duì)面向?qū)ο筌浖奶攸c(diǎn)提出的； 代碼冗余等歸為性能缺陷。
2） 缺陷的檢測(cè)內(nèi)容： 分為沖突檢測(cè)、一致性檢測(cè)兩種。沖突檢測(cè)， 即對(duì)應(yīng)于文獻(xiàn)中的基于確定性“信念”的判定，而一致性檢測(cè)對(duì)應(yīng)于基于可能性“信念”的判定。
3） 缺陷對(duì)代碼的危害： 按照缺陷對(duì)代碼的危害理想一體機(jī)錯(cuò)誤代碼，一般分為警告、錯(cuò)誤、嚴(yán)重、非常嚴(yán)重四級(jí)。
