【正文】 人員； 代碼審查過(guò)程 ? 準(zhǔn)備： ?組長(zhǎng)將程序目錄和設(shè)計(jì)說(shuō)明書分發(fā)給小組成員。 ? 代碼走查與代碼審查與計(jì)算機(jī)測(cè)試是相互補(bǔ)充的，缺少任何一種方法都會(huì)使錯(cuò)誤的檢測(cè)率損失。 ? 分兩步走： ?預(yù)先做準(zhǔn)備工作； ?舉行會(huì)議并討論； 代碼走查與代碼審查的優(yōu)點(diǎn) ? 避免了桌面檢查的問(wèn)題； ? 一旦發(fā)現(xiàn)錯(cuò)誤，就可以定位錯(cuò)誤的位置和性質(zhì)，調(diào)試所需要化的代價(jià)低； ? 一次能夠揭示一批錯(cuò)誤，而不是一個(gè)錯(cuò)誤； ? 避免了動(dòng)態(tài)調(diào)試的一些問(wèn)題； 代碼走查與代碼審查的優(yōu)勢(shì) ? 能夠有效地發(fā)現(xiàn) 30%~70%的邏輯設(shè)計(jì)和編碼錯(cuò)誤； ? IBM統(tǒng)計(jì)使用代碼審查的方法，錯(cuò)誤的檢測(cè)效率高達(dá)全部查處錯(cuò)誤的 80% ? Myers的研究發(fā)現(xiàn)代碼審查和代碼走查平均查處全部錯(cuò)誤的 38%。 代碼走查與代碼審查 ? Code Inspection amp。 桌面檢查 ? 桌面檢查由程序員閱讀自己所編的程序。由此看出，靜態(tài)測(cè)試只是對(duì)代碼進(jìn)行掃描分析，檢測(cè)它的語(yǔ)法規(guī)則復(fù)雜度等是否符合要求，主要是為軟件的質(zhì)量保證提供依據(jù)，以提高軟件的可靠性和易維護(hù)性 ? 靜態(tài)測(cè)試可以手工、自動(dòng)； 靜態(tài)測(cè)試技術(shù)特點(diǎn) ? 靜態(tài)測(cè)試不必動(dòng)態(tài)地執(zhí)行程序，也就不必要進(jìn)行測(cè)試用例設(shè)計(jì)和結(jié)果判讀等工作； ? 靜態(tài)測(cè)試可以由人工進(jìn)行，充分發(fā)揮人的邏輯思維優(yōu)勢(shì)。 冗余度大，可能會(huì)有漏洞 具有覆蓋率指標(biāo) 結(jié)構(gòu)測(cè)試定義 ? 把測(cè)試對(duì)象看做一個(gè)透明的盒子 ? 白盒測(cè)試是根據(jù)被測(cè)程序的內(nèi)部結(jié)構(gòu)設(shè)計(jì)測(cè)試用例并完成測(cè)試的一種測(cè)試方法 ? 白盒測(cè)試或邏輯驅(qū)動(dòng)測(cè)試 ? 基于一個(gè)應(yīng)用代碼的內(nèi)部邏輯知識(shí)，測(cè)試覆蓋全部代碼、分支、路徑和條件 結(jié)構(gòu)測(cè)試特點(diǎn) ? 可以構(gòu)成測(cè)試數(shù)據(jù)使特定程序部分得到測(cè)試 ? 有一定的充分性度量手段 ? 可獲得較多工具支持 ? 通常只用于單元測(cè)試 結(jié)構(gòu)測(cè)試的方法 靜態(tài)測(cè)試方法： ? 程序結(jié)構(gòu)分析 ?代碼走查 ?代碼審查 ?控制流分析 ?數(shù)據(jù)流分析 ?信息流分析 動(dòng)態(tài)測(cè)試方法： ? 邏輯覆蓋 ?語(yǔ)句覆蓋 ?分支覆蓋 ?條件覆蓋 ?分支 條件覆蓋 ?路徑覆蓋 代碼覆蓋率 ? 采用白盒法進(jìn)行測(cè)試時(shí)，考慮的是測(cè)試用例對(duì)程序內(nèi)部邏輯的覆蓋程度 ? 最徹底的白盒法是覆蓋程序中的每一條路徑，但這往往無(wú)法實(shí)現(xiàn) ? 采用其它一些標(biāo)準(zhǔn)來(lái)量度覆蓋的程度，并希望覆蓋程度盡可能高些 課程目錄 ? 結(jié)構(gòu)測(cè)試 概述 ? 程序結(jié)構(gòu)分析 ? 邏輯覆蓋 ? 結(jié)構(gòu)測(cè)試案例分析 ? 結(jié)構(gòu)測(cè)試工具使用 靜態(tài)測(cè)試 靜態(tài)測(cè)試包括代碼審查和代碼走查 ,此方法是軟件測(cè)試的有效手段 靜態(tài)測(cè)試技術(shù)特點(diǎn) ? 是指無(wú)須執(zhí)行被測(cè)代碼，而是借助專用的軟件測(cè)試工具評(píng)審軟件文檔或程序，度量程序靜態(tài)復(fù)雜度，檢查軟件是否符合編程標(biāo)準(zhǔn)，借以發(fā)現(xiàn)編寫的程序的不足之處，減少錯(cuò)誤出現(xiàn)的概率。 功能性測(cè)試 結(jié)構(gòu)性測(cè)試 只利用規(guī)格說(shuō)明標(biāo)識(shí)測(cè)試用例 只利用程序源代碼標(biāo)識(shí)測(cè)試用例 如果程序?qū)崿F(xiàn)了未描述的行為，功能測(cè)試無(wú)法意識(shí)到。軟件白盒測(cè)試 概覽 ? 在本章中，我們將學(xué)習(xí)： ?結(jié)構(gòu)性白盒測(cè)試概述 ?程序結(jié)構(gòu)分析 ?邏輯覆蓋 ?結(jié)構(gòu)性測(cè)試案例 課程目錄 ? 結(jié)構(gòu)測(cè)試 概述 ? 程序結(jié)構(gòu)分析 ? 邏輯覆蓋 ? 結(jié)構(gòu)測(cè)試案例分析 ? 結(jié)構(gòu)測(cè)試工具 結(jié)構(gòu)性測(cè)試（ 1） ? 程序?qū)崿F(xiàn)是已知的，是測(cè)試人員能夠根據(jù)功能實(shí)際實(shí)現(xiàn)的方式來(lái)標(biāo)識(shí)測(cè)試用例，又稱“白盒測(cè)試”、“透明盒測(cè)試”。 結(jié)構(gòu)性測(cè)試（ 2） 規(guī)格說(shuō)明 規(guī)格說(shuō)明 程序 程序 測(cè)試用例 （方法 A) 測(cè)試用例 （方法 B) 方法 A覆蓋的區(qū)域比方法 B覆蓋的區(qū)域大，但兩種方法的覆蓋區(qū)域只能在程序?qū)崿F(xiàn)部分 ? 有兩種維恩圖來(lái)表示功能性測(cè)試： 功能性測(cè)試與結(jié)構(gòu)性測(cè)試比較 ? 單獨(dú)使用都有其局限性； ? 最好的方法：結(jié)合兩種方法。 如果已描述的行為未能實(shí)現(xiàn)，結(jié)構(gòu)性測(cè)試無(wú)法意識(shí)到。靜態(tài)測(cè)試在主機(jī)上完成，不需目標(biāo)系統(tǒng)支持，測(cè)試的主要內(nèi)容有編程標(biāo)準(zhǔn)驗(yàn)證、數(shù)據(jù)流分析技術(shù)、質(zhì)量度量信息、代碼結(jié)構(gòu)可視化顯示、測(cè)試外殼的創(chuàng)建。 ? 靜態(tài)測(cè)試試是不需要特別條件，容易開(kāi)展。 ? 存在一下問(wèn)題： ?心理上的原因，沒(méi)有發(fā)現(xiàn)錯(cuò)誤的欲望； ?人存在思維定勢(shì)； ?如果對(duì)功能理解錯(cuò)誤，不容易糾正； ? 相當(dāng)于調(diào)試程序。 Walkthrough: ?是由若干程序員與測(cè)試員組成一個(gè)小組，集體閱讀并討論程序或者用“腦”執(zhí)行并檢查程序的過(guò)程。 ? 研究表明：使用代碼走查與代碼審查發(fā)現(xiàn)某類錯(cuò)誤比用計(jì)算機(jī)測(cè)試更有效，而對(duì)另一類錯(cuò)誤情況正好相反。 代碼審查 ? 代碼審查測(cè)試內(nèi)容包括： ?檢查代碼和設(shè)計(jì)的一致性； ?檢查代碼對(duì)標(biāo)準(zhǔn)的遵循、可讀性； ?檢查代碼的邏輯表達(dá)的正確性； ?檢查代碼結(jié)構(gòu)的合理性； ? 代碼審查是由一組程序和錯(cuò)誤檢查技術(shù)組成，并且以代碼審查組的方式進(jìn)行。 ?成員熟悉材料； ?被測(cè)試程序的設(shè)計(jì)和編碼人員想審查組詳細(xì)說(shuō)明所準(zhǔn)備的材料；特別是代碼的功能和功能間的關(guān)系； ? 程序閱讀： ?審查組人員仔細(xì)閱讀代碼和相關(guān)資料，對(duì)照代碼審查單標(biāo)出明顯的缺陷及錯(cuò)誤。 ? 審查過(guò)程所需要的主要技術(shù)是代碼審查單，通常將程序設(shè)計(jì)及編碼中可能發(fā)生的各類錯(cuò)誤分類，對(duì)沒(méi)一類盡可能多地列舉出典型錯(cuò)誤。 代碼審查單的示例 ? 數(shù)據(jù)引用錯(cuò)誤 ?是否引用了未賦值或未初始化的變量？ ?所有的數(shù)組引用，其下標(biāo)值是否在各自的相應(yīng)的維數(shù)定義界內(nèi)？ ?所有的數(shù)組引用，下標(biāo)是否整數(shù)值？ ?所有引用的指針或變量是否已經(jīng)分配了內(nèi)存？ ?在檢索操作或用下標(biāo)引用數(shù)組時(shí)，是否存在“差 1”錯(cuò)誤？ 代碼審查單的示例 ? 數(shù)據(jù)說(shuō)明錯(cuò)誤 ?所有變量是否都顯式地說(shuō)明了？ ?是否每個(gè)變量都賦與正常的長(zhǎng)度、類型和存儲(chǔ)分類？ ?變量的初始化和她的存儲(chǔ)類是否無(wú)矛盾？ ? 計(jì)算錯(cuò)誤： ?是否使用過(guò)非一致數(shù)據(jù)類型的變量進(jìn)行運(yùn)算？ ?是否存在混合運(yùn)算？ ?賦值語(yǔ)句的目標(biāo)變量是否比其右邊的表達(dá)式??？ 代碼審查單的示例 ? 代碼審查還包括編程風(fēng)格、標(biāo)準(zhǔn)、規(guī)范的符合性方面的內(nèi)容。 ? Myers將錯(cuò)誤分為 8類： ?數(shù)據(jù)引用錯(cuò)誤； ?數(shù)據(jù)說(shuō)明錯(cuò)誤； ?計(jì)算錯(cuò)誤； ?比較錯(cuò)誤； ?控制流錯(cuò)誤； ?界面錯(cuò)誤； ?輸入 /輸出錯(cuò)誤； ?其他錯(cuò)誤； 有效地閱讀程序 ? 仔細(xì)閱讀需求、設(shè)計(jì)等文檔，了解軟件的整體物理意義、應(yīng)用背景、在大系統(tǒng)中的地位。 代碼走查的目的 ? 規(guī)范代碼的編寫； ? 提高代碼的穩(wěn)定性與效率； ? 增進(jìn)其他程序員對(duì)本模塊的了解； ? 提高程序員的編程水平； 檢查內(nèi)容 ?