【正文】 34 顯然，滿足條件組合覆蓋的測試，一定滿足判定覆蓋、條件覆蓋、判定 /條件覆蓋，但該測試沒有覆蓋程序所有可能的執(zhí)行路徑， 125路徑?jīng)]有覆蓋。并使每個(gè)判定表達(dá)式所有可能的結(jié)果也至少出現(xiàn)一次。但也有例外，如選擇以下兩組數(shù)據(jù)： A=1， B=0， X=3（ 滿足 A≤1， B=0， A ≠2 ， X1） A=2， B=1， X=1（滿足 A1， B≠0， X ≤1， A=2） 以上兩組數(shù)據(jù)覆蓋了判定表達(dá)式中的所有條件的可能取值，但只覆蓋了 第一個(gè)判定表達(dá)式的取“假”分支和第二個(gè)判定表達(dá)式的取“真”分支，此例不滿足判定覆蓋。判定覆蓋比語句覆蓋嚴(yán)格，若通過各個(gè)分支，各個(gè)語句也執(zhí)行了。 軟件測試方法 （ 2）判定覆蓋： 判定覆蓋是指設(shè)計(jì)足夠的測試用例，使被測程序的每個(gè)判定表達(dá)式至少獲得一次“真”和“假”值，從而使程序的每個(gè)分支至少都通過一次，所以判定覆蓋又叫分支覆蓋。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 測試路徑為 124，即可保證每個(gè)語句至少執(zhí)行一次。 邏輯覆蓋 追求程序內(nèi)部的邏輯覆蓋程度，當(dāng)程序中有循環(huán)時(shí)，覆蓋每條路徑是不可能的，要設(shè)計(jì)使覆蓋程度較高的或覆蓋有代表性的路徑的測試用例。如測試數(shù)據(jù)自動(dòng)生成工具、靜態(tài)分析程序、動(dòng)態(tài)分析程序、測試結(jié)果分析程序、驅(qū)動(dòng)測試的測試數(shù)據(jù)庫。為使測試發(fā)現(xiàn)盡可能多的錯(cuò)誤，動(dòng)態(tài)測試時(shí)需采用一些有效的方法。 計(jì)算機(jī)輔助靜態(tài)檢測：利用靜態(tài)檢測工具對(duì)程序進(jìn)行測試。 人工檢測：人工審查程序或評(píng)審軟件。 ? 測試用例不僅選用合理的輸入數(shù)據(jù)，還要選擇不合理的輸入數(shù)據(jù)。 幾個(gè)典型系統(tǒng)中軟件測試的費(fèi)用 系統(tǒng)名稱 測試費(fèi)用占軟件開發(fā)預(yù)算的比例 SAGE 47% NAVAL TACTICAL 50% DATA SYSTEM GENINI 47% S ATURN V 44% 軟件測試的目的和原則 軟件測試的 目的 ( )： 軟件測試是為了 發(fā)現(xiàn)錯(cuò)誤 而 運(yùn)行程序 的過程。通常模塊的編寫者和測試者是同一個(gè)人。 由于軟件開發(fā)的各個(gè)階段均包含了大量的人的創(chuàng)造性勞動(dòng)，不可避免地會(huì)引入錯(cuò)誤，尤其是大型、復(fù)雜的軟件系統(tǒng)。 本章主要內(nèi)容： ? 軟件測試的目的和原則 ? 軟件測試的方法 ? 軟件測試的步驟 ? 調(diào)試 ? 軟件測試工具 第 7章 軟件測試 軟件測試的概念和意義 什么是軟件測試： 軟件測試的 定義 ：軟件測試是為了發(fā)現(xiàn)錯(cuò)誤而運(yùn)行程序的過程。 ，對(duì)軟件進(jìn)行各種 綜合測試 。 一個(gè) 好的測試用例 能夠 發(fā)現(xiàn) 至今尚未發(fā)現(xiàn)的 錯(cuò)誤 。 ? 長期保留測試用例。人工審查程序偏重于編碼質(zhì)量的檢驗(yàn)，而人工評(píng)審軟件除了審查編碼還要對(duì)各階段的軟件產(chǎn)品進(jìn)行檢驗(yàn)。從程序中提取一些信息，以便檢查程序邏輯的各種缺陷和可疑的程序構(gòu)造。 一方面通過測試檢查軟件每個(gè)功能的執(zhí)行情況，另一方面詳細(xì)測試軟件的內(nèi)部結(jié)構(gòu)和處理過程。 軟件測試方法 軟件測試信息流： 測試 結(jié)果 分析 可靠性 分析 排錯(cuò) 軟件配置 測試配置 測試結(jié)果 預(yù)期結(jié)果 錯(cuò)誤 出錯(cuò)率 數(shù)據(jù) 改正的軟件 預(yù)測的可靠性 測試工具 設(shè)計(jì) 測試用例 準(zhǔn)備 測試數(shù)據(jù) 用測試數(shù)據(jù) 運(yùn)行程序 測試結(jié)果 分析 測試用例 測試報(bào)告 預(yù)期結(jié)果 測試結(jié)果 軟件動(dòng)態(tài)測試過程 白盒測試法 ? 白盒測試法是通過分析程序內(nèi)部的邏輯與執(zhí)行路徑來設(shè)計(jì)測試用例，并對(duì)測試用例進(jìn)行測試的方法，也稱做結(jié)構(gòu)測試或邏輯驅(qū)動(dòng)方法。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 如右圖：一個(gè)被測程序的流程圖。所以測試用例為：A= B=0 、 X=3。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 測試路徑為 124， 135或 125，134， 即可達(dá)到覆蓋標(biāo)準(zhǔn)。但該測試仍不充分，上述數(shù)據(jù)只覆蓋了全部路徑的一半，如將 X1錯(cuò)寫為 X1,測試不到 . 軟件測試方法 （ 3）條件覆蓋： 條件覆蓋是指設(shè)計(jì)足夠的測試用例，使被測程序的每個(gè)判定表達(dá)式中每個(gè)條件的各種可能的值至少出現(xiàn)一次。所以滿足條件覆蓋不一定滿足判定覆蓋。對(duì)該例程序，可選擇以下兩組數(shù)據(jù)達(dá)到判定 /條件覆蓋標(biāo)準(zhǔn)： A=2， B=0， X=3 A=1， B=1， X=1 從表面上看，判定 /條件覆蓋測試了所有條件的取值，但實(shí)際上條件組合中的某些條件會(huì)抑制其它的條件，如“與”運(yùn)算的判定表達(dá)式中，第一個(gè)條件為“假”，則這個(gè)表達(dá)式后面的幾個(gè)條件均不起作用，后面的表達(dá)式中的錯(cuò)誤也就測試不出來。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 （ 6）路徑覆蓋： 該覆蓋標(biāo)準(zhǔn)是指設(shè)計(jì)足夠的測試用例，覆蓋被測程序中所有可能路徑： 該例可選擇以下測試用例，覆蓋程序中的 4條路徑： A=2， B=0， X=2； 覆蓋路徑 124，條件組合① ⑤； A=2， B=1， X=1； 覆蓋路徑 134，條件組合② ⑥； A=1， B=1， X=1； 覆蓋路徑 135，條件組合④ ⑧； A=3， B=0， X=1； 覆蓋路徑 125，條件組合① ⑧； 顯然，該測試滿足路徑覆蓋，但沒有滿足條件組合覆蓋。 基本路徑測試的步驟 ? ①畫出程序圖 以詳細(xì)設(shè)計(jì)或源程序?yàn)榛A(chǔ)，導(dǎo)出程序流程圖的拓?fù)浣Y(jié)構(gòu) 程序圖。 三種計(jì)算方法： (1) V(G)=P+1， 其中 P為判定結(jié)點(diǎn) (2) V(G)=EN+2， 其中 E為邊數(shù)， N為結(jié)點(diǎn)數(shù) (3) V(G)為區(qū)域數(shù) ? ③確定獨(dú)立路徑的基本集合 ? 一條獨(dú)立路徑至少包含有一條在其他獨(dú)立路徑中沒有的邊。lc){ 1: initlist(lc)。 lb_len=listlength(lb)。 getelem(lb,j,bj)。 ++j。++i。 listinsert(lc,++k,ai)。 條件可能是一個(gè)布爾變量 、 一個(gè)關(guān)系表達(dá)式或是由兩個(gè)或多個(gè)簡單條件 、 布爾運(yùn)算符和括弧組成的復(fù)雜條件 。 軟件測試方法 2)嵌套循環(huán) ① 對(duì)最內(nèi)層循環(huán)做簡單循環(huán)的全部測試 ， 所有其它外層的循環(huán)變量置為最小值； ② 逐步外推 ， 對(duì)其外面一層循環(huán)進(jìn)行測試 。 但如果幾個(gè)循環(huán)不是互相獨(dú)立的 ， 第二個(gè)循環(huán)的執(zhí)行與第一個(gè)循環(huán)的某個(gè)值有關(guān) ， 則需要使用測試嵌套循環(huán)的辦法來處理 。 測試 方法：等價(jià)類劃分法、邊界值分析法、錯(cuò)誤推測法。即如果使用某個(gè)等價(jià)類中的一個(gè)輸入條件，作為測試數(shù)據(jù)檢測出了錯(cuò)誤，則用這一等價(jià)類中的其它數(shù)據(jù)進(jìn)行測試會(huì)發(fā)現(xiàn)同樣的錯(cuò)誤，反之亦然。 如何劃分等價(jià)類 ? 若某個(gè)輸入條件規(guī)定了取值范圍或值的個(gè)數(shù)，則可確定一個(gè)有效等價(jià)類和兩個(gè)無效等價(jià)類。 ? 等價(jià)類劃分法的基本目標(biāo)： 用一個(gè)測試用例能獨(dú)立地發(fā)現(xiàn)一類錯(cuò)誤； 理想情況下，一個(gè)測試用例能夠發(fā)現(xiàn)多類錯(cuò)誤，從而減少