軟件測試-邏輯覆蓋的測試教學(xué)文案

1、軟件測試- 邏輯覆蓋的測試精品文檔軟件測試實(shí)驗(yàn)報(bào)告題目 : 邏輯覆蓋的測試學(xué)號 :姓名 :教師 :東南大學(xué)成賢學(xué)院電子與計(jì)算機(jī)工程學(xué)院2017年 10月13日方案 30%設(shè)計(jì) 30%文字表述分析與總結(jié)總分20%20%收集于網(wǎng)絡(luò)，如有侵權(quán)請聯(lián)系管理員刪除精品文檔實(shí)驗(yàn)題目1、實(shí)驗(yàn)內(nèi)容為以下流程圖所示的程序段設(shè)計(jì)一組測試用例，要求分別滿足語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、組合條件覆蓋和路徑覆蓋。2、實(shí)驗(yàn)?zāi)康呐c要求為流程圖所示的程序段設(shè)計(jì)一組測試用例，要求分別滿足語句覆蓋、判定覆蓋、條件覆蓋、判定 /條件覆蓋、組合條件覆蓋和路徑覆蓋。3、實(shí)驗(yàn)環(huán)境操作系統(tǒng)： win10測試工具： VS201

2、0測試語言： C+4、設(shè)計(jì)思路分析（包括需求分析、整體設(shè)計(jì)思路、概要設(shè)計(jì)）語句覆蓋語句覆蓋率的公式：語句覆蓋率=被評價(jià)到的語句數(shù)量 /可執(zhí)行的語句總數(shù)x100%語句覆蓋的缺點(diǎn)：對程序執(zhí)行邏輯的覆蓋很低。判定覆蓋（分支覆蓋）收集于網(wǎng)絡(luò)，如有侵權(quán)請聯(lián)系管理員刪除精品文檔判定覆蓋的公式：判定覆蓋率 =被評價(jià)到的判定分支個(gè)數(shù)/判定分支的總數(shù)X100%判定路徑覆蓋率（ DDP） =被評價(jià)到的判定路徑數(shù)量/判定路徑的總數(shù)X100%判定覆蓋的缺點(diǎn)：判定覆蓋雖然把程序所有分支均覆蓋到了，但其主要對整個(gè)表達(dá)式最終取值進(jìn)行度量，忽略了表達(dá)式內(nèi)部取值。條件覆蓋條件覆蓋 CC（Condition Coverage），

3、設(shè)計(jì)足夠多的測試用例，運(yùn)行被測程序，使得每一判定語句中每個(gè)邏輯條件的可能取值至少滿足一次。條件覆蓋率的公式：條件覆蓋率=被評價(jià)到的條件取值的數(shù)量/條件取值的總數(shù)X100%條件覆蓋的缺點(diǎn)：只考慮到每個(gè)判定語句中的每個(gè)表達(dá)式，沒有考慮到各個(gè)條件分支（或者涉及不到全部分支），即不能夠滿足判定覆蓋判定條件覆蓋判定條件覆蓋率的公式：條件判定覆蓋率 =被評價(jià)到的條件取值和判定分支的數(shù)量 /（條件取值總數(shù) +判定分支總數(shù)）判定條件覆蓋的缺點(diǎn)：沒有考慮單個(gè)判定對整體結(jié)果的影響，無法發(fā)現(xiàn)邏輯錯(cuò)誤。補(bǔ)充：修正判定條件覆蓋修正判定條件覆蓋單元的入口與出口必須至少被調(diào)用一次，程序中判斷的每一個(gè)分支必須至少被執(zhí)行一次。

4、對于程序中通過邏輯運(yùn)算(AND ，OR 等 )組成判斷的基本布爾條件，每個(gè)條件必須取遍所有可能的值且每一個(gè)條件對判斷的結(jié)果具有獨(dú)立的作用。條件組合覆蓋收集于網(wǎng)絡(luò)，如有侵權(quán)請聯(lián)系管理員刪除精品文檔條件組合覆蓋，也稱多條件覆蓋MCC （ Multiple Condition Coverage），設(shè)計(jì)足夠多的測試用例，使得每個(gè)判定中條件的各種可能組合都至少出現(xiàn)一次（以數(shù)軸形式劃分區(qū)域，提取交集，建立最少的測試用例）。這種方法包含了“分支覆蓋 ”和“條件覆蓋 ”的各種要求。滿足條件組合覆蓋一定滿足判定覆蓋、條件覆蓋、判定條件覆蓋。條件組合覆蓋率的公式：條件組合覆蓋率=被評價(jià)到的條件取值組合的數(shù)量/條件

