白盒測(cè)試實(shí)驗(yàn)報(bào)告-范例(共14頁)

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

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

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

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

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

6、cdfx=-1,y=-10TTacdf6、 路徑覆蓋測(cè)試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFabefx=1,y=-10TTacdfx=12,y=-11TFacef本例覆蓋路徑abdf不存在四 實(shí)驗(yàn)結(jié)果根據(jù)上面設(shè)計(jì)的測(cè)試案例，編寫程序后，白盒測(cè)試結(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í)驗(yàn)分析 對(duì)于白盒測(cè)試，在設(shè)計(jì)測(cè)試用例時(shí)首先對(duì)程序進(jìn)行分析，從程序的內(nèi)部結(jié)構(gòu)出發(fā)設(shè)計(jì)測(cè)試用例，涉及到程序的控制方法、源語句、編碼細(xì)節(jié)、數(shù)據(jù)庫設(shè)計(jì)等。設(shè)計(jì)測(cè)試用例時(shí)應(yīng)用了白盒測(cè)試中的多種測(cè)試方法，其中包括：測(cè)試覆蓋（語句覆蓋、分支覆蓋、分支條件覆蓋等）、基路徑測(cè)試等方法。白盒測(cè)試中，對(duì)代碼的測(cè)試比較透徹，但不容易生成測(cè)試用例，而且測(cè)試工作量很大。因?yàn)榘缀袦y(cè)試是基于代碼的基礎(chǔ)上，所以對(duì)變量的定義、數(shù)據(jù)的分析、精度的度量都有嚴(yán)格的要求。同時(shí)，對(duì)于白盒測(cè)試的案例設(shè)計(jì)，要注意以下幾點(diǎn)（1）保證每個(gè)模塊中的所有獨(dú)立路徑至少被執(zhí)行一次；（2）對(duì)所有的邏輯值均需要測(cè)試真、假

8、兩個(gè)分支；（3）在上下邊界及可操作范圍內(nèi)運(yùn)行所有循環(huán)；（4）檢查內(nèi)部數(shù)據(jù)結(jié)構(gòu)以確保其有效性。附件：（測(cè)試實(shí)現(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<<"請(qǐng)輸入 x："cin>>x;cout<<&q

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