【正文】 連接起來(lái) ， 畫出原因效果圖 ， 標(biāo)出約束條件； 73 因果圖法 （ 3） 原因相對(duì)于判定表中的條件 ， 效果相對(duì)于判定表中的動(dòng)作 ， 把原因效果圖轉(zhuǎn)換為判定表； （ 4） 把判定表中右邊部分的每一列表示的情況轉(zhuǎn)換為測(cè)試用例 。 63 黑盒法（邏輯覆蓋） 黑盒測(cè)試法把程序看成是一個(gè)黑盒子 ， 不考慮程序內(nèi)部的執(zhí)行過(guò)程 ， 著眼于外部特性 ， 在接口上進(jìn)行測(cè)試 ， 僅考慮輸入與輸出能否與需求規(guī)格說(shuō)明書對(duì)應(yīng)起來(lái) ， 輸入能否正確的接收 ， 輸出能否得到正確的結(jié)果 。 2) A1,B≠ 0。 X1,X≤ 1。具有語(yǔ)句覆蓋 、 判定覆蓋 （ 分支覆蓋 ） 、 條件覆蓋 、判定 /條件覆蓋 、 路徑覆蓋 、 條件組合覆蓋 、 點(diǎn)覆蓋 、 邊覆蓋 ， 下面以一個(gè)經(jīng)典例子分別介紹： 設(shè)有某個(gè)算法片段的程序流程圖如下： 47 白盒法（邏輯覆蓋） 圖 65程序段程序框圖 (A1)AND (B=0) (A=2)OR (X1) X=X/A X=X+1 a b c d e T T 48 白盒法（邏輯覆蓋） 該程序片段有四條路徑： abd,acd,ace,aed。 41 軟件測(cè)試的方法 包含所有可能情況的測(cè)試稱為窮盡測(cè)試 ， 實(shí)際上 ， 通常不可能做到窮盡測(cè)試 。 測(cè)試信息流 23 （ 3） 從測(cè)試結(jié)果的表現(xiàn)上分類： 1） 功能錯(cuò)誤：由系統(tǒng)需求分析不完整引起的； 2） 結(jié)構(gòu)錯(cuò)誤：由總體設(shè)計(jì)的錯(cuò)誤引起的； 3） 過(guò)程錯(cuò)誤：由詳細(xì)設(shè)計(jì)的錯(cuò)誤引起的； 4） 數(shù)據(jù)錯(cuò)誤：由軟件編碼或詳細(xì)設(shè)計(jì)的錯(cuò)誤引起的； 5） 編碼錯(cuò)誤：由軟件編碼引起的錯(cuò)誤； 6） 其它錯(cuò)誤：由文檔和其它系統(tǒng)元素引起的錯(cuò)誤； 測(cè)試信息流 24 軟件測(cè)試步驟與軟件開(kāi)發(fā)各階段的關(guān)系 軟件測(cè)試一般分為四個(gè)步驟： （ 1） 單元測(cè)試 （ 也稱模塊測(cè)試 ） ：針對(duì)軟件設(shè)計(jì)的基本單元 —— 程序模塊 ， 進(jìn)行正確性檢驗(yàn)的測(cè)試工作 。 設(shè)程序段為 S， 其前斷言為 P， 后斷言為 R。 是根據(jù)軟件開(kāi)發(fā)的各個(gè)階段的說(shuō)明和程序的內(nèi)部結(jié)構(gòu)而精心設(shè)計(jì)的一批測(cè)試用例 （ 有輸入數(shù)據(jù)及預(yù)期的結(jié)果 ） ， 并利用這些測(cè)試用例執(zhí)行程序及發(fā)現(xiàn)錯(cuò)誤的過(guò)程 。 4 軟件測(cè)試基本概念 ， 被軟件工程領(lǐng)域認(rèn)可： （ 1） 測(cè)試是為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過(guò)程； （ 2） 好的測(cè)試方案極有可能發(fā)現(xiàn)迄今為止尚未發(fā)現(xiàn)的錯(cuò)誤； （ 3） 成功的測(cè)試是發(fā)現(xiàn)了至今為止尚未發(fā)現(xiàn)的錯(cuò)誤 。 10 軟件測(cè)試的對(duì)象 ? 程序的確認(rèn)又分為靜態(tài)確認(rèn)與動(dòng)態(tài)確認(rèn) 。 如果得到的評(píng)價(jià)是沒(méi)有發(fā)現(xiàn)錯(cuò)誤 ， 很有可能測(cè)試的配置考慮得不夠充分和細(xì)致 ， 軟件仍有潛伏的錯(cuò)誤 ， 以后改正錯(cuò)誤需要付出高昂的代價(jià) 。 從測(cè)試過(guò)程來(lái)分：靜態(tài)分析法 、 動(dòng)態(tài)測(cè)試法； 38 軟件測(cè)試的方法 結(jié)構(gòu)檢查是手工分析技術(shù) ， 對(duì)需求說(shuō)明 、 程序設(shè)計(jì) 、 編碼 、 測(cè)試工作進(jìn)行評(píng)議 ， 虛擬地 （ 模擬 ）執(zhí)行程序 ， 在評(píng)議中發(fā)現(xiàn)和檢查錯(cuò)誤； 流圖分析是通過(guò)分析流程圖 、 代碼結(jié)構(gòu)來(lái)檢查程序錯(cuò)誤 ， 便于進(jìn)行編碼分析和測(cè)試結(jié)果分析； 39 軟件測(cè)試的方法 符號(hào)執(zhí)行是定義符號(hào)化數(shù)據(jù) ， 為程序的每條路徑給出符號(hào)表達(dá)式 ， 對(duì)特定路徑輸入符號(hào) ， 經(jīng)處理輸出符號(hào) ， 判斷程序的行為是否錯(cuò)誤 ， 這種方法復(fù)雜 ， 易出錯(cuò) ， 較少使用 。 有多種測(cè)試技術(shù) ，同一種測(cè)試技術(shù)在不同的應(yīng)用場(chǎng)合效果可能相差很大 ， 因此 ， 通常需要聯(lián)合使用多種測(cè)試技術(shù)來(lái)設(shè)計(jì)測(cè)試用例 。 如圖 65中 ， 有四個(gè)條件： A1,B=0,A=2,X1,每個(gè)條件可能出現(xiàn)的各種結(jié)果為： a點(diǎn)出現(xiàn)：A1,A≤ 1。但它也并不比條件覆蓋更強(qiáng)。 62 白盒法（邏輯覆蓋） (8)路徑覆蓋：選擇足夠的測(cè)試用例 ， 使得程序中的每條可能組合路徑都至少執(zhí)行一次 。 所以選取稍微高于或低于邊界值的數(shù)據(jù)進(jìn)行測(cè)試 。 79 軟件調(diào)試 調(diào)試技術(shù)有以下類別： 輸出存儲(chǔ)器內(nèi)容：發(fā)現(xiàn)問(wèn)題時(shí) ， 設(shè)法保留現(xiàn)場(chǎng)信息 ， 把所有寄存器和主存中相關(guān)部分的內(nèi)容打印出來(lái)進(jìn)行分析研究 。 以上六條是常見(jiàn)的評(píng)價(jià)方面 。 ? 管理復(fù)審：向開(kāi)發(fā)組織或使用部門的管理人員 ， 提供有關(guān)項(xiàng)目的總體狀況 、 成本和進(jìn)度等方面的情況 ，以便他們從管理角度對(duì)開(kāi)發(fā)工作進(jìn)行審查 。 軟件開(kāi)發(fā)人員既要開(kāi)發(fā)滿足質(zhì)量要求的最終產(chǎn)品 ， 又要注意軟件開(kāi)發(fā)過(guò)程中的每個(gè)階段的質(zhì)量 。經(jīng)驗(yàn)表明這種方法設(shè)計(jì)出的測(cè)試用例 ， 暴露程序錯(cuò)誤的能力最強(qiáng) ， 應(yīng)該包括輸入和輸出數(shù)據(jù)的邊界情況； 76 綜合測(cè)試策略 ? （ 2） 必要時(shí)用等價(jià)類劃分法補(bǔ)充測(cè)試用例； ? （ 3） 必要時(shí)用錯(cuò)誤推測(cè)法補(bǔ)充測(cè)試用例； ? （ 4） 對(duì)照程序邏輯 ， 檢查設(shè)計(jì)測(cè)試用例 ， 可根據(jù)對(duì)程序的可靠性要求采用不同的邏輯覆蓋標(biāo)準(zhǔn) ， 補(bǔ)充測(cè)試用例 ， 達(dá)到邏輯覆蓋標(biāo)準(zhǔn)； ? （ 5） 如果有輸入條件的組合 ， 就應(yīng)從輸入條件及其組合開(kāi)始測(cè)試 。 相反 ， 若測(cè)不出錯(cuò)誤 ， 則該等價(jià)類的其他測(cè)試用例 ， 也測(cè)不出錯(cuò)誤 。 如果把程序流程圖的每個(gè)處理框 （ 含一個(gè)或多個(gè)語(yǔ)句 ） 作為一個(gè)節(jié)點(diǎn) ， 就畫出了程序圖 。 滿足 A≤ 1,B≠ 0,A≠ 2,X1的條件 ， 執(zhí)行路徑 abd。 例如 ， 選擇測(cè)試用例： A=3,B=0,X=3,預(yù)期結(jié)果為：A=3,B=0,X=1。 重要的通用軟件產(chǎn)品 ， 大多經(jīng)過(guò) α 和 β 測(cè)試 。 29 軟件測(cè)試步驟與軟件開(kāi)發(fā)各階段的關(guān)系 需求分析 軟件設(shè)計(jì) 軟件編碼 確認(rèn)測(cè)試 集成測(cè)試 單元測(cè)試 系統(tǒng) 測(cè)試 圖 62 軟件測(cè)試與軟件開(kāi)發(fā)過(guò)程間的關(guān)系 30 軟件測(cè)試步驟與軟件開(kāi)發(fā)各階段的關(guān)系 需求分析 說(shuō)明書 概要設(shè)計(jì) 說(shuō)明書 詳細(xì)設(shè)計(jì) 說(shuō)明書 源程序 代碼 確認(rèn)測(cè)試 集成測(cè)試 單元測(cè)試 系統(tǒng)測(cè)試 圖 63 軟件測(cè)試與開(kāi)發(fā)文檔之間的關(guān)系 31 軟件測(cè)試原則 ? （ 1） 將軟件測(cè)試貫穿于軟件開(kāi)發(fā)的各個(gè)階段中 ，在開(kāi)發(fā)過(guò)程中盡早地發(fā)現(xiàn)和預(yù)防錯(cuò)誤 ， 杜絕隱患 ，提高軟件質(zhì)量； ? （ 2） 測(cè)試用例必須包含輸入數(shù)據(jù)和與之對(duì)應(yīng)的預(yù)期輸出結(jié)果 ， 精心設(shè)計(jì)測(cè)試用例； ? （ 3） 測(cè)試時(shí)應(yīng)避免設(shè)計(jì)者檢查自己設(shè)計(jì)的程序； ? （ 4） 設(shè)計(jì)測(cè)試用例時(shí) ， 應(yīng)包括合理的與不合理的輸入條件； 32 軟件測(cè)試原則 ? （ 5） 充分注意測(cè)試中出現(xiàn)的錯(cuò)誤群集現(xiàn)象 ， 若發(fā)現(xiàn)錯(cuò)誤數(shù)目較多 ， 則可能殘存的錯(cuò)誤數(shù)目也較多 ，這種錯(cuò)誤出現(xiàn)的群集現(xiàn)象 ， 已為許多程序測(cè)試實(shí)踐所證實(shí)； ? （ 6） 嚴(yán)格執(zhí)行測(cè)試計(jì)劃 ， 以軟件需求說(shuō)明書為基準(zhǔn)設(shè)計(jì)測(cè)試用例 ， 排除測(cè)試的隨意性； 33 軟件測(cè)試原則 ? （ 7） 對(duì)每一個(gè)測(cè)試結(jié)果做全面檢查 ， 不能遺漏錯(cuò)誤出現(xiàn)的征兆 ， 軟件修改后要進(jìn)行回歸測(cè)試 ， 即用修改前測(cè)試過(guò)的測(cè)試用例進(jìn)行測(cè)試 ， 再用新的測(cè)試用例測(cè)試； ? （ 8） 妥善保存測(cè)試計(jì)劃 、 測(cè)試用例 、 出錯(cuò)統(tǒng)計(jì)數(shù)據(jù)和最終分析報(bào)告 ， 為維護(hù)提供方便 。如果發(fā)現(xiàn)出錯(cuò)的數(shù)據(jù)，則意味著軟件有錯(cuò)誤，需要糾錯(cuò)，應(yīng)進(jìn)行調(diào)試，確定錯(cuò)誤的位置和出錯(cuò)的性質(zhì)，改正這些錯(cuò)誤，同時(shí)修正相關(guān)文檔。 8 軟件測(cè)試基本概念 因此 ， 測(cè)試僅僅有可能找出程序的錯(cuò)誤 ， 測(cè)試不能證明程序是正確的 。1 軟件測(cè)試及軟件質(zhì)量控制 第六章 2 軟件系統(tǒng)的開(kāi)發(fā)過(guò)程中 ， 軟件測(cè)試占據(jù)著重要地位 。 測(cè)試是有限的 ， 由于通常的測(cè)試過(guò)程不可能窮盡一切情況 ， 即使經(jīng)過(guò)了嚴(yán)格的測(cè)試之后 ， 仍然可能存在沒(méi)有被發(fā)現(xiàn)的錯(cuò)誤隱藏在程序中 ， 不能