白盒測試實驗報告-范例(共14頁)

1、精選優(yōu)質(zhì)文檔-傾情為你奉上廣西科技大學(xué)計算機(jī)學(xué)院軟件測試技術(shù)實驗報告書實驗一 白盒測試 學(xué)生姓名：xxxx 學(xué) 號：xxxx 班 級：xxxx 指導(dǎo)老師：xxxxx 專 業(yè)：計算機(jī)學(xué)院軟件工程提交日期：2014年10月20日白盒測試實驗報告一 實驗內(nèi)容1、 系統(tǒng)地學(xué)習(xí)和理解白盒測試的基本概念、原理，掌握白盒測試的基本技術(shù)和方法；2、 舉例進(jìn)行白盒測試，使用語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、組合覆蓋、路徑覆蓋進(jìn)行測試。3、 通過試驗和應(yīng)用，要逐步提高和運(yùn)用白盒測試技術(shù)解決實際測試問題的能力；4、 熟悉C+編程環(huán)境下編寫、調(diào)試單元代碼的基本操作技術(shù)和方法；5、 完成實驗并認(rèn)真書寫實驗報

2、告（要求給出完整的測試信息，如測試程序、測試用例，測試報告等）二 實驗原理白盒測試原理：已知產(chǎn)品的內(nèi)部工作過程，可以通過測試證明每種內(nèi)部操作是否符合設(shè)計規(guī)格要求，所有內(nèi)部成分是否已經(jīng)過檢查。它是把測試對象看作裝在一個透明的白盒子里，也就是完全了解程序的結(jié)構(gòu)和處理過程。這種方法按照程序內(nèi)部的邏輯測試程序，檢驗程序中的每條通路是否都能按預(yù)定要求正確工作。其又稱為結(jié)構(gòu)測試。對于該實驗的例子給出其流程圖如下圖所示，我們來了解白盒測試的基本技術(shù)和方法。語句覆蓋是指選擇足夠的測試用例，使得程序中每個語句至少執(zhí)行一次。如上例選擇測試用例x=1,y=1和x=1,y=-1可覆蓋所有語句。判定覆蓋是指選擇足夠的測

3、試用例，使得程序中每一個判定至少獲得一次“真”值和“假”值，從而使得程序的每個分支都通過一次（不是所有的邏輯路徑）。選擇測試用例x=1,y=1和x=1,y=-1可覆蓋所有判定。條件覆蓋是指選擇語句多數(shù)的測試用例，使得程序判定中的每個條件能獲得各種不同的結(jié)果。選擇測試用例x=1,y=1和x=-1,y=-1可覆蓋所有條件。判定/條件覆蓋是指選擇足夠多的測試用例，使得程序判定中每個條件取得條件可能的值，并使每個判定取到各種可能的結(jié)果（每個分支都通過一次）。即滿足條件覆蓋，又滿足判定覆蓋。選擇測試用例x=1,y=1和x=-1,y=-1可覆蓋所有判定/條件。條件組合覆蓋是指選擇足夠的測試用例，使得每個判

4、定中的條件的各種可能組合都至少出現(xiàn)一次（以判定為單位 找條件組合）。注：a，條件組合只針對同一個判斷語句存在多個條件的情況，讓這些條件的取值進(jìn)行笛卡爾乘積組合。 b，不同的判斷語句內(nèi)的條件取值之間無需組合。 c，對于但條件的判斷語句，只需要滿足自己的所有取值即可。選擇測試用例x=1,y=1；x=1,y=-1，x=-1,y=1和x=-1,y=-1可覆蓋所有條件組合。路徑覆蓋是分析軟件過程流的通用工具，有助分離邏輯路徑，進(jìn)行邏輯覆蓋的測試，所用的流程圖就是討論軟件結(jié)構(gòu)復(fù)雜度時所用的流程圖。三 實驗方法1、 語句覆蓋測試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFab

5、efx=1,y=-10FTacdf2、 判定覆蓋測試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFabefx=1,y=-10FTacdf3、 條件覆蓋測試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFabefx=-1,y=-10TTacdf4、 判定/條件覆蓋測試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFabefx=-1,y=-10TTacdf5、 條件組合覆蓋測試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFabefx=1,y=-10TTacdfx=-1,y=10TTa

6、cdfx=-1,y=-10TTacdf6、 路徑覆蓋測試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFabefx=1,y=-10TTacdfx=12,y=-11TFacef本例覆蓋路徑abdf不存在四 實驗結(jié)果根據(jù)上面設(shè)計的測試案例，編寫程序后，白盒測試結(jié)果如下所示：1、 語句覆蓋x=1,y=1x=1,y=-12、 判定覆蓋x=1,y=1x=1,y=-1條件覆蓋x=1,y=1x=-1,y=-1判定/條件覆蓋x=1,y=1x=-1,y=-1條件組合覆蓋x=1,y=1x=1,y=-1x=-1,y=1x=-1,y=-1路徑覆蓋 x=1,y=1x=1,y=-1x=12,y

7、=-1本例覆蓋路徑abdf不存在五 實驗分析 對于白盒測試，在設(shè)計測試用例時首先對程序進(jìn)行分析，從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計測試用例，涉及到程序的控制方法、源語句、編碼細(xì)節(jié)、數(shù)據(jù)庫設(shè)計等。設(shè)計測試用例時應(yīng)用了白盒測試中的多種測試方法，其中包括：測試覆蓋（語句覆蓋、分支覆蓋、分支條件覆蓋等）、基路徑測試等方法。白盒測試中，對代碼的測試比較透徹，但不容易生成測試用例，而且測試工作量很大。因為白盒測試是基于代碼的基礎(chǔ)上，所以對變量的定義、數(shù)據(jù)的分析、精度的度量都有嚴(yán)格的要求。同時，對于白盒測試的案例設(shè)計，要注意以下幾點（1）保證每個模塊中的所有獨立路徑至少被執(zhí)行一次；（2）對所有的邏輯值均需要測試真、假

8、兩個分支；（3）在上下邊界及可操作范圍內(nèi)運(yùn)行所有循環(huán)；（4）檢查內(nèi)部數(shù)據(jù)結(jié)構(gòu)以確保其有效性。附件：（測試實現(xiàn)源程序）#include<iostream.h>/*static */int sign=0;static char m='T',n='T'/int logicExample(int,int);int logicExample(int x,int y)int magic=0;if(x>0&&y>0)magic=x+y+10;sign+;elsemagic=x+y-10;m='F'if(magic<

9、0)magic=0;sign+=2;else n='F'return magic;main()int x,y;/static int sign=0;/static char m='T',n='T',char p45="acef","abef","acdf","abdf"cout<<"-"<<'n'cout<<"請輸入 x："cin>>x;cout<<&q

10、uot;請輸入 y："cin>>y;cout<<"magic 已知：0"<<endl;cout<<"-"<<'n'cout<<"測試結(jié)果分別是："<<'n'cout<<"-"<<'n'cout<<"x的值 y的值 logic的值 判定M 判定N 覆蓋路徑"<<endl;cout<<"-"<<'n'cout<<x<<" "<<y<&