【文章內(nèi)容簡介】 徑測(cè)試，并力求提高測(cè)試覆蓋率。結(jié)構(gòu)性測(cè)試的主要方法有：邏輯覆蓋測(cè)試、基路徑測(cè)試、數(shù)據(jù)流測(cè)試等方法。在實(shí)際應(yīng)用中，為全面的測(cè)試軟件產(chǎn)品，一般將結(jié)構(gòu)性測(cè)試和功能性測(cè)試結(jié)合起來使用。2．軟件缺陷分類有多種方法可以對(duì)缺陷分類：以出現(xiàn)相應(yīng)錯(cuò)誤的開發(fā)階段來劃分、以相應(yīng)失效產(chǎn)生的后果來劃分、以解決難度來劃分、以不解決難度會(huì)產(chǎn)生的風(fēng)險(xiǎn)來劃分等等。在日常的軟件測(cè)試中，通常給出的缺陷是根據(jù)缺陷后果的嚴(yán)重程度來進(jìn)行劃分，如下表 2 所示。在實(shí)際應(yīng)用中可以根據(jù)具體情況對(duì)嚴(yán)重程度來劃分不同的等級(jí)。 3．測(cè)試用例的選擇選擇測(cè)試用例是軟件測(cè)試員最重要的一項(xiàng)任務(wù)，不正確的選擇可能導(dǎo)致測(cè)試量過大或過小，甚至測(cè)試目標(biāo)不對(duì)。從工程實(shí)踐的角度講，測(cè)試用例有幾條基本準(zhǔn)則：（1） 測(cè)試用例的代表性：能夠代表各種合理和不合理的、合法的和非法的、邊界和越界的,以及 極限的輸入數(shù)據(jù)、操作和環(huán)境設(shè)置等；（2） 測(cè)試結(jié)果的可判定性：即測(cè)試執(zhí)行結(jié)果的正確性是可判定的或可評(píng)估的；（3） 測(cè)試結(jié)果的可再現(xiàn)性：即對(duì)同樣的測(cè)試用例,系統(tǒng)的執(zhí)行結(jié)果應(yīng)當(dāng)是相同的。表 12 缺陷劃分表編號(hào) 缺陷等級(jí) 舉例1 輕微 詞語拼寫錯(cuò)誤2 中等 誤導(dǎo)或重復(fù)信息3 使人不悅 被截取的名稱4 影響使用 有些交易沒有處理5 嚴(yán)重 丟失交易6 非常嚴(yán)重 不正確的交易處理7 極為嚴(yán)重 經(jīng)常出現(xiàn)非常嚴(yán)重的錯(cuò)誤8 無法忍受 數(shù)據(jù)庫破壞9 災(zāi)難性 系統(tǒng)停機(jī)10 容易傳染 擴(kuò)展到其他系統(tǒng)的系統(tǒng)停機(jī)第 2 章 實(shí)驗(yàn)要求 實(shí)驗(yàn)總體要求 實(shí)驗(yàn)意義和目的本實(shí)驗(yàn)課程配合《軟件測(cè)試技術(shù)》理論課同步開設(shè)，其中包括設(shè)計(jì)型實(shí)驗(yàn)。本實(shí)驗(yàn)課程著眼于理論與應(yīng)用的結(jié)合，注重培養(yǎng)學(xué)生軟件測(cè)試的實(shí)際動(dòng)手能力，增強(qiáng)軟件工程項(xiàng)目的質(zhì)量管理意識(shí)。通過實(shí)驗(yàn)教學(xué)，使學(xué)生掌握軟件測(cè)試的方法和技術(shù)，并能運(yùn)用軟件測(cè)試工具進(jìn)行自動(dòng)化測(cè)試。本實(shí)驗(yàn)課程要求學(xué)生完成適當(dāng)?shù)纳蠙C(jī)實(shí)習(xí)，并寫出相應(yīng)的實(shí)驗(yàn)報(bào)告。驗(yàn)證型題目使學(xué)生熟悉常用的軟件測(cè)試工具。設(shè)計(jì)型題目使學(xué)生掌握軟件測(cè)試的基本理論和基本方法，培養(yǎng)基本的應(yīng)用能力。 實(shí)驗(yàn)內(nèi)容安排實(shí)驗(yàn)內(nèi)容安排如表 21 所示。表 21 實(shí)驗(yàn)內(nèi)容安排編號(hào) 實(shí)驗(yàn)性質(zhì) 實(shí)驗(yàn)要求 實(shí)驗(yàn)項(xiàng)目名稱 學(xué)時(shí) 備注1 設(shè)計(jì) 必做 單元測(cè)試 22 設(shè)計(jì) 必做 軟件缺陷管理 23 驗(yàn)證 必做 自動(dòng)化功能測(cè)試 24 驗(yàn)證 必做 自動(dòng)化性能測(cè)試 2 實(shí)驗(yàn)過程要求實(shí)驗(yàn)前要充分做好準(zhǔn)備工作：1．復(fù)習(xí)和掌握與本實(shí)驗(yàn)有關(guān)的知識(shí)內(nèi)容；2．預(yù)習(xí)、思考實(shí)驗(yàn)內(nèi)容；3．對(duì)實(shí)驗(yàn)內(nèi)容進(jìn)行分析和設(shè)計(jì)。實(shí)驗(yàn)過程中，實(shí)驗(yàn)者必須服從指導(dǎo)教師和實(shí)驗(yàn)室工作人員的安排，遵守紀(jì)律與實(shí)驗(yàn)制度，愛護(hù)設(shè)備及衛(wèi)生。在指定的實(shí)驗(yàn)時(shí)間內(nèi)，必須到實(shí)驗(yàn)室內(nèi)做實(shí)驗(yàn)。對(duì)于上機(jī)過程中出現(xiàn)的問題，盡量先獨(dú)立思考和解決；對(duì)于難以解決的問題可以和同學(xué)交流或詢問老師；對(duì)于同一個(gè)實(shí)驗(yàn)題目，可以考慮多種方法來實(shí)現(xiàn)，然后比較并選擇出一種較為有效的方法來實(shí)現(xiàn)。 實(shí)驗(yàn)報(bào)告要求實(shí)驗(yàn)后，應(yīng)及時(shí)整理出實(shí)驗(yàn)報(bào)告，實(shí)驗(yàn)報(bào)告提交電子文檔，實(shí)驗(yàn)報(bào)告具體內(nèi)容見附錄 1：實(shí)驗(yàn)報(bào)告。 實(shí)驗(yàn)成績?cè)u(píng)價(jià) 實(shí)驗(yàn)成績?cè)u(píng)價(jià)結(jié)構(gòu)及比例實(shí)驗(yàn)課程的總成績由實(shí)驗(yàn)考勤和實(shí)驗(yàn)報(bào)告成績組成，其中實(shí)驗(yàn)考勤占 10%，實(shí)驗(yàn)過程占 20%，實(shí)驗(yàn)報(bào)告占 70%。 考核方式實(shí)驗(yàn)考核主要是三個(gè)方面：1．上機(jī)實(shí)驗(yàn)考勤。每次上機(jī)應(yīng)主動(dòng)在指導(dǎo)老師處簽到，冒簽等不誠信行為一旦被發(fā)現(xiàn)，取消本次實(shí)驗(yàn)成績。如果學(xué)生需要請(qǐng)假，必須提前出具正式假條（需要班主任或者輔導(dǎo)員簽字） ，不接受事后假條（如有特殊情況，需要有輔導(dǎo)員或班主任的情況說明） 。2．實(shí)驗(yàn)過程考核。每次實(shí)驗(yàn)課，指導(dǎo)教師根據(jù)實(shí)驗(yàn)過程情況，對(duì)每個(gè)學(xué)生的表現(xiàn)進(jìn)行記錄。3．實(shí)驗(yàn)報(bào)告提交。應(yīng)根據(jù)指導(dǎo)教師要求按時(shí)提交每次實(shí)驗(yàn)的數(shù)據(jù)。如果發(fā)現(xiàn)學(xué)生抄襲、偽造實(shí)驗(yàn)數(shù)據(jù)，或?qū)嶒?yàn)報(bào)告和設(shè)計(jì)報(bào)告抄襲、雷同，則涉及的所有學(xué)生的該課程實(shí)驗(yàn)成績記為 0 分。第 3 章 實(shí)驗(yàn)內(nèi)容與指導(dǎo) 單元測(cè)試 實(shí)驗(yàn)類型實(shí)驗(yàn)類型為設(shè)計(jì)型，2 個(gè)學(xué)時(shí)。 實(shí)驗(yàn)?zāi)康模?） 掌握白盒測(cè)試方法，并按單元測(cè)試的要求設(shè)計(jì)測(cè)試用例。（2） 能熟練應(yīng)用 junit 測(cè)試工具進(jìn)行單元測(cè)試；（3） 能應(yīng)用 Ant 進(jìn)行自動(dòng)化測(cè)試；（4） 進(jìn)行代碼覆蓋檢查； 背景知識(shí)一、 邏輯覆蓋結(jié)構(gòu)性測(cè)試力求提高測(cè)試覆蓋率。邏輯覆蓋是對(duì)一系列測(cè)試過程的總稱，它是在使用白盒測(cè)試法時(shí)，選用測(cè)試用例執(zhí)行程序邏輯路徑的方法。邏輯覆蓋按覆蓋程度由低到高大致分為以下幾類：（1） 語句覆蓋：設(shè)計(jì)若干測(cè)試用例，使程序中每一可執(zhí)行語句至少執(zhí)行一次；（2） 判斷覆蓋：設(shè)計(jì)用例，使程序中的每個(gè)邏輯判斷的取真取假分支至少經(jīng)歷一次；（3） 條件覆蓋：設(shè)計(jì)用例，使判斷中的每個(gè)條件的可能取值至少滿足一次；（4） 判斷/條件覆蓋：設(shè)計(jì)用例，使得判斷中的每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次，而且判斷本身所有可能結(jié)果也至少出現(xiàn)一次；（5） 條件組合覆蓋。設(shè)計(jì)用例，使得每個(gè)判斷表達(dá)式中條件的各種可能組合都至少出現(xiàn)一次；顯然，滿足⑤的測(cè)試用例也一定是滿足② 、③、④ 的測(cè)試用例。（6） 路徑覆蓋。設(shè)計(jì)足夠的測(cè)試用例，使程序的每條可能路徑都至少執(zhí)行一次。如果把路徑覆蓋和條件組合覆蓋結(jié)合起來，可以設(shè)計(jì)出檢錯(cuò)能力更強(qiáng)的測(cè)試數(shù)據(jù)用例。二、 基本路徑測(cè)試如果把覆蓋的路徑數(shù)壓縮到一定限度內(nèi)，例如，程序中的循環(huán)體只執(zhí)行零次和一次，就成為基本路徑測(cè)試。它是在程序控制流圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測(cè)試用例的方法。設(shè)計(jì)出的測(cè)試用例要保證在測(cè)試中，程序的每一個(gè)可執(zhí)行語句至少要執(zhí)行一次。① 程序的控制流圖控制流圖是描述程序控制流的一種圖示方法?；究刂茦?gòu)造的圖形符號(hào)如圖所示。符號(hào)○稱為控制流圖的一個(gè)結(jié)點(diǎn)，一組順序處理框可以映射為一個(gè)單一的結(jié)點(diǎn)?？刂屏鲌D中的箭頭稱為邊，它表示了控制流的方向，在選擇或多分支結(jié)構(gòu)中分支的匯聚處，即使沒有執(zhí)行語句也應(yīng)該有一個(gè)匯聚結(jié)點(diǎn)。邊和結(jié)點(diǎn)圈定的區(qū)域叫做區(qū)域，當(dāng)對(duì)區(qū)域計(jì)數(shù)時(shí)，圖形外的區(qū)域也應(yīng)記為一個(gè)區(qū)域。圖 31 控制流圖的各種圖形符號(hào)如果判定中的條件表達(dá)式是復(fù)合條件時(shí)，即條件表達(dá)式是由一個(gè)或多個(gè)邏輯運(yùn)算符（OR， AND，NAND，NOR）連接的邏輯表達(dá)式，則需要改復(fù)合條件的判定為一系列只有單個(gè)條件的嵌套的判定。例如對(duì)應(yīng)圖 32. (a) 的復(fù)合條件的判定，應(yīng)該畫成如圖 32. (b) 所示的控制流圖。 條件語句 if a OR b 中條件 a 和條件 b 各有一個(gè)只有單個(gè)條件的判定結(jié)點(diǎn)。圖 32 復(fù)合邏輯下的控制流圖② 計(jì)算程序環(huán)路復(fù)雜性 進(jìn)行程序的基本路徑測(cè)試時(shí)，程序的環(huán)路復(fù)雜性給出了程序基本路徑集合中的獨(dú)立路徑條數(shù)，這是確保程序中每個(gè)可執(zhí)行語句至少執(zhí)行一次所必需的測(cè)試用例數(shù)目的上界。所謂獨(dú)立路徑，是指包括一組以前沒有處理的語句或條件的一條路徑。如在圖 33(b)所示的控制流圖中，一組獨(dú)立的路徑是： path1：1 11 path2：1 2 3 4 5 10 1 11 path3：1 2 3 6 8 9 10 1 11 path4：1 2 3 6 7 9 10 1 11路徑 path1，path2，path3 ，path4 組成了圖 33 (b) 所示控制流圖的一個(gè)基本路徑集。只要設(shè)計(jì)出的測(cè)試用例能夠確保這些基本路徑的執(zhí)行，就可以使得程序中的每個(gè)可執(zhí)行語句至少執(zhí)行一次，每個(gè)條件的取真分支和取假分支也能得到測(cè)試?；韭窂郊皇俏ㄒ坏?，對(duì)于給定的控制流圖，可以得到不同的基本路徑集。 (a) 程序流程圖 (b) 控制流圖 圖 33 程序流程圖與對(duì)應(yīng)的控制流圖 通常環(huán)路復(fù)雜性可用以下三種方法求得。? 將環(huán)路復(fù)雜性定義為控制流圖中的區(qū)域數(shù)。? 設(shè) E 為控制流圖的邊數(shù)，N 為圖的結(jié)點(diǎn)數(shù)，則定義環(huán)路復(fù)雜性為 V(G)＝E－N＋2。? 若設(shè) P 為控制流圖中的判定結(jié)點(diǎn)數(shù)，則有 V(G)＝P ＋1。因?yàn)閳D (b)所示控制流圖有 4 個(gè)區(qū)域。其環(huán)路復(fù)雜性為 4。 它是構(gòu)成基本路徑集的獨(dú)立路徑數(shù)的上界。可以據(jù)此得到應(yīng)該設(shè)計(jì)的測(cè)試用例的數(shù)目。③ 導(dǎo)出測(cè)試用例利用邏輯覆蓋方法生成測(cè)試用例，確?；韭窂郊忻織l路徑的執(zhí)行。三、 單元測(cè)試的步驟通常單元測(cè)試在編碼階段進(jìn)行。在源程序代碼編制完成，經(jīng)過評(píng)審和驗(yàn)證，確認(rèn)沒有語法錯(cuò)誤之后，就開始進(jìn)行單元測(cè)試的測(cè)試用例設(shè)計(jì)。利用設(shè)計(jì)文檔，設(shè)計(jì)可以驗(yàn)證程序功能、找出程序錯(cuò)誤的多個(gè)測(cè)試用例。對(duì)于每一組輸入，應(yīng)有預(yù)期的正確結(jié)果。模塊并不是一個(gè)獨(dú)立的程序，在考慮測(cè)試模塊時(shí)，同時(shí)要考慮它和外界的聯(lián)系，用一些輔助模塊去模擬與被測(cè)模塊相聯(lián)系的其它模塊。這些輔助模塊分為兩種：（1） 驅(qū)動(dòng)模塊：相當(dāng)于被測(cè)模塊的主程序。它接收測(cè)試數(shù)據(jù)，把這些數(shù)據(jù)傳送給被測(cè)模塊，最后輸出實(shí)