實(shí)驗(yàn)4白盒測(cè)試(二)new

南京信息工程大學(xué)實(shí)驗(yàn)〔實(shí)習(xí)〕報(bào)告實(shí)驗(yàn)四白盒測(cè)試〔二〕實(shí)驗(yàn)?zāi)康睦斫獍缀袦y(cè)試的根本方法，掌握語(yǔ)句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋和路徑覆蓋等代碼覆蓋測(cè)試策略，并能運(yùn)用相應(yīng)的方法設(shè)計(jì)測(cè)試用例實(shí)驗(yàn)時(shí)間2學(xué)時(shí)實(shí)驗(yàn)準(zhǔn)備主流PC機(jī)一套，要求安裝windows操作系統(tǒng)和Office工具及相應(yīng)編程軟件；實(shí)驗(yàn)內(nèi)容1．題目一：使用邏輯覆蓋測(cè)試方法測(cè)試以下程序段voidDoWork(intx,inty,intz){1intk=0,j=0;2if((x>3)&&(z<10))3{4k=x*y-1;5j=sqrt(k);6}7if((x==4)||(y>5))8j=x*y+10;9j=j%3;10}說(shuō)明：程序段中每行開(kāi)頭的數(shù)字〔1~10〕是對(duì)每條語(yǔ)句的編號(hào)。〔1〕畫(huà)出程序的控制流圖〔用題中給出的語(yǔ)句編號(hào)表示〕?！?〕分別以語(yǔ)句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋和路徑覆蓋方法設(shè)計(jì)測(cè)試用例，并寫(xiě)出每個(gè)測(cè)試用例的執(zhí)行路徑〔用題中給出的語(yǔ)句編號(hào)表示〕。2．題目二：請(qǐng)按要求對(duì)下面的java代碼進(jìn)行測(cè)試。代碼的功能是：用折半查找法在元素呈升序排列的數(shù)組中查找值為key的元素。publicintbinSearch(intarray[],intkey){1intmid,low,high;2low=0;3high=array.length-1;4while(low<=high){5mid=(low+high)/2;6if(key==array[mid])7returnmid;8elseif(key<array[mid])9high=mid-1;10else11low=mid+112}13return-1;14}〔1〕畫(huà)出此程序段的控制流圖；〔2〕試計(jì)算此程序段的McCabe復(fù)雜性；〔3〕用獨(dú)立路徑覆蓋法給出測(cè)試路徑；并為各測(cè)試路徑設(shè)計(jì)測(cè)試用例。五、實(shí)驗(yàn)步驟程序流程圖k=x*y-1k=x*y-1j=sqrt(k)(x==4)or(y>5)j=x*y+10j=j%3Endstartk=0，j=0(x>3)and(z<10)truetruefalsefalse語(yǔ)句覆蓋用例編號(hào)xyz條件取值執(zhí)行路徑1465(x>3)&&(z<10)(x==4)||(y>5)123456789102265y>51279103538(x>3)&&(z<10)123456791044610(x==4)||(y>5)1278910判定覆蓋用例編號(hào)xyz條件取值執(zhí)行路徑1465(x>3)&&(z<10)(x==4)||(y>5)123456789102538(x>3)&&(z<10)123456791034610(x==4)||(y>5)1278910條件覆蓋用例編號(hào)xyz條件取值執(zhí)行路徑1538(x>3)&&(z<10)123456791024610(x==4)||(y>5)1278910判定/條件覆蓋x>3；②z<10；③x==4；④y>5；用例編號(hào)xyz覆蓋條件執(zhí)行路徑1465①真②真③真④真1234567891022413①假②假③假④假12367910條件組合覆蓋x>3；②z<10；③x==4；④y>5；令x>3為真時(shí)，記作T1；為假時(shí)，即x≤3,記作F1；z<10為真時(shí)，記作T2；為假時(shí)，即z≤10,記作F2；x==4為真時(shí)，記作T3；為假時(shí)，即x≠4,記作F3；y>5為真時(shí)，記作T4；為假時(shí)，即y≤5,記作F4。編號(hào)具體條件取值覆蓋條件判定取值1x>3，z<10T1，T2第一個(gè)判定：取真分支2x>3，z≤10T1，F(xiàn)2第一個(gè)判定：取假分支3x≤3，z<10F1，T2第一個(gè)判定：取假分支4x≤3，z≤10F1，F(xiàn)2第一個(gè)判定：取假分支5x==4，y>5T3，T4第二個(gè)判定：取真分支6x==4，y≤5T3，F(xiàn)4第二個(gè)判定：取真分支7x≠4，y>5F3，T4第二個(gè)判定：取真分支8x≠4，y≤5F3，F(xiàn)4第二個(gè)判定：取假分支用例編號(hào)xyz覆蓋條件執(zhí)行路徑1465T1,T2,T3,T41234567891024410T1,F2,T3,F41236789103368F1,T2,F3,T412367891042410F1,F2,F3,F412367910路徑覆蓋用例編號(hào)xyz執(zhí)行路徑146512345678910226512791035381234567910446101278910第二題程序流程圖控制流圖11234567891011121314R3R4R1R2〔2〕計(jì)算此程序段的McCabe復(fù)雜性假設(shè)設(shè)P為控制流圖中的判定節(jié)點(diǎn)數(shù)，那么有V(G)=P+1如圖中有3個(gè)判定節(jié)點(diǎn)，因此其環(huán)路復(fù)雜性為V(G)=P+1=3+1=4，所以該程序的環(huán)路復(fù)雜性為4。〔3〕獨(dú)立路徑：PATH1：1-2-3-4-13-14PATH2：1-2-3-4-5-6-7-12-4-13-14PATH3：1-2-3-4-5-6-8-9-12-4-13-14PATH4：1-2-3-4-5-6-8-10-11-12-4-13-14用例編號(hào)路徑輸入數(shù)據(jù)預(yù)期輸出1PATH1array[0]={};key=1-12PATH2array[3]={2,8,6};key=813PATH