【正文】 單元 測(cè)試 單元 測(cè)試 被測(cè)模塊 被測(cè)模塊 被測(cè)模塊 集成 測(cè)試 設(shè)計(jì)信息 確認(rèn) 測(cè)試 系統(tǒng) 測(cè)試 已集成的 軟件 已確認(rèn)的 軟件 可交付的 軟件 軟件需求 已測(cè)試 模塊 其他系統(tǒng)元素 軟件測(cè)試與軟件開發(fā)的關(guān)系 用戶要求 系統(tǒng)測(cè)試 確認(rèn)測(cè)試 集成測(cè)試 模塊測(cè)試 編碼 詳細(xì)設(shè)計(jì) 需求分析 概要設(shè)計(jì) 軟件測(cè)試步驟 單元測(cè)試 單元測(cè)試也稱模塊測(cè)試，是針對(duì)軟件設(shè)計(jì)的最小單元―― 程序模塊進(jìn)行的測(cè)試，目的是發(fā)現(xiàn)模塊內(nèi)部的錯(cuò)誤 。 例：排序程序 ? 輸入表為空。 ? 對(duì)于每個(gè)輸出條件按照以上兩個(gè)原則確定輸出值的邊界。檢查邊界情況的測(cè)試用例是比較高效的，可以查出更多的錯(cuò)誤。 測(cè)試數(shù)據(jù) 期望結(jié)果 覆蓋范圍 202211 輸入有效 1， 5， 8 ? 步驟 3：為每一個(gè)無效等價(jià)類至少設(shè)計(jì)一個(gè)測(cè)試用例。 ? 步驟 1：劃分等價(jià)類并編號(hào)。 4）執(zhí)行所設(shè)計(jì)的一系列測(cè)試用例，分析是否得到預(yù)期結(jié)果。 ? 若規(guī)定了輸入數(shù)據(jù)必須遵循的規(guī)則，可確定一個(gè)有效等價(jià)類和若干個(gè)無效等價(jià)類。 如果某個(gè)等價(jià)類中任選一個(gè)測(cè)試用例，未發(fā)現(xiàn)程序錯(cuò)誤，則該類中的其他測(cè)試用例，也不會(huì)發(fā)現(xiàn)程序錯(cuò)誤。 因此，可以從每個(gè)等價(jià)類中只取一組數(shù)據(jù)作為測(cè)試數(shù)據(jù)，這樣選取的數(shù)據(jù)最具有代表性，從而減少測(cè)試成本和提高測(cè)試效率。 ? 黑盒測(cè)試法在接口上也驗(yàn)證輸入 /輸出信息的正確性。 ③ 反復(fù)進(jìn)行 ， 直到所有各層循環(huán)測(cè)試完畢 。 軟件測(cè)試方法 循環(huán)測(cè)試 根據(jù)循環(huán)的復(fù)雜性 ， 可分為簡(jiǎn)單循環(huán) 、 嵌套循環(huán)和串接循環(huán) 。 listinsert(lc,++k,bj)。++j。要求寫出其基本路徑測(cè)試的步驟。++i。amp。 k=0。 ? ④設(shè)計(jì)測(cè)試用例 確保每一條路徑的執(zhí)行。 稱為 結(jié)點(diǎn) ，代表程序流程圖的每個(gè)處理符號(hào)； 稱為 邊 或者 路徑 ，表示控制流向。 總結(jié)： 在實(shí)際的邏輯覆蓋測(cè)試中，一般以 條件組合覆蓋 為主設(shè)計(jì)測(cè)試用例，然后再補(bǔ)充部分用例，以達(dá)到 路徑覆蓋 測(cè)試標(biāo)準(zhǔn)。條件組合覆蓋是較強(qiáng)的覆蓋標(biāo)準(zhǔn)。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測(cè)試方法 （ 4）判定 /條件覆蓋： 該覆蓋標(biāo)準(zhǔn)是指設(shè)計(jì)足夠的測(cè)試用例，使被測(cè)程序的每個(gè)判定表達(dá)式中每個(gè)條件的各種可能的值至少出現(xiàn)一次。 為滿足上述要求，選擇以下兩組數(shù)據(jù)： A=2,B=0 ,X=3（ 滿足 A1 ， B=0， A=2 ， X1 通過路徑 124） A=1,B=1, X=1（ 滿足 A≤1， B≠0， X≤1， A≠2通過路徑 135 ） (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測(cè)試方法 以上兩組數(shù)據(jù)不僅覆蓋了判定表達(dá)式中的所有條件的可能取值，而且覆蓋了 所有判定的取“真”分支和取“假”分支，在這種情況下條件覆蓋強(qiáng)于判定覆蓋。 對(duì)于多分支的判定，判定覆蓋要使得每一個(gè)判定表達(dá)式獲得每一個(gè)可能的值。因此語句覆蓋是比較弱的覆蓋。語句覆蓋是指設(shè)計(jì)足夠的測(cè)試用例，使被測(cè)程序的每個(gè)語句至少執(zhí)行一次。 軟件測(cè)試方法 白盒測(cè)試法 白盒測(cè)試是結(jié)構(gòu)測(cè)試，所以被測(cè)對(duì)象基本上是源程序，以程序的內(nèi)部結(jié)構(gòu)為基礎(chǔ)，設(shè)計(jì)測(cè)試用例。 軟件測(cè)試工作 軟件測(cè)試過程中的信息： 測(cè)試過程需要三類信息： 軟件配置 ：包括需求規(guī)格說明、軟件設(shè)計(jì)規(guī)格說明、源程序等； 測(cè)試配置 ：包括測(cè)試方案、測(cè)試用例、測(cè)試驅(qū)動(dòng)程序等； 測(cè)試工具 ：計(jì)算機(jī)輔助測(cè)試的有關(guān)工具。 一般意義上的測(cè)試都是動(dòng)態(tài)測(cè)試。 包括”辦公室“檢查、會(huì)審、走查（排查）。 軟件測(cè)試步驟 測(cè)試過程分為 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è)試方法的分類 軟件測(cè)試方法 靜態(tài)測(cè)試 靜態(tài)測(cè)試指被測(cè)程序不在機(jī)器上運(yùn)行，而采用人工檢測(cè)和計(jì)算機(jī)輔助靜態(tài)檢測(cè)的手段對(duì)程序進(jìn)行測(cè)試。 軟件測(cè)試的目的和原則 軟件測(cè)試的原則： （ 1） 應(yīng)當(dāng)把 “ 盡早地和不斷地測(cè)試 ” 作為開發(fā)者的座右銘 （ 2）軟件測(cè)試工作應(yīng)該由獨(dú)立的專業(yè)軟件測(cè)試機(jī)構(gòu)來完成 （ 3）測(cè)試工作要全面，但不可能實(shí)現(xiàn)“窮舉” （ 4）把 Pareto原理應(yīng)用到軟件測(cè)試中 （ 5）妥善保存一切測(cè)試過程文檔 （ 6）制定嚴(yán)格、合理的測(cè)試計(jì)劃 （ 7）錯(cuò)誤經(jīng)過修改后，相關(guān)的測(cè)試必不可少 測(cè)試用例的要求 ? 測(cè)試用例應(yīng)由輸入數(shù)據(jù)和預(yù)期的輸出數(shù)據(jù)兩部分組成。 軟件測(cè)試的概念和意義 目前，在軟件開發(fā)過程中，將 40%以上的工作量投入到軟件測(cè)試 之中。 軟件測(cè)試的概念和意義 軟件測(cè)試在軟件生命期中跨越兩個(gè)階段： ，進(jìn)行 單元測(cè)試 。第 7章 軟件測(cè)試 軟件測(cè)試是在軟件投入運(yùn)行之前，對(duì)軟件的需求分析、設(shè)計(jì)規(guī)格說明和編碼的最后復(fù)審。 根據(jù)軟件開發(fā)各階段的規(guī)格說明和程序內(nèi)部結(jié)構(gòu)精心設(shè)計(jì)一批測(cè)試用例，并利用這些用例去運(yùn)行程序，以發(fā)現(xiàn)程序中的錯(cuò)誤。由專門的測(cè)試人員完成。 一個(gè) 成功的測(cè)試 是 發(fā)現(xiàn) 了至今尚未發(fā)現(xiàn)的錯(cuò)誤的 測(cè)試 。 軟件測(cè)試的范圍 軟件測(cè)試的對(duì)象 ： 軟件測(cè)試不等于程序測(cè)試，在軟件定義與軟件開發(fā)的各個(gè)階段所得到的各種文檔資料，都是測(cè)試對(duì)象，包括需求規(guī)格說明、概要設(shè)計(jì)規(guī)格說明、詳細(xì)設(shè)計(jì)規(guī)格說明、源程序等。人工檢測(cè)可以發(fā)現(xiàn)計(jì)算機(jī)不易發(fā)現(xiàn)的錯(cuò)誤，據(jù)統(tǒng)計(jì)人工檢測(cè)可發(fā)現(xiàn) 30%~70%的邏輯設(shè)計(jì)和編碼錯(cuò)誤，從而減少系統(tǒng)測(cè)試的總工作量。 軟件測(cè)試工作 動(dòng)態(tài)測(cè)試 動(dòng)態(tài)測(cè)試是通過運(yùn)行程序發(fā)現(xiàn)錯(cuò)誤。分別稱為 黑盒測(cè)試 和 白盒測(cè)試 。 ? 白盒測(cè)試法對(duì)程序的執(zhí)行細(xì)節(jié)進(jìn)行測(cè)試，驗(yàn)證程序模塊的每個(gè)路徑的執(zhí)行情況。 軟件測(cè)試方法 （ 1）語句覆蓋： 為了提高發(fā)現(xiàn)錯(cuò)誤的可能性，在測(cè)試時(shí)應(yīng)該執(zhí)行到程序中的每一個(gè)語句。 程序每個(gè)語句都能執(zhí)行，語句覆蓋似乎全面地檢查了每個(gè)語句，但該測(cè)試用例只檢查了邏輯表達(dá)式為“真”的情況，如將 “ AND” 錯(cuò)寫為“ OR ”、 X1錯(cuò)寫為 X1,仍用上面的測(cè)試用例 ,不能發(fā)現(xiàn)錯(cuò)誤。所以測(cè)試用例為： A= B=0 、 X=1（ 125), A= B= X=2（ 134） 。即對(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)。為了解決此問題，需要對(duì)條件和分支兼顧。