【正文】 (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)一次。 (A1)AND(B=0) (A=2)OR(X1) 語(yǔ)句段 1 語(yǔ)句段 2 T F F T 1 2 3 4 5 軟件測(cè)試方法 發(fā) 現(xiàn) 錯(cuò) 誤 能 力 語(yǔ)句覆蓋 每條語(yǔ)句至少執(zhí)行一次 判定覆蓋 每個(gè)判定的每個(gè)分支至少執(zhí)行一次 條件覆蓋 每個(gè)判定的每個(gè)條件應(yīng)取到各種可能的值 判定 /條件覆蓋 同時(shí)滿足判定覆蓋和條件覆蓋 條件組合覆蓋 每個(gè)判定中各條件的每一種組合至少出現(xiàn)一次 路徑覆蓋 使程序中每一條可能的路徑至少執(zhí)行一次 強(qiáng) 弱 六種覆蓋標(biāo)準(zhǔn)的對(duì)比 六種覆蓋標(biāo)準(zhǔn)的對(duì)比 ? 語(yǔ)句覆蓋 發(fā)現(xiàn)錯(cuò)誤能力弱； ? 判定覆蓋 包含語(yǔ)句覆蓋，但可能會(huì)使一些條件得不到測(cè)試； ? 條件覆蓋 對(duì)每一條件進(jìn)行單獨(dú)檢查，一般情況下其檢錯(cuò)能力較判定覆蓋強(qiáng)，但有時(shí)達(dá)不到判定覆蓋的要求； ? 判定 /條件覆蓋 包含了判定覆蓋與條件覆蓋的要求，但受軟件的影響，有時(shí)達(dá)不到判定覆蓋的標(biāo)準(zhǔn)； ? 條件組合覆蓋 發(fā)現(xiàn)錯(cuò)誤能力較強(qiáng)； ? 路徑覆蓋 查錯(cuò)能力強(qiáng)。 程序圖是退化了的程序流程圖，是反映控制流程的有向圖。 ? 獨(dú)立路徑的基本集合不唯一。 i=j=1。 2: while ((i=la_len) 3： amp。 5: if (ai=bj) 6: {listinsert(lc,++k,ai)。} 例：合并兩個(gè)有序線形表 la、 lb，生成有序線形表 lc，代碼如下所示。} 9: else {listinsert(lc,++k,bj)。 } 13: while (j=lb_len) { 14: getelem(lb,j++,bj)。 最簡(jiǎn)單的條件測(cè)試策略應(yīng)該是分支測(cè)試 ， 分支測(cè)試主要是保證條件中的每個(gè)簡(jiǎn)單條件 ， 以及取真 、 取假的分支都至少執(zhí)行一次 。 測(cè)試時(shí)保持當(dāng)前層的所有外層循環(huán)的循環(huán)變量取最小值 ， 所有其它嵌套內(nèi)層循環(huán)的循環(huán)變量取 “ 典型 ” 值 ， 同時(shí)考慮增加越界值和非法值的測(cè)試 。 黑盒測(cè)試法 ? 黑盒測(cè)試法根據(jù)輸入 /輸出數(shù)據(jù)條件設(shè)計(jì)測(cè)試用例，驗(yàn)證程序的功能是否正確或滿足要求，不需考慮程序的內(nèi)部細(xì)節(jié)及執(zhí)行路徑。 ? 等價(jià)類劃分 程序的輸入域總可以劃分成若干個(gè)不同性質(zhì)的等價(jià)類，每個(gè)等價(jià)類中的一個(gè)典型值在測(cè)試中的作用與該類所有其他值的作用相同。 將輸入數(shù)據(jù)域按有效的或無(wú)效的（或稱合理的或不合理的）劃分成若干類，通過測(cè)試每個(gè)類的代表值相當(dāng)于對(duì)于該類其他數(shù)據(jù)值進(jìn)行測(cè)試。 ? 若規(guī)定了輸入數(shù)據(jù)的一組值，且程序?qū)Σ煌妮斎胫底霾煌奶幚?，則每個(gè)允許的輸入值是一個(gè)有效等價(jià)類，另外還有一個(gè)無(wú)效等價(jià)類。 軟件測(cè)試方法 等價(jià)類劃分法的執(zhí)行步驟： 1）為每個(gè)等價(jià)類規(guī)定一個(gè)唯一的編號(hào)； 2）設(shè)計(jì)一個(gè)測(cè)試用例，使其盡可能多的覆蓋尚未被覆蓋的有效等價(jià)類，重復(fù)此步，直到所有的有效等價(jià)類均被覆蓋為止； 3）設(shè)計(jì)一個(gè)測(cè)試用例，使其只覆蓋一個(gè)無(wú)效等價(jià)類，重復(fù)此步，直到所有的無(wú)效等價(jià)類均被覆蓋為止。 ? 使用等價(jià)類劃分法設(shè)計(jì)測(cè)試用例，測(cè)試用戶輸入日期的合法性。對(duì)于表中編號(hào)為 1，5， 8的有效等價(jià)類設(shè)計(jì)一個(gè)測(cè)試用例覆蓋。邊界情況指輸入等價(jià)類、輸出等價(jià)類邊界上的情況。 ? 若輸入條件指出了值的個(gè)數(shù)，則按 最大個(gè)數(shù)、最小個(gè)數(shù)、比最大個(gè)數(shù)多 最小個(gè)數(shù)少 1等情況設(shè)計(jì)測(cè)試用例。 有經(jīng)驗(yàn)的程序員通?？筛鶕?jù)程序的特點(diǎn)和功能選擇測(cè)試數(shù)據(jù)，這些數(shù)據(jù)可能導(dǎo)致程序出現(xiàn)錯(cuò)誤。 ? 輸入表已有序。 （需考慮幾個(gè)問題 P171） （ 1） 一次性組裝方式 一次性組裝方式的基本思想是首先分別測(cè)試每個(gè)模塊 ， 然后將所有模塊全部組裝起來進(jìn)行測(cè)試 ， 形成最終的軟件系統(tǒng) 。 1)自頂向下增殖方式 （ 圖 P173） 具體的實(shí)施步驟如下： ① 先測(cè)試 主控制模塊 ， 測(cè)試時(shí)使用存根模塊代替所有直接附屬主控制模塊的功能模塊； ② 用某種 結(jié)合策略 ， 用實(shí)際模塊代替相應(yīng)的存根模塊； ③ 對(duì)結(jié)合后的模塊進(jìn)行 測(cè)試 ； ④ 為了保證加入的模塊沒有引進(jìn)新的錯(cuò)誤 ， 需要進(jìn)行 回歸測(cè)試； ⑤ 重復(fù)操作 4步 ， 完成集成測(cè)試 。 (回歸測(cè)試 ) 1)改進(jìn)的自頂向下的增殖測(cè)試：它的基本思想是對(duì)涉及輸入／輸出模塊和復(fù)雜算法的模塊先采用自底向上的測(cè)試方法 ， 將這些模塊組裝成為功能相對(duì)完整且相對(duì)獨(dú)立的子系統(tǒng) ， 然后由主模塊開始自頂向下進(jìn)行增殖測(cè)試 。 (1)確認(rèn)測(cè)試內(nèi)容 (2)α測(cè)試和 β測(cè)試 α測(cè)試是邀請(qǐng)用戶參加 ， 在開發(fā)場(chǎng)地進(jìn)行的測(cè)試 ， 由開發(fā)組成員或用戶實(shí)際操作運(yùn)行 ， 對(duì)測(cè)試過程中出現(xiàn)的問題 ， 由開發(fā)者記錄下來 ， 作為修改的依據(jù) 。 β測(cè)試的最大特點(diǎn)是實(shí)際的使用環(huán)境下進(jìn)行的測(cè)試 。 （ 1） 恢復(fù)測(cè)試：主要檢查系統(tǒng)的容錯(cuò)能力 。 （ 5） 其它：版本間的兼容性測(cè)試 、 安裝測(cè)試 ， 最終提交的文檔測(cè)試等 。 調(diào)試的過程如下 :(圖 P176) 確定出錯(cuò)原因 找出錯(cuò)誤的位置 排除這個(gè)錯(cuò)誤 重復(fù)對(duì)修改后的代碼進(jìn)行有關(guān)測(cè)試 修正無(wú)效或是引入了新的錯(cuò)誤 ，撤銷此次改動(dòng)或是修改新的錯(cuò)誤 。 具體實(shí)施步驟如下： 第一步：收集所有輸出結(jié)果有錯(cuò)誤的測(cè)試用例和執(zhí)行結(jié)果 。 軟件調(diào)試 調(diào)試方法 演繹法調(diào)試 演繹法是一種從一般原理或前提出發(fā)，經(jīng)過排除和精化的過程來推導(dǎo)出結(jié)論的思考方法。 ? 定義 : 列出測(cè)試計(jì)劃中所用到的專門術(shù)語(yǔ)的定義和縮寫詞的原 義 。 概要設(shè)計(jì)說明書 。 測(cè)試計(jì)劃 2 任務(wù)概述 ? 目標(biāo) ? 運(yùn)行環(huán)境 ? 需求概述 ? 條件與限制 測(cè)試計(jì)劃 3 計(jì)劃 ? 測(cè)試方案 : 說明測(cè)試方法和選取測(cè)試用例的原則。 ? 輸出 : 預(yù)期的輸出數(shù)據(jù)。 測(cè)試計(jì)劃 ? 5 評(píng)價(jià) ? 范圍 : 說明所完成的各項(xiàng)測(cè)試 涉及 問題的范圍及其局限性。 ? 定義 : 列出測(cè)試分析報(bào)告中所用到的專門術(shù)語(yǔ)的定義和縮寫詞的原 義 。 概要設(shè)計(jì)說明書 。 測(cè)試分析報(bào)告所引用的其他資料、采用的軟件工程標(biāo)準(zhǔn)或工程規(guī)范。 該項(xiàng)測(cè)試表明的事實(shí) 。 局限性 ( 即該項(xiàng)需求未得到充分測(cè)試的情況及原因 ) 。 ? 測(cè)試結(jié)論 : 說明能否通過。 k=0。amp。++i。 listinsert(lc,++k,ai)。 1 2 4 5 6 7 9 10 11 12 13 第 1步：畫出程序圖 開始結(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}