5、取值組合的總數(shù)條件組合覆蓋的缺點(diǎn)：判定語句較多時(shí)，條件組合值比較多。路徑覆蓋路徑覆蓋測試步驟：1. 將程序流程圖轉(zhuǎn)換成控制流圖；2. 經(jīng)過語法分析求的路徑表達(dá)式；3. 生成路徑圖；4. 進(jìn)行路徑編碼；5. 經(jīng)過譯碼得到執(zhí)行的路徑；6. 通過路徑枚舉產(chǎn)生特定路徑測試用例；7. 修正的條件判斷覆蓋率 (MC/DC) 。5、詳細(xì)設(shè)計(jì)（1）語句覆蓋語句覆蓋是指設(shè)計(jì)足夠的測試用例使得程序中的每一條可執(zhí)行語句至少執(zhí)行一次收集于網(wǎng)絡(luò)，如有侵權(quán)請聯(lián)系管理員刪除精品文檔測試用例XY覆蓋語句717執(zhí)行語句 300執(zhí)行語句 110執(zhí)行語句 2（2）判定覆蓋判定覆蓋又稱為分支覆蓋或所有邊覆蓋，測試控制結(jié)構(gòu)中布爾表達(dá)式

6、分別為真和假（例如 if 語句和 while 語句）。判定覆蓋的基本思想是指設(shè)計(jì)的測試用例，使得程序中的每一個(gè)判定至少分別取“真”分支和取“假”分支至少經(jīng)歷一次，即判斷真假值是否滿足。輸入執(zhí)行語句XY00判定 1的 N，2的 N10判定 1的 Y，2的 N155判定 1的 Y，3的 N912判定 1的 Y，3的 Y（3）條件覆蓋條件覆蓋是設(shè)計(jì)測試用例，使每個(gè)判斷中每個(gè)條件的可能取值至少滿足一次。對于第一個(gè)判定（ X>8AND Y>5 ）條件 X>8 取值記為 T1,取假值記為 F1條件 Y>5 取值記為 T2,取假值記為 F2對于第二個(gè)判定（ X>0 OR Y&g

7、t;0 ）條件 X>0 取值記為 T3,取假值記為 F3條件 Y>0 取值記為 T4,取假值記為 F4對于第三個(gè)判定（ X>16OR Y>10 ）收集于網(wǎng)絡(luò)，如有侵權(quán)請聯(lián)系管理員刪除精品文檔條件 X>16 取值記為 T5,取假值記為 F5條件 Y>10 取值記為 T6,取假值記為 F6測試用例覆蓋條件執(zhí)行語句XY-2-2F1 F2 F3 F4 F5 F6執(zhí)行語句 11716T1 T2 T3 T4 T5 T6執(zhí)行語句 3（4）條件判定覆蓋條件判定覆蓋的含義是通過設(shè)計(jì)足夠的測試用例，使得判斷條件中的所有可能至少執(zhí)行一次取值，同時(shí)，所有判斷的可能結(jié)果至少執(zhí)行一次。

8、因此，條件判定覆蓋的測試用例滿足如下條件。測試用例覆蓋條件執(zhí)行語句XY-2-2F1 F2 F3 F4 F5 F6執(zhí)行語句 11716T1 T2 T3 T4 T5 T6執(zhí)行語句 3（5）條件組合覆蓋設(shè)計(jì)測試用例使得判斷中每個(gè)條件的所有可能至少出現(xiàn)一次，并且每個(gè)判斷本身的判定結(jié)果也至少出現(xiàn)一次。1、X>8,Y>5記作 T1 T22、X>8,Y<=5記作 T1 F23、X<=8,Y>5記作 F1 T24、X<=8,Y<=5記作 F1 F25、X>0,Y>0記作 T3 T46、X>0,Y<=0記作 T3 F4收集于網(wǎng)絡(luò)，如有侵權(quán)請

9、聯(lián)系管理員刪除精品文檔7、X<=0,Y>0記作 F3 T48、X<=0,Y<=0記作 F3 F49、X>20,Y>20記作 T5 T610、X>16,Y<=10記作 T5 F611、X<=16,Y>10記作 F5 T612、X<=16,Y<=10 記作 F5 F6測試用例覆蓋條件覆蓋組合號X=16,Y=10T1 T2 T3 T4 T5 T61,5,9X=-3,Y=-4F1 F2 F3 F4 F5 F64,8,12X=-4,Y=10F1 T2 F3 T4 F5 T63,7,11X=15,Y=-4T1 F2 T3 F4 T5 F62,6,10（6）路徑覆蓋選擇足夠的測試用例，使得程序中所有的可能路徑都至少被執(zhí)行一次。測試用例路徑X= -3,y= -3A1->A3->A7->A10X=7,y=-1A1->A4->A8->A10X=6,y=8A2->A5->A10X=10,y=6A2->A6->A9->A106、實(shí)驗(yàn)結(jié)果與分析通過實(shí)驗(yàn)完成