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

白盒測試方法基本路徑測試基本路徑測試

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

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

菱形表示的兩個甚至多個出口判斷

多條流線相交的匯合點

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

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

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