【正文】 稱為 結(jié)點(diǎn) ，代表程序流程圖的每個(gè)處理符號(hào)； 稱為 邊 或者 路徑 ，表示控制流向。條件組合覆蓋是較強(qiáng)的覆蓋標(biāo)準(zhǔn)。 為滿足上述要求，選擇以下兩組數(shù)據(jù)： A=2,B=0 ,X=3（ 滿足 A1 ， B=0， A=2 ， X1 通過(guò)路徑 124） A=1,B=1, X=1（ 滿足 A≤1， B≠0， X≤1， A≠2通過(guò)路徑 135 ） (A1)AND(B=0) (A=2)OR(X1) 語(yǔ)句段 1 語(yǔ)句段 2 T F F T 1 2 3 4 5 軟件測(cè)試方法 以上兩組數(shù)據(jù)不僅覆蓋了判定表達(dá)式中的所有條件的可能取值，而且覆蓋了 所有判定的取“真”分支和取“假”分支，在這種情況下條件覆蓋強(qiáng)于判定覆蓋。因此語(yǔ)句覆蓋是比較弱的覆蓋。 軟件測(cè)試方法 白盒測(cè)試法 白盒測(cè)試是結(jié)構(gòu)測(cè)試，所以被測(cè)對(duì)象基本上是源程序，以程序的內(nèi)部結(jié)構(gòu)為基礎(chǔ)，設(shè)計(jì)測(cè)試用例。 一般意義上的測(cè)試都是動(dòng)態(tài)測(cè)試。 軟件測(cè)試步驟 測(cè)試過(guò)程分為 4個(gè)步驟： 單元測(cè)試 集成測(cè)試 確認(rèn)測(cè)試 系統(tǒng)測(cè)試 單元 測(cè)試 單元 測(cè)試 單元 測(cè)試 被測(cè)模塊 被測(cè)模塊 被測(cè)模塊 集成 測(cè)試 設(shè)計(jì)信息 確認(rèn) 測(cè)試 系統(tǒng) 測(cè)試 已集成的 軟件 已確認(rèn)的 軟件 可交付的 軟件 軟件需求 已測(cè)試 模塊 其他系統(tǒng)元素 軟件測(cè)試方法 靜態(tài)測(cè)試 （程序不執(zhí)行） 軟件測(cè)試 動(dòng)態(tài)測(cè)試 （程序執(zhí)行） 黑盒測(cè)試（測(cè)試功能） 白盒測(cè)試（測(cè)試結(jié)構(gòu)） 靜態(tài)分析器（自動(dòng)工具） 代碼審查（人工方式） 軟件測(cè)試方法的分類(lèi) 軟件測(cè)試方法 靜態(tài)測(cè)試 靜態(tài)測(cè)試指被測(cè)程序不在機(jī)器上運(yùn)行，而采用人工檢測(cè)和計(jì)算機(jī)輔助靜態(tài)檢測(cè)的手段對(duì)程序進(jìn)行測(cè)試。 軟件測(cè)試的概念和意義 目前，在軟件開(kāi)發(fā)過(guò)程中，將 40%以上的工作量投入到軟件測(cè)試 之中。第 7章 軟件測(cè)試 軟件測(cè)試是在軟件投入運(yùn)行之前，對(duì)軟件的需求分析、設(shè)計(jì)規(guī)格說(shuō)明和編碼的最后復(fù)審。由專門(mén)的測(cè)試人員完成。 軟件測(cè)試的范圍 軟件測(cè)試的對(duì)象 ： 軟件測(cè)試不等于程序測(cè)試，在軟件定義與軟件開(kāi)發(fā)的各個(gè)階段所得到的各種文檔資料，都是測(cè)試對(duì)象，包括需求規(guī)格說(shuō)明、概要設(shè)計(jì)規(guī)格說(shuō)明、詳細(xì)設(shè)計(jì)規(guī)格說(shuō)明、源程序等。 軟件測(cè)試工作 動(dòng)態(tài)測(cè)試 動(dòng)態(tài)測(cè)試是通過(guò)運(yùn)行程序發(fā)現(xiàn)錯(cuò)誤。 ? 白盒測(cè)試法對(duì)程序的執(zhí)行細(xì)節(jié)進(jìn)行測(cè)試，驗(yàn)證程序模塊的每個(gè)路徑的執(zhí)行情況。 程序每個(gè)語(yǔ)句都能執(zhí)行，語(yǔ)句覆蓋似乎全面地檢查了每個(gè)語(yǔ)句，但該測(cè)試用例只檢查了邏輯表達(dá)式為“真”的情況，如將 “ AND” 錯(cuò)寫(xiě)為“ OR ”、 X1錯(cuò)寫(xiě)為 X1,仍用上面的測(cè)試用例 ,不能發(fā)現(xiàn)錯(cuò)誤。即對(duì)該程序中的四個(gè)條件 A1 ， B=0 ， A=2， X1 要選擇足夠的測(cè)試用例，使得： 判定表達(dá)式 1出現(xiàn)： A1， B=0； A≤1， B≠0 判定表達(dá)式 2出現(xiàn)： A=2， X1； A≠2， X=1 達(dá)到條件覆蓋標(biāo)準(zhǔn)。 (A1)AND(B=0) (A=2)OR(X1) 語(yǔ)句段 1 語(yǔ)句段 2 T F F T 1 2 3 4 5 軟件測(cè)試方法 （ 5）條件組合覆蓋： 該覆蓋標(biāo)準(zhǔn)是指設(shè)計(jì)足夠的測(cè)試用例，使被測(cè)程序的每個(gè)判定表達(dá)式中每個(gè)條件的各種可能的值的組合至少出現(xiàn)一次。 程序圖是退化了的程序流程圖，是反映控制流程的有向圖。 i=j=1。 5: if (ai=bj) 6: {listinsert(lc,++k,ai)。} 9: else {listinsert(lc,++k,bj)。 最簡(jiǎn)單的條件測(cè)試策略應(yīng)該是分支測(cè)試 ， 分支測(cè)試主要是保證條件中的每個(gè)簡(jiǎn)單條件 ， 以及取真 、 取假的分支都至少執(zhí)行一次 。 黑盒測(cè)試法 ? 黑盒測(cè)試法根據(jù)輸入 /輸出數(shù)據(jù)條件設(shè)計(jì)測(cè)試用例，驗(yàn)證程序的功能是否正確或滿足要求，不需考慮程序的內(nèi)部細(xì)節(jié)及執(zhí)行路徑。 將輸入數(shù)據(jù)域按有效的或無(wú)效的（或稱合理的或不合理的）劃分成若干類(lèi)，通過(guò)測(cè)試每個(gè)類(lèi)的代表值相當(dāng)于對(duì)于該類(lèi)其他數(shù)據(jù)值進(jìn)行測(cè)試。 軟件測(cè)試方法 等價(jià)類(lèi)劃分法的執(zhí)行步驟： 1）為每個(gè)等價(jià)類(lèi)規(guī)定一個(gè)唯一的編號(hào)； 2）設(shè)計(jì)一個(gè)測(cè)試用例，使其盡可能多的覆蓋尚未被覆蓋的有效等價(jià)類(lèi)，重復(fù)此步，直到所有的有效等價(jià)類(lèi)均被覆蓋為止； 3）設(shè)計(jì)一個(gè)測(cè)試用例，使其只覆蓋一個(gè)無(wú)效等價(jià)類(lèi)，重復(fù)此步，直到所有的無(wú)效等價(jià)類(lèi)均被覆蓋為止。對(duì)于表中編號(hào)為 1，5， 8的有效等價(jià)類(lèi)設(shè)計(jì)一個(gè)測(cè)試用例覆蓋。 ? 若輸入條件指出了值的個(gè)數(shù)，則按 最大個(gè)數(shù)、最小個(gè)數(shù)、比最大個(gè)數(shù)多 最小個(gè)數(shù)少 1等情況設(shè)計(jì)測(cè)試用例。 ? 輸入表已有序。 1)自頂向下增殖方式 （ 圖 P173） 具體的實(shí)施步驟如下： ① 先測(cè)試 主控制模塊 ， 測(cè)試時(shí)使用存根模塊代替所有直接附屬主控制模塊的功能模塊； ② 用某種 結(jié)合策略 ， 用實(shí)際模塊代替相應(yīng)的存根模塊； ③ 對(duì)結(jié)合后的模塊進(jìn)行 測(cè)試 ； ④ 為了保證加入的模塊沒(méi)有引進(jìn)新的錯(cuò)誤 ， 需要進(jìn)行 回歸測(cè)試； ⑤ 重復(fù)操作 4步 ， 完成集成測(cè)試 。 (1)確認(rèn)測(cè)試內(nèi)容 (2)α測(cè)試和 β測(cè)試 α測(cè)試是邀請(qǐng)用戶參加 ， 在開(kāi)發(fā)場(chǎng)地進(jìn)行的測(cè)試 ， 由開(kāi)發(fā)組成員或用戶實(shí)際操作運(yùn)行 ， 對(duì)測(cè)試過(guò)程中出現(xiàn)的問(wèn)題 ， 由開(kāi)發(fā)者記錄下來(lái) ， 作為修改的依據(jù) 。 （ 1） 恢復(fù)測(cè)試：主要檢查系統(tǒng)的容錯(cuò)能力 。 調(diào)試的過(guò)程如下 :(圖 P176) 確定出錯(cuò)原因 找出錯(cuò)誤的位置 排除這個(gè)錯(cuò)誤 重復(fù)對(duì)修改后的代碼進(jìn)行有關(guān)測(cè)試 修正無(wú)效或是引入了新的錯(cuò)誤 ，撤銷(xiāo)此次改動(dòng)或是修改新的錯(cuò)誤 。 軟件調(diào)試 調(diào)試方法 演繹法調(diào)試 演繹法是一種從一般原理或前提出發(fā)，經(jīng)過(guò)排除和精化的過(guò)程來(lái)推導(dǎo)出結(jié)論的思考方法。 概要設(shè)計(jì)說(shuō)明書(shū) 。 ? 輸出 : 預(yù)期的輸出數(shù)據(jù)。 ? 定義 : 列出測(cè)試分析報(bào)告中所用到的專門(mén)術(shù)語(yǔ)的定義和縮寫(xiě)詞的原 義 。 測(cè)試分析報(bào)告所引用的其他資料、采用的軟件工程標(biāo)準(zhǔn)或工程規(guī)范。 局限性 ( 即該項(xiàng)需求未得到充分測(cè)試的情況及原因 ) 。 k=0。++i。 1 2 4 5 6 7 9 10 11 12 13 第 1步：畫(huà)出程序圖 開(kāi)始結(jié)點(diǎn) 結(jié)束結(jié)點(diǎn) 3 8 判定結(jié)點(diǎn) ? 第 2步：計(jì)算環(huán)路復(fù)雜度 判定結(jié)點(diǎn)為 2， 3， 5， 9， 11 V(G)=P+1=6 ? 第 3步： 確定獨(dú)立路徑的基本集合 路徑 1： 1291113 路徑 2： 12911121113 路徑 3： 12391091113 路徑 4： 123456/78291113 路徑 5： 123456/782911121113 路徑 6： 123456/78291091113 ? 第 4步： 設(shè)計(jì)測(cè)試用例 路徑 1用例： la={},lb={},lc={} 路徑 2用例： la={},lb={3},lc={3} 路徑 3用例： la={3},lb={},lc={3} 路徑 4用例： 路徑 5用例： la={3,5},lb={2,4,6},lc={2,3,4,5,6} 路徑 6用例： la={3,5,6},lb={2,4},lc={2,3,4,5,7}