軟件測(cè)試技術(shù)-11白盒測(cè)試基本路徑

白盒測(cè)試方法基本路徑測(cè)試基本路徑測(cè)試

上面的例子是一個(gè)很簡(jiǎn)單的程序函數(shù),只有四條路徑.但在實(shí)踐中,一個(gè)不太復(fù)雜的程序,其路徑都是一個(gè)龐大的數(shù)字,要在測(cè)試中覆蓋所有的路徑是不現(xiàn)實(shí)的.為了解決這一難題,只得把覆蓋的路徑數(shù)壓縮到一定限度內(nèi),例如,程序中的循環(huán)體只執(zhí)行一次.下面介紹的基本路徑測(cè)試就是這樣一種測(cè)試方法,它在程序控制流圖的基礎(chǔ)上,通過(guò)分析控制流圖的環(huán)形復(fù)雜性,導(dǎo)出基本可執(zhí)行路徑集合,從而設(shè)計(jì)測(cè)試用例的方法.設(shè)計(jì)出的測(cè)試用例要保證在測(cè)試中程序的每一個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次.白盒測(cè)試的基本概念為了清晰描述這種白盒測(cè)試方法，需要首先對(duì)有關(guān)白盒測(cè)試的幾個(gè)基本概念進(jìn)行說(shuō)明：流圖環(huán)形復(fù)雜度圖矩陣1、流圖在程序設(shè)計(jì)時(shí),為了更加突出控制流的結(jié)構(gòu),可對(duì)程序流程圖進(jìn)行簡(jiǎn)化,簡(jiǎn)化后的圖稱為控制流圖.簡(jiǎn)化后所涉及的圖形符號(hào)只有兩種,即節(jié)點(diǎn)和控制流線.132512435abcdef節(jié)點(diǎn)——標(biāo)有編號(hào)的圓圈

程序流程圖中矩形框所表示的處理

菱形表示的兩個(gè)甚至多個(gè)出口判斷

多條流線相交的匯合點(diǎn)

邊——由帶箭頭的弧或線表示與程序流程圖中的流線一致,表明了控制的順序它代表程序中的控制流。

控制流線通常標(biāo)有名字常見語(yǔ)句的控制流圖順序語(yǔ)句While語(yǔ)句dowhile語(yǔ)句If語(yǔ)句Case語(yǔ)句包含條件的節(jié)點(diǎn)被稱為判斷節(jié)點(diǎn)（也叫謂詞節(jié)點(diǎn)），由判斷節(jié)點(diǎn)發(fā)出的邊必須終止于某一個(gè)節(jié)點(diǎn)，由邊和節(jié)點(diǎn)所限定的范圍被稱為區(qū)域。這里我們假定在流程圖中用菱形框表示的判定條件內(nèi)沒(méi)有復(fù)合條件，而一組順序處理框可以映射為一個(gè)單一的結(jié)點(diǎn)?？刂屏鲌D中的箭頭（邊）表示了控制流的方向，類似于流程圖中的流線，一條邊必須終止于一個(gè)結(jié)點(diǎn)。在選擇或者是多分支結(jié)構(gòu)中分支的匯聚處，即使匯聚處沒(méi)有執(zhí)行語(yǔ)句也應(yīng)該添加一個(gè)匯聚結(jié)點(diǎn)。流程圖控制流圖將程序流程圖轉(zhuǎn)化為控制流圖三角形問(wèn)題(流程圖－流圖)如果判定中的條件表達(dá)式是復(fù)合條件，即條件表達(dá)式是由一個(gè)或多個(gè)邏輯運(yùn)算符連接的邏輯表達(dá)式，則需要改變復(fù)合條件的判斷為一系列只有單個(gè)條件的嵌套的判斷。復(fù)合條件分解控制流圖2、環(huán)形復(fù)雜度（圈復(fù)雜度）一種為程序邏輯復(fù)雜度提供定量尺度的軟件度量.亦可將該度量用于基本路徑方法,它可以提供程序基本集的獨(dú)立路徑數(shù)量和確保所有語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量上界.獨(dú)立路徑指程序中至少引入一個(gè)新的處理語(yǔ)句集合或一個(gè)新條件的程序通路,它必須至少包含一條在本次定義路徑之前不曾用過(guò)的邊.環(huán)形復(fù)雜度計(jì)算流圖中區(qū)域的數(shù)量對(duì)應(yīng)于環(huán)形復(fù)雜度;給定流圖G的環(huán)形復(fù)雜度為V(G),定義為V(G)=E-N+2,E是流圖中邊的數(shù)量,N是流圖中節(jié)點(diǎn)的數(shù)量.給定流圖G的環(huán)形復(fù)雜度V(G),定義為V(G)=P+1,P是流圖G中判定節(jié)點(diǎn)的數(shù)量.3、圖矩陣圖矩陣－即流圖的矩陣表示。其維數(shù)等于流圖的節(jié)點(diǎn)數(shù)。每列和每行都對(duì)應(yīng)于標(biāo)識(shí)的節(jié)點(diǎn)，矩陣元素對(duì)應(yīng)于節(jié)點(diǎn)的邊。節(jié)點(diǎn)12341a2b3c4d流圖對(duì)應(yīng)的矩陣圖說(shuō)明流圖的節(jié)點(diǎn)一般用數(shù)字標(biāo)識(shí)，邊則可以用字母標(biāo)識(shí)。上例中，若矩陣記為M，則M(4,1)＝“d”，表示邊d連接節(jié)點(diǎn)4和節(jié)點(diǎn)1。需要注意的是，邊d的方向是節(jié)點(diǎn)4到節(jié)點(diǎn)1習(xí)題根據(jù)左圖給出的程序流程圖，完成以下要求：（1）畫出相應(yīng)的控制流圖。（2）計(jì)算環(huán)形復(fù)雜度。（3）給出相應(yīng)的圖矩陣。（4）找出程序的獨(dú)立路徑集合。

