《軟件質(zhì)量保證與測試》04 白盒測試

白盒測試路徑覆蓋法什么叫路徑路徑覆蓋法的應(yīng)用全路徑覆蓋法路徑全覆蓋法基本路徑覆蓋法循環(huán)路徑覆蓋法Z路徑覆蓋法小結(jié)路徑路徑的含義來源于圖的邊圖可以不同的含義(如流程圖、狀態(tài)圖)流程圖中的路徑S0publicvoidfunc(intC){S1if(C>10){S2F=F+C;Flag=1;S3}elseif(C>5){S4F=F-1;}else{S5F=C*12;S6}S0S1S3S2S5S4S6R路徑覆蓋的應(yīng)用應(yīng)用：考察文檔、編碼等是否符合規(guī)范；考察內(nèi)部結(jié)構(gòu)、數(shù)據(jù)的結(jié)構(gòu)、控制的流向、數(shù)據(jù)的流向等；既可以應(yīng)用在高層測試，也可以用在底層測試中；可靜態(tài)測試，也可動(dòng)態(tài)測試獨(dú)立路徑獨(dú)立路徑:從起點(diǎn)到終點(diǎn)邊的有序集合至少新加入一個(gè)新邊路徑覆蓋的用例集獨(dú)立路徑集獨(dú)立路徑（例）S0S1S3S2S5S4S6Rabcdefghij獨(dú)立路徑：a-b-c-e-ga-b-d-f-ga-h-ia-h-j-h-Ia-h-j-b-c-e-g…a-h-j-h-j-h-i全路徑覆蓋法全路徑覆蓋法用例集覆蓋全部的執(zhí)行可能在存在循環(huán)迭代的情況時(shí)，可能無法實(shí)現(xiàn)S0S1S3S2S5S4S6Rabcdefghij全路徑覆蓋（例）S0S1S3S2S5S4S6Rabcdefghij無j邊時(shí)的全路徑覆蓋：a-b-c-e-ga-b-d-f-ga-h-i有j邊時(shí)的全路徑覆蓋：a-b-c-e-ga-b-d-f-ga-h-Ia-h-j-h-Ia-h-j-b-c-e-ga-h-j-b-d-f-ga-h-j-h-j-b-c-e-ga-h-j-h-j-b-d-f-g

...路徑(邊)的全覆蓋邊的全覆蓋用例集覆蓋全部的邊無j時(shí)a-b-c-e-ga-b-d-f-ga-h-i有j時(shí)(不唯一)a-b-c-e-ga-b-d-f-ga-h-Ia-h-j-h-IS0S1S3S2S5S4S6Rabcdefghij對(duì)比全路徑覆蓋用例數(shù)：2*3=6

(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)

邊(路徑)覆蓋用例數(shù)：3(不唯一)

(1,4),(2,4),(3,5)S0S1S212345邊覆蓋的不足循環(huán)迭代覆蓋不充分循環(huán)路徑覆蓋多個(gè)邊上缺陷的無關(guān)性假設(shè)一個(gè)邊上的缺陷不會(huì)被同一條獨(dú)立路徑上的其它邊上的缺陷所隱藏S0S1S212345基本路徑覆蓋核心思想測試用例均為獨(dú)立路徑保證每一條獨(dú)立路徑中的邊，至少出現(xiàn)在兩個(gè)獨(dú)立路徑中例

(1,4),(2,4),(3,5),

增加(3,4)S0S1S212345基本路徑覆蓋法過程確定圖(流程圖/狀態(tài)圖)確定基本路徑數(shù)目構(gòu)造基本路徑集為每條基本路徑生成測試用例計(jì)算圈復(fù)雜度-方法1V(G)=E-N+2P

E為圖G中的邊數(shù)，N為圖G中的節(jié)點(diǎn)數(shù)，P為圖G中的聯(lián)通區(qū)域個(gè)數(shù)(通常為1)對(duì)于多入口、多出口的圖，可以引入一個(gè)虛擬的單入口和一個(gè)虛擬的單出口，

并在新的虛擬圖中，應(yīng)用

V(G)=E-N+2計(jì)算圈復(fù)雜度V(G)=E-N+2PE=13,N=9,P=1V(G)=13-9+2=6123457869計(jì)算圈復(fù)雜度-方法2圈復(fù)雜度=圖G中的區(qū)域數(shù)=6123457869ABCDEF計(jì)算圈復(fù)雜度-方法3使用連接矩陣，計(jì)算圈復(fù)雜度2345678abcdefghijk1連接矩陣連接到的節(jié)點(diǎn)連接連接123456781010000001-1=02001010002-111=1500000000/6000000112-11=08000000101-1=0連接總數(shù)4圈復(fù)雜度4+1=5構(gòu)建獨(dú)立路徑集(不唯一)1,3,8,91,2,4,7,91,2,4,8,91,2,4,3,8,91,2,5,7,91,2,6,2,4,7,9123457869ABCDEF構(gòu)建獨(dú)立路徑集(不唯一)2345678abcdefghijk15條基本路徑(如)abefabdijfabdghjfabekbefac循環(huán)路徑覆蓋循環(huán)結(jié)構(gòu)簡單循環(huán)順序循環(huán)嵌套循環(huán)帶跳轉(zhuǎn)循環(huán)針對(duì)各種循環(huán)結(jié)構(gòu)，設(shè)計(jì)測試用例簡單循環(huán)覆蓋循環(huán)次數(shù)：0，1，2，m，n-1,n，n+1順序循環(huán)覆蓋按順序?qū)Φ谝粋€(gè)循環(huán)執(zhí)行簡單循環(huán)測試；測試下一個(gè)循環(huán)，期間將前面的循環(huán)次數(shù)設(shè)為典型值重復(fù)此過程，直至所有循環(huán)測試完畢。嵌套循環(huán)覆蓋從內(nèi)層循環(huán)開始，并對(duì)其執(zhí)行簡單循環(huán)測試逐層向外測試，期間保持內(nèi)層循環(huán)次數(shù)為典型值，其它層最小綠、藍(lán)=1，對(duì)紅執(zhí)行簡單循環(huán)測試綠=1，紅=典型值，對(duì)藍(lán)進(jìn)行簡單循環(huán)測試紅、藍(lán)=典型值，對(duì)綠執(zhí)行簡單循環(huán)測試帶跳轉(zhuǎn)的循環(huán)覆蓋在循環(huán)次數(shù)分別為：

0，1，2，m，n-1,n，n+1測試跳轉(zhuǎn)Z路徑循環(huán)覆蓋Z路徑一條路徑中，每個(gè)循環(huán)迭代的測試至多為1.Z路徑測試只針對(duì)循環(huán)次數(shù)為0和1的情況，設(shè)計(jì)測試用例。Z路徑循環(huán)覆蓋(例)針對(duì)j為0次a-h-I針對(duì)j為1次a-h-j-h-Ia-h-j-b-d-f-ga-h-j-b-c-e-gS0S1S3S2S5S4S6Rabcdefghij小結(jié)-路徑覆蓋路徑是指圖中的邊；圖既可以是流程圖、也