軟件測(cè)試白盒測(cè)試基本路徑

基本路徑測(cè)試上面的例子是一個(gè)很簡(jiǎn)潔的程序函數(shù),只有四條路徑.但在實(shí)踐中,一個(gè)不太困難的程序,其路徑都是一個(gè)浩大的數(shù)字,要在測(cè)試中覆蓋全部的路徑是不現(xiàn)實(shí)的.為了解決這一難題,只得把覆蓋的路徑數(shù)壓縮到確定限度內(nèi),例如,程序中的循環(huán)體只執(zhí)行一次.下面介紹的基本路徑測(cè)試就是這樣一種測(cè)試方法,它在程序限制流圖的基礎(chǔ)上,通過(guò)分析限制流圖的環(huán)形困難性,導(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)形困難度圖矩陣1、流圖在程序設(shè)計(jì)時(shí),為了更加突出限制流的結(jié)構(gòu),可對(duì)程序流程圖進(jìn)行簡(jiǎn)化,簡(jiǎn)化后的圖稱(chēng)為限制流圖.簡(jiǎn)化后所涉及的圖形符號(hào)只有兩種,即節(jié)點(diǎn)和限制流線.132512435abcdef節(jié)點(diǎn)——標(biāo)有編號(hào)的圓圈程序流程圖中矩形框所表示的處理菱形表示的兩個(gè)甚至多個(gè)出口推斷多條流線相交的匯合點(diǎn)邊——由帶箭頭的弧或線表示與程序流程圖中的流線一樣,表明白限制的依次它代表程序中的限制流。限制流線通常標(biāo)出名字常見(jiàn)語(yǔ)句的限制流圖順序語(yǔ)句While語(yǔ)句dowhile語(yǔ)句If語(yǔ)句Case語(yǔ)句包含條件的節(jié)點(diǎn)被稱(chēng)為推斷節(jié)點(diǎn)（也叫謂詞節(jié)點(diǎn)），由推斷節(jié)點(diǎn)發(fā)出的邊必需終止于某一個(gè)節(jié)點(diǎn)，由邊和節(jié)點(diǎn)所限定的范圍被稱(chēng)為區(qū)域。這里我們假定在流程圖中用菱形框表示的判定條件內(nèi)沒(méi)有復(fù)合條件，而一組依次處理框可以映射為一個(gè)單一的結(jié)點(diǎn)。限制流圖中的箭頭（邊）表示了限制流的方向，類(lèi)似于流程圖中的流線，一條邊必需終止于一個(gè)結(jié)點(diǎn)。在選擇或者是多分支結(jié)構(gòu)中分支的匯聚處，即使匯聚處沒(méi)有執(zhí)行語(yǔ)句也應(yīng)當(dāng)添加一個(gè)匯聚結(jié)點(diǎn)。流程圖限制流圖將程序流程圖轉(zhuǎn)化為限制流圖三角形問(wèn)題(流程圖－流圖)假如判定中的條件表達(dá)式是復(fù)合條件，即條件表達(dá)式是由一個(gè)或多個(gè)邏輯運(yùn)算符連接的邏輯表達(dá)式，則須要變更復(fù)合條件的推斷為一系列只有單個(gè)條件的嵌套的推斷。復(fù)合條件分解限制流圖2、環(huán)形困難度（圈困難度）一種為程序邏輯困難度供應(yīng)定量尺度的軟件度量.亦可將該度量用于基本路徑方法,它可以供應(yīng)程序基本集的獨(dú)立路徑數(shù)量和確保全部語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量上界.獨(dú)立路徑指程序中至少引入一個(gè)新的處理語(yǔ)句集合或一個(gè)新條件的程序通路,它必需至少包含一條在本次定義路徑之前不曾用過(guò)的邊.環(huán)形困難度計(jì)算流圖中區(qū)域的數(shù)量對(duì)應(yīng)于環(huán)形困難度;給定流圖G的環(huán)形困難度為V(G),定義為V(G)=E-N+2,E是流圖中邊的數(shù)量,N是流圖中節(jié)點(diǎn)的數(shù)量.給定流圖G的環(huán)形困難度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）畫(huà)出相應(yīng)的限制流圖。（2）計(jì)算環(huán)形困難度。（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è)試方法畫(huà)出限制流圖任何過(guò)程設(shè)計(jì)都要被翻譯成限制流圖。以C/C++語(yǔ)句中的限制語(yǔ)句為例。畫(huà)出程序的限制流圖（用題中給出的語(yǔ)句編號(hào)表示）。圖中的每一個(gè)圓稱(chēng)作流圖的節(jié)點(diǎn)，代表一條或多條語(yǔ)句。流圖中的箭頭稱(chēng)做邊或連接，代表限制流。畫(huà)出其程序流程圖及限制流圖467810111314程序段的限制流圖2、計(jì)算環(huán)形困難度環(huán)形困難度是一種為程序邏輯困難性供應(yīng)定量測(cè)度的軟件度量，將該度量用于計(jì)算程序的基本的獨(dú)立路徑數(shù)目，為確保全部語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量的上界，獨(dú)立路徑必需包含一條在定義之前不曾用到的邊?？梢杂靡韵氯N方法計(jì)算環(huán)形困難度：環(huán)形困難度計(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)形困難度是4。更重要的是，V(G)的值供應(yīng)了組成基本集的獨(dú)立路徑的上界，并由此得出覆蓋全部程序語(yǔ)句所需的測(cè)試設(shè)計(jì)數(shù)量的上界。3、導(dǎo)出測(cè)試用例依據(jù)上面的計(jì)算方法，導(dǎo)出基本路徑集，列出程序的獨(dú)立路徑。可得出程序段的基本路徑集中有4條獨(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)稱(chēng)為判定節(jié)點(diǎn)，從每一個(gè)判定節(jié)點(diǎn)發(fā)出兩條或多條邊。例如：if(aorb)xelsey...三角形問(wèn)題流程圖習(xí)題編寫(xiě)程序，輸入一組字符（以#結(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||代碼與字符比照表!“#$%&‘()*+,.33343536373