白盒測試實驗報告-范例

1、6廣西科技大學計算機學院軟件測試技術實驗報告書實驗一白盒測試學生姓名：XXXX學號:XXXX班級：XXXX指導老師：XXXXX專業(yè)：計算機學院軟件工程提交日期：2014年10月20日8白盒測試實驗報告實驗內(nèi)容1、系統(tǒng)地學習和理解白盒測試的基本概念、原理，掌握白盒測試的基本技術和方法；2、 舉例進行白盒測試，使用語句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、組合覆蓋、路徑覆蓋進行測試。3、通過試驗和應用，要逐步提高和運用白盒測試技術解決實際測試問題的能力；4、熟悉C+編程環(huán)境下編寫、調(diào)試單元代碼的基本操作技術和方法；5、 完成實驗并認真書寫實驗報告（要求給出完整的測試信息，如測試程序、測試用例,

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

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

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

5、df2、判定覆蓋測試用例輸入輸出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=10TTacdfx=-1,y=-10TTacdf

6、6、路徑覆蓋測試用例輸入輸出magic判定M的取值判定N的取值覆蓋路徑x=1,y=112TFabefx=1,y=-10TTacdfx=12,y=-11TFacef本例覆蓋路徑abdf不存在四實驗結果根據(jù)上面設計的測試案例，編寫程序后，白盒測試結果如下所示:1、語句覆蓋x=1,y=1x=1,y=_12、判定覆蓋c=i.s C:WindowsSy5tem3 2：De bu gtest_adva.exe藏:-1magic 已知：0 測試結果分別是：acdf儷值 扁看 兩如的值 判定n判定h覆蓋路徑1 -1 0 Press- any key to continue條件覆蓋c=i.s C:Windows

7、Sy5tem3 2：De bu gtest_adva.exe藏:-1magic 已知：0 測試結果分別是：acdf儷值 扁看 兩如的值 判定n判定h覆蓋路徑1 -1 0 Press- any key to continue判定/條件覆蓋x=1,y=1.可C:Windiow5Sy5tern3 2:DebiJ gtest adva.exe . 口 旦些 1冃兀._ y： -1nagic 已知：0測試結果分別是t乂的值卯的值logic值判定n判定H覆蓋路徑i*1-10TIacdfPresskey to continueux=-1,y=-1* C:WrndowsSy5te rn32De bu gte

8、5t_adva.exe藏:-1magic 已知：0 測試結果分別是：acdf遍值 扁看 兩如的值 判定n判定h覆蓋路徑1 -1 0 Press- any key to continuex=_1,y=1x=_1,y=_1x=1,y=1rC:Windiow5Sy5tern32:DebiJgtest adva.exe .口 旦些 1冃兀._ y： -1nagic 已知：0測試結果分別是t乂的值卯的值logic值判定n判定H覆蓋路徑i*1-10TIacdfPresskey to continueux=1,y=-1x=12,y=-1本例覆蓋路徑abdf不存在五實驗分析對于白盒測試，在設計測試用例時首先對

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

10、據(jù)結構以確保其有效性。附件：（測試實現(xiàn)源程序）#includeviostream 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(x0& y0)magic=x+y+10;sign+;elsemagic=x+y-10;m=F;if(magicx;coutvv請輸入y：;ciny;coutvvmagic已知：0vvendl;coutvv-vvn；coutvv測試結果分別是：vvn;coutvvvvn;cou7Ax3bfysbf-Ogie3血MWIM sm .Acend-;0OC7A:AA一=;0OC7AXAA:-AAAA=AcogoExam p - e(xAAAcm;COU7A-AA3AA: 二八 cptsignAcend-it別 x6遲暮是她1933年發(fā)表在圣瑪利亞年刊上的第一篇散文，初試啼聲就劈面驚艷！但是，誰能想到它竟然出自一個年僅十二歲的小女孩的手筆呢！美人遲暮，這種亙古以來時間切割 紅顏的永久命題，居然被她用稚嫩的小手描繪得如此細膩和透徹，在這篇文才與思想齊飛的佳作里，我們感受到了張愛玲天才