【正文】 程序中每個(gè)判斷的取真分支和取假分支至少經(jīng)歷一次 。 ? 判定覆蓋又稱為 分支覆蓋 。 ? 對(duì)于圖例，如果選擇 路徑 L1和 L2，就可得滿足要求的測(cè)試用例 : (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e L1 ( a ? c ? e ) L2 ( a? b ? d ) L3 ( a? b? e) L4 ( a? c ? d ) 149 ?【 (2, 0, 4),(2, 0, 3)】 覆蓋 ace【 L1】 ?【 (1, 1, 1),(1, 1, 1)】 覆蓋 abd【 L2】 (A=2) and (B=0) or (A1) and (B=0) and (X1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e L1 ( a ? c ? e ) L2 ( a? b ? d ) L3 ( a? b? e) L4 ( a? c ? d ) 150 ?如果選擇路徑 L3和 L4，還可得另一組可用的測(cè)試用例 : 【 (2, 1, 1),(2, 1, 2)】 覆蓋 abe【 L3】 【 (3, 0, 3),(3, 0, 1)】 覆蓋 acd【 L4】 not (A1) and (X1) or not (B=0) and (A=2) or not (B=0) and (X1) (A1) and (B=0) and not (A=2) and not (X1) (A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e L1 ( a ? c ? e ) L2 ( a? b ? d ) L3 ( a? b? e) L4 ( a? c ? d ) 151 條件覆蓋 ?條件覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中 每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次 。 ?在圖例中，我們事先可對(duì)所有條件的取值加以標(biāo)記。例如， ?對(duì)于第一個(gè)判斷： ? 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1T12 2(A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e L1 ( a ? c ? e ) L2 ( a? b ? d ) L3 ( a? b? e) L4 ( a? c ? d ) 152 ?對(duì)于第二個(gè)判斷： ? 條件 A＝ 2 取真為 ，取假為 條件 X＞ 1 取真為 ，取假為 測(cè)試用例 覆蓋分支 條件取值 【 (2, 0, 4),(2, 0, 3)】 L1(c, e) 【 (1, 0, 1),(1, 0, 1)】 L2(b, d) 【 (2, 1, 1),(2, 1, 2)】 L3(b, e) 或 3TT34T T T T1 2 3 4 4321 TT T T T1 2 3 4(A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e ?對(duì)于第一個(gè)判斷： ? 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1T12 2條件覆蓋 4153 ?對(duì)于第二個(gè)判斷： ? 條件 A＝ 2 取真為 ，取假為 條件 X＞ 1 取真為 ，取假為 測(cè)試用例 覆蓋分支 條件取值 【 (1, 0, 3),(1, 0, 4)】 L3(b, e) 【 (2, 1, 1),(2, 1, 2)】 L3(b, e) T3T34(A1) and (B=0) (A=2) or (X1) X=X/A X=X+1 T T F F a b d c e ?對(duì)于第一個(gè)判斷： ? 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1T12 2T T T T1 2 3 41 2 3 4條件覆蓋 4154 判定－條件覆蓋 ? 判定－條件覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，使得 判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次 ， 每個(gè)判斷中的每個(gè)分支至少執(zhí)行一次 。 155 測(cè) 試 用 例 覆蓋分支 條件取值 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) 【 (1, 1, 1)， (1, 1, 1)】 L2(b, d) T T T T1 2 3 4T1 2 3 4(A=2) and (B=0) or (A1) and (B=0) and (X1) not (A1) and not (A=2) and not (X1) or not (B=0) and not (A=2) and not (X1) 156 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 157 條件組合覆蓋 ? 條件組合覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，運(yùn)行被測(cè)程序，使得 每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次 。 記 ① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯ 1, B＝ 0 作 ④ A≯ 1, B≠0 作 T T1 21 2T T1 21 2158 ⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯ 1 作 ⑦ A≠2, X＞ 1 作 ⑧ A≠2, X≯ 1 作 測(cè) 試 用 例 覆蓋條件 覆蓋組合 【 (2, 0, 4), (2, 0, 3)】 (L1) ① , ⑤ 【 (2, 1, 1), (2, 1, 2)】 (L3) ② , ⑥ 【 (1, 0, 3), (1, 0, 4)】 (L3) ③ , ⑦ 【 (1, 1, 1), (1, 1, 1)】 (L2) ④ , ⑧ T T3 43 4T T3 43 4T T T T1 2 3 4T T1 2 3 4T T T T1 2 3 4T T T1 2 3 4159 路徑測(cè)試 ? 路徑測(cè)試就是設(shè)計(jì)足夠的測(cè)試用例，覆蓋程序中所有可能的路徑 。 測(cè) 試 用 例 通過(guò)路徑 覆蓋條件 【 (2, 0, 4), (2, 0, 3)】 ace (L1) 【 (1, 1, 1), (1, 1, 1)】 abd (L2) 【 (1, 1, 2), (1, 1, 3)】 abe (L3) 【 (3, 0, 3), (3, 0, 1)】 acd (L4) T T T T1 2 3 4T1 2 3 4T T T T1 2 3 4T T3 41 2160 α測(cè)試和 β測(cè)試 ? 在軟件交付使用之后，用戶將如何實(shí)際使用程序，對(duì)于開(kāi)發(fā)者來(lái)說(shuō)是無(wú)法預(yù)測(cè)的。 161 ? α測(cè)試 是由一個(gè) 用戶在開(kāi)發(fā)環(huán)境下進(jìn)行的測(cè)試 ，也可以是 公司內(nèi)部的用戶在模擬實(shí)際操作環(huán)境下進(jìn)行的測(cè)試 。 ? α測(cè)試 的目的是評(píng)價(jià)軟件產(chǎn)品的 FLURPS（即功能、局域化、可使用性、可靠性、性能和支持）。尤其注重產(chǎn)品的界面和特色。 ? α測(cè)試 可以從軟件產(chǎn)品編碼結(jié)束之時(shí)開(kāi)始，或在模塊（子系統(tǒng)）測(cè)試完成之后開(kāi)始，也可以在確認(rèn)測(cè)試過(guò)程中產(chǎn)品達(dá)到一定的穩(wěn)定和可靠程度之后再開(kāi)始。 162 ? β測(cè)試 是由軟件的 多個(gè)用戶在實(shí)際使用環(huán)境下進(jìn)行的測(cè)試 。這些用戶返回有關(guān)錯(cuò)誤信息給開(kāi)發(fā)者。 ? 測(cè)試時(shí)，開(kāi)發(fā)者通常不在測(cè)試現(xiàn)場(chǎng)。因而， β測(cè)試 是在開(kāi)發(fā)者無(wú)法控制的環(huán)境下進(jìn)行的軟件現(xiàn)場(chǎng)應(yīng)用。 ? 在 β測(cè)試中，由用戶記下遇到的所有問(wèn)題，包括真實(shí)的以及主觀認(rèn)定的，定期向開(kāi)發(fā)者報(bào)告。 163 ? β測(cè)試 主要衡量產(chǎn)品的 FLURPS。著重于產(chǎn)品的支持性，包括文檔、客戶培訓(xùn)和支持產(chǎn)品生產(chǎn)能力。 ? 只有當(dāng) α測(cè)試 達(dá)到一定的可靠程度時(shí)，才能開(kāi)始 β測(cè)試 。它處在整個(gè)測(cè)試的最后階段。同時(shí)，產(chǎn)品的所有手冊(cè)文本也應(yīng)該在此階段完全定稿。 164 五、軟件測(cè)試與調(diào)試 〈 二 〉 調(diào)試 1． 調(diào)試的目的 調(diào)試的目的是確定錯(cuò)誤的原因和位置 ， 并改正錯(cuò)誤 ， 因此調(diào)試也稱為糾錯(cuò) 。 ? 軟件調(diào)試是在進(jìn)行了成功的測(cè)試之后才開(kāi)始的工作。它與軟件測(cè)試不同，調(diào)試的任務(wù)是 進(jìn)一步診斷和改正程序中潛在的錯(cuò)誤 。 ? 調(diào)試活動(dòng)由兩部分組成： ? 確定程序中可疑錯(cuò)誤的確切性質(zhì)和位置 。 ? 對(duì)程序 (設(shè)計(jì) ,編碼 )進(jìn)行修改，排除這個(gè)錯(cuò)誤 。 165 ? 調(diào)試工作是一個(gè)具有很強(qiáng)技巧性的工作。 ? 軟件運(yùn)行失效或出現(xiàn)問(wèn)題，往往只是潛在錯(cuò)誤的外部表現(xiàn) ， 而外部表現(xiàn)與內(nèi)在原因之間常常沒(méi)有明顯的聯(lián)系。如果要找出真正的原因，排除潛在的錯(cuò)誤，不是一件易事。 ? 可以說(shuō)， 調(diào)試是通過(guò)現(xiàn)象，找出原因的一個(gè)思維分析的過(guò)程 。 166 五、軟件測(cè)試與調(diào)試 〈 二 〉 調(diào)試 2． 調(diào)試技術(shù) （ 1） 簡(jiǎn)單的調(diào)試方法 。 在程序中插入打印語(yǔ)句或運(yùn)行部分程序 。 （ 2） 歸納法調(diào)試 。 從測(cè)試結(jié)果發(fā)現(xiàn)的線索 （ 錯(cuò)誤跡象、 征兆 ） 入手 ， 分析它們之間的聯(lián)系 ， 導(dǎo)出錯(cuò)誤原因的假設(shè)， 然后再證明或否定這個(gè)假設(shè) 。 （ 3） 演繹法調(diào)試 。 是列出所有可能的錯(cuò)誤原因的假設(shè)， 然后利用測(cè)試數(shù)據(jù)排除不適當(dāng)?shù)募僭O(shè) ， 最后再測(cè)試數(shù)據(jù)驗(yàn)證余下的假設(shè)確實(shí)是出錯(cuò)的原因 。 （ 4） 回溯法調(diào)試 。 從程序產(chǎn)生錯(cuò)誤的地方出發(fā) ， 人工沿程序的邏輯路徑反向搜索 ， 直到找到錯(cuò)誤的原因?yàn)橹?。 167 六、軟件運(yùn)行與維護(hù) 〈 一 〉 運(yùn)行 提交用戶使用 ， 根據(jù)用戶反饋意見(jiàn)進(jìn)行下一步的系統(tǒng)維護(hù) 。 168 六、軟件運(yùn)行與維護(hù) 〈 二 〉 維護(hù) 軟件維護(hù)的內(nèi)容有四種： 1. 校正性維護(hù) 2. 適應(yīng)性維護(hù) 3. 完善性維護(hù) 4. 預(yù)防性維護(hù)。 維護(hù)階段是軟件生存周期中最后的一個(gè)階段 ，也是時(shí)間最長(zhǎng) 、 所花費(fèi)的精力和費(fèi)用最多的一個(gè)階段 。 所以如何提高可維護(hù)性 ， 減少維護(hù)的工作量和費(fèi)用 ， 這是軟件工程的一個(gè)重要任務(wù) 。 169 軟件生存周期 ?軟件生存周期模型 描述軟件開(kāi)發(fā)過(guò)程中各種活動(dòng)如何執(zhí)行的模型。是軟件工程過(guò)程的簡(jiǎn)化的抽象描述。 ? 瀑布模型 ? 演化模型 ? 螺旋模型 ? 噴泉模型 ? 增量模型 170 計(jì)劃 需求分析 設(shè) 計(jì) 編 碼 測(cè) 試 運(yùn)行、維護(hù) 軟件生存周期模型 １ . 瀑布模型 優(yōu)點(diǎn)： 支持結(jié)構(gòu)化軟件開(kāi)發(fā)、控制軟件開(kāi)發(fā)復(fù)雜性、促進(jìn)軟件開(kāi)發(fā)工程化。 缺點(diǎn)： 階段間具有順序性，各階段依賴性強(qiáng)，缺乏靈活性。 適用 于系統(tǒng)需求明確、技術(shù)成熟工程管理較嚴(yán)格的場(chǎng)合。 對(duì)需求不明確的問(wèn)題，開(kāi)發(fā)完成后才發(fā)現(xiàn)不是用戶所需，要糾正偏差會(huì)付出高額代價(jià)。 171 軟件生存周期模型 2。演化模型 — 快速原型化方法 優(yōu)點(diǎn)： 與用戶見(jiàn)面快、開(kāi)發(fā)成功率高。 缺點(diǎn)： 開(kāi)發(fā)周期長(zhǎng)，開(kāi)發(fā)成本較高。 需求 設(shè)計(jì) 編碼 測(cè)試 集成 開(kāi) 發(fā) 需求 設(shè)計(jì) 編碼 測(cè)試 集成 開(kāi) 發(fā) 反饋 反饋 核心系統(tǒng)開(kāi)發(fā) 第二次迭代 適用于 需求不太明確的大系統(tǒng) 172 軟件生存周期模型 3。螺旋模型 結(jié)合了