voidsort(intirecordnum,intitype){intx=0;inty=0;while(irecordnum-->0){if(itype==0)break;elseif(itype==1)x=x+10;elsey=y+20;}}基本路徑測(cè)試方法畫出控制流圖任何過(guò)程設(shè)計(jì)都要被翻譯成控制流圖。以C/C++語(yǔ)句中的控制語(yǔ)句為例。畫出程序的控制流圖（用題中給出的語(yǔ)句編號(hào)表示）。圖中的每一個(gè)圓稱作流圖的節(jié)點(diǎn)，代表一條或多條語(yǔ)句。流圖中的箭頭稱做邊或連接，代表控制流。畫出其程序流程圖及控制流圖467810111314程序段的控制流圖2、計(jì)算環(huán)形復(fù)雜度環(huán)形復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測(cè)度的軟件度量，將該度量用于計(jì)算程序的基本的獨(dú)立路徑數(shù)目，為確保所有語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量的上界，獨(dú)立路徑必須包含一條在定義之前不曾用到的邊。可以用以下三種方法計(jì)算環(huán)形復(fù)雜度：環(huán)形復(fù)雜度計(jì)算如下：流圖中有4個(gè)區(qū)域；V(G)=E-N+2,V(G)=10(條邊)-8(個(gè)節(jié)點(diǎn))+2=4;V(G)=P+1,V(G)=3(個(gè)判定節(jié)點(diǎn))＋1＝4。因此，該函數(shù)的環(huán)形復(fù)雜度是4。更重要的是，V(G)的值提供了組成基本集的獨(dú)立路徑的上界，并由此得出覆蓋所有程序語(yǔ)句所需的測(cè)試設(shè)計(jì)數(shù)量的上界。3、導(dǎo)出測(cè)試用例根據(jù)上面的計(jì)算方法，導(dǎo)出基本路徑集，列出程序的獨(dú)立路徑?？傻贸龀绦蚨蔚幕韭窂郊杏?條獨(dú)立路徑：路徑1：4－14路徑2：4－6－7－14路徑3：4－6－9－10－13－4－14路徑4：4－6－9－12－13－4－144、設(shè)計(jì)測(cè)試用例輸入數(shù)據(jù)預(yù)期輸出Test1irecordnum=0itype=0x=0y=0Test2irecordnum=1itype=0x=0y=0Test3irecordnum=1itype=1x=10y=0Test4irecordnum=1itype=2x=0y=20注意：如果在程序中遇到復(fù)合條件，例如條件語(yǔ)句中的多個(gè)布爾運(yùn)算符（邏輯OR、AND）時(shí)，為每一個(gè)條件創(chuàng)建一個(gè)獨(dú)立的節(jié)點(diǎn)，包含條件的節(jié)點(diǎn)稱為判定節(jié)點(diǎn)，從每一個(gè)判定節(jié)點(diǎn)發(fā)出兩條或多條邊。例如：if(aorb)xelsey...三角形問(wèn)題流程圖習(xí)題編寫程序，輸入一組字符（以#結(jié)束），對(duì)該組字符做一個(gè)統(tǒng)計(jì)，統(tǒng)計(jì)字母、數(shù)字和其他字符的個(gè)數(shù)，輸出統(tǒng)計(jì)結(jié)果。main(){charc;inti=0,j=0,k=0;c=getchar();while(c!='#'){if(c>='A'&&c<='Z'||c>='a'&&c<='z')i++;elseif(c>='0'&&c<='9')j++;elsek++;c=getchar();}printf("i=%d,j=%d,k=%d\n",i,j,k);}ASC||代碼與字符對(duì)照表!“#$%&‘()*+,.3334