【正文】 return x。 } 1． 語句覆蓋 為了暴露程序中的錯誤 ， 程序中的每條語句至少應(yīng)該執(zhí)行一次 。 所以 ， 語句覆蓋的含義是：選擇足夠多的測試數(shù)據(jù) ， 使被測程序中每條語句至少執(zhí)行一次 。 2． 判定覆蓋 比語句覆蓋稍強的覆蓋標(biāo)準(zhǔn)是判定覆蓋 。按判定覆蓋準(zhǔn)則進(jìn)行測試是指 ， 設(shè)計若干測試用例 ， 運行被測程序 ， 使得程序中每個判斷的取真分支和取假分支至少經(jīng)歷一次 ， 即判斷的真假值均曾被滿足 。 判定覆蓋又稱為分支覆蓋 。 3． 條件覆蓋 在設(shè)計程序中 ， 一個判定語句是由多個條件組合而成的復(fù)合判定 。 條件覆蓋的含義是：構(gòu)造一組測試用例 ，使得每一判定語句中每個邏輯條件的可能值至少滿足一次 。 4． 條件判定組合覆蓋 條件判定組合覆蓋的含義是：設(shè)計足夠的測試用例 ， 使得判定中每個條件的所有可能 （ 真 /假 ） 至少出現(xiàn)一次 ， 并且每個判定本身的判定結(jié)果 （ 真 /假 ） 也至少出現(xiàn)一次 。 5． 多條件覆蓋 多條件覆蓋也稱為條件組合覆蓋 ， 它的含義是：設(shè)計足夠的測試用例 ， 使得每個判定中條件的各種可能組合都至少出現(xiàn)一次 。 顯然滿足多條件覆蓋的測試用例是一定滿足判定覆蓋 、 條件覆蓋和條件判定組合覆蓋的 。 6． 修正條件判定覆蓋 它要求滿足兩個條件：首先 ， 每一個程序模塊的入口和出口點都要考慮至少被調(diào)用一次 ， 每個程序的判定到所有可能的結(jié)果值要至少轉(zhuǎn)換一次；其次 ， 程序的判定被分解為通過邏輯操作符 （ and、 or） 連接的 bool條件 ， 每個條件對于判定的結(jié)果值是獨立的 。 7． 測試覆蓋準(zhǔn)則 （ 1） Foster的 ESTCA覆蓋準(zhǔn)則 前面所介紹的邏輯覆蓋其出發(fā)點似乎是合理的。所謂“覆蓋”，就是想要做到全面而無遺漏。但是，事實表明，它并不能真的做到無遺漏。 發(fā) ， 吸收了計算機硬件的測試原理 ， 提出了一種經(jīng)驗型的測試覆蓋準(zhǔn)則 。 （ 2） Woodward等人的層次 LCSAJ覆蓋準(zhǔn)則 Woodward等人曾經(jīng)指出結(jié)構(gòu)覆蓋的一些準(zhǔn)則，如分支覆蓋或路徑覆蓋，都不足以保證測試數(shù)據(jù)的有效性。為此，他們提出了一種層次 LCSAJ覆蓋準(zhǔn)則。 基本路徑測試 上節(jié)的例子是個比較簡單的程序段 ， 只有兩條路徑 。 但在實際問題中 ， 即使一個不太復(fù)雜的程序 ， 其路徑的組合都是一個龐大的數(shù)字 。 如果把覆蓋的路徑數(shù)壓縮到一定限度內(nèi)，例如，程序中的循環(huán)體只執(zhí)行零次和一次，就成為基本路徑測試。 設(shè)計出的測試用例要保證在測試中程序的每一條可執(zhí)行語句至少執(zhí)行一次 。 1． 程序的控制流圖 控制流圖是描述程序控制流的一種圖示方式。其中基本的控制結(jié)構(gòu)對應(yīng)的圖形符號如圖 38所示。在圖 38所示的圖形符號中，圓圈稱為控制流圖的一個結(jié)點，它表示一個或多個無分支的語句或源程序語句。 WHILE 循環(huán)結(jié)構(gòu) 順序結(jié)構(gòu) U N TI L 循環(huán)結(jié)構(gòu) IF 選擇結(jié)構(gòu) CAS E 多分支結(jié)構(gòu)選擇結(jié)構(gòu) 圖 38 控制流圖的圖形符號 圖 39（ a） 所示的是一個程序的流程圖 ，它可以映射成圖 （ b） 所示的控制流圖 。 R3 R2 R1 區(qū)域 （ a ）程序流程圖 ) 7 1 2 3 4 5 6 8 11 （ b ）控制流圖 1 2 6 4 7 8 9 10 11 邊 結(jié)點 R4 圖39 程序流程圖和對應(yīng)的控制流圖 2． 計算程序環(huán)路復(fù)雜性 進(jìn)行程序的基本路徑測試時 ， 程序的環(huán)路復(fù)雜性給出了程序基本路徑集合中的獨立路徑條數(shù) ， 這是確保程序中每個可執(zhí)行語句至少執(zhí)行一次所必須的測試用例數(shù)目的上界 。 所謂獨立路徑，是指包括若干未曾處理的語句或條件的一條路徑。 基本路徑集不是惟一的 ， 對于給定的控制流圖 ， 可以得到不同的基本路徑集 。 通常環(huán)路復(fù)雜性可用以下 3種方法求得 。 ① 將環(huán)路復(fù)雜性定義為控制流圖中的區(qū)域數(shù) 。 ② 設(shè) E為控制流圖的邊數(shù) ， N為圖的結(jié)點數(shù) ， 則 定 義 環(huán) 路 的 復(fù) 雜 性 為V(G)=E?N+2。 ③ 若設(shè) P為控制流圖中的判定結(jié)點數(shù) ，則有 V(G)=P+1。 3． 基本路徑測試法步驟 基本路徑測試法適用于模塊的詳細(xì)設(shè)計及源程序 ， 其主要步驟如下 。 ① 以詳細(xì)設(shè)計或源代碼作為基礎(chǔ) ， 導(dǎo)出程序的控制流圖 。 ② 計算得到的控制流圖 G的環(huán)路復(fù)雜性V（ G） 。 ③ 確定線性無關(guān)的路徑的基本集 。 ④ 生成測試用例 ， 確?；韭窂郊忻織l路徑的執(zhí)行 。 程序的靜態(tài)測試 1． 源程序靜態(tài)分析 在靜態(tài)結(jié)構(gòu)分析中 ， 測試者通過使用測試工具分析程序源代碼的系統(tǒng)結(jié)構(gòu) 、 數(shù)據(jù)結(jié)構(gòu) 、 數(shù)據(jù)接口 、 內(nèi)部控制邏輯等內(nèi)部結(jié)構(gòu) ， 生成函數(shù)調(diào)用關(guān)系圖 、 模塊控制流圖 、內(nèi)部文件調(diào)用關(guān)系圖 、 子程序表 、 宏和函數(shù)參數(shù)表等各類圖形圖表 ， 可以清晰地標(biāo)識整個軟件系統(tǒng)的組成結(jié)構(gòu) ， 使其便于閱讀與理解 ， 然后可以通過分析這些圖表 ，檢查軟件有沒有存在缺陷或錯誤 。 通常采用以下一些方法進(jìn)行源程序的靜態(tài)分析 。 （ 1） 生成各種引用表 ① 標(biāo)號交叉引用表 ② 變量交叉引用表 ③ 子程序 （ 宏 、 函數(shù) ） 引用表 ④ 等價表 ⑤ 常數(shù)表 （ 2） 錯誤靜態(tài)分析 錯誤靜態(tài)分析主要用于確定在源程序中是否有某類錯誤或 “ 危險 ” 結(jié)構(gòu) 。 ① 類型和單位分析 ② 引用分析 ③ 表達(dá)式分析 ④ 接口分析 2．人工測試 靜態(tài)分析中進(jìn)行人工測試的主要方法有桌前檢查、代碼審查和走查。經(jīng)驗表明，使用這種方法能夠有效地發(fā)現(xiàn) 30%～ 70%的邏輯設(shè)計和編碼錯誤。 （ 1） 桌前檢查 由程序員自己檢查自己編寫的程序。程序員在程序通過編譯之后，進(jìn)行單元測試設(shè)計之前，對源程序代碼進(jìn)行分析、檢驗，并補充相關(guān)的文檔，目的是發(fā)現(xiàn)程序中的錯誤。 （ 2） 代碼審查 代碼審查是由若干程序員和測試員組成一個審查小組 ， 通過閱讀 、 討論和爭議 ，對程序進(jìn)行靜態(tài)分析的過程 。 代碼審查分兩步。第一步，小組負(fù)責(zé)人提前把設(shè)計規(guī)格說明書、控制流程圖、程序文本及有關(guān)要求、規(guī)范等分發(fā)給小組成員，作為審查的依據(jù)。小組成員在充分閱讀這些材料后，進(jìn)入審查的第二步，召開程序?qū)彶闀? （ 3） 走查 走查與代碼審查基本相同 ， 其過程分為兩步 。 第一步也把材料先發(fā)給走查小組每個成員 ， 讓他們認(rèn)真研究程序 ， 然后再開會 。 開會的程序與代碼審查不同 ， 不是簡單地讀程序和對照錯誤檢查表進(jìn)行檢查 ，而是讓與會者 “ 充當(dāng) ” 計算機 ， 即首先由測試組成員為被測程序準(zhǔn)備一批有代表性的測試用例 ， 提交給走查小組 。 走查小組開會 ， 集體扮演計算機角色 ， 讓測試用例沿程序的邏輯運行一遍 ， 隨時記錄程序的蹤跡 ， 供分析