1、精品文檔實驗六白盒測試、實驗目的1、系統地學習和理解白盒測試的基本概念、原理，掌握白盒測試的基本技術和方法;2、通過實驗和應用，逐步提高和運用白盒測試技術解決實際測試問題的能力。3、掌握決策表和因果圖的測試用例設計方法二、實驗內容1.程序代碼如下:int result(i nt x, int y, int z)int k=O,j=O;if(xy)&(z3)j=x*y;retur n k+j;要求:精品文檔寫出以上程序的語句覆蓋、判定覆蓋、條件覆蓋、判定 一條件覆精品文檔判定覆蓋:測試用例第一個判斷值第二個判斷值覆蓋路徑輸入x=10,y=11,z=3輸出 k=21,j=110TT12-4

2、輸入x=5,y=3,z=5輸出 k=0,j=0FF13-5蓋、多條件組合覆蓋、路徑覆蓋的測試用例。k=O,j=Oxy且z3 _IL LF5廣j=x*yk+j令x=10,y=11,z=4.滿足“x3”剛好覆蓋了路徑124.精品文檔條件覆蓋:精品文檔對于第一個判斷：xy取真時為T1,取假時F1ZV5取真時為T2,取假時F2對于第二個判斷：x=10取真時為T3,取假時F3y3取真時為T4,取假時F4測試用例取值條件具體取值條件覆蓋路徑輸入x=3,y=4,z=5輸出 k=0,j=121T1，F2,F3,T4xy,z=5,x!=10,y313-4輸入x=10,y=3,z=4輸出 k=0,j=301F1,

3、T2,T3,F4x=y,z5,x=10,y=313-4判定一一條件覆蓋:測試用例取值條件具體取值條件覆蓋路徑輸入x=10,y=11,z=4輸出 k=21,j=1101T1,T2,T3,T4xy,z31-24輸入x=3,y=2,z=5輸出 k=0,j=001F1,F2,F3,F4x=y,z5,x!=10,y=31-35精品文檔多條件組合覆蓋:精品文檔測試用例取值條件覆蓋路徑覆蓋的判定一條件組合輸入x=10,y=11,z=4輸出 k=21,j=110T1，T2,T3,T4124xy,z3輸入x=3,y=4,z=5輸出 k=0,j=12T1,F2,F3,T4134xy,z5x!=10,y3輸入x=1

4、0,y=3,z=4輸出 k=0,j=30F1,T2,T3,F4134x=y,z5,x=10,y=y,z=5,x!=10,y=32.插入函數int insert(int a,int val,int pos)。功能:將成績插入到成績數組的指定位置， 數組最大可以容納200個成績。參數:a為成績數組，val為成績值，pos為插入的位置（應在1實際成績個數+1之間）返回值：插入失敗返回-1（如超過范圍），成功返回實際長度（即實際成績個數）Java代碼如下:int in sert(i nt a,i nt val,i nt pos)inti ;int len二getArrValConut（a） ;/獲取數

5、組a中實際成績個數if(p osle n)/驗證實際范圍if(p osle n)精品文檔精品文檔return -1 ;if(le n=200)/驗證是否超過數組最大長度return -1 ;for(i=le n-1 ;i=pos-1 ;i-)/從插入位置開始后移，以將插入位置空出ai+1=ai;ap os-1=val ;/插入要求:1、靜態代碼檢查，程序中哪幾處有問題？找出并更正1.if(len二200)改為if(len=200)for(i=len-1;i二pos-1;i-)改為for(i=len-1;i二pos;i-)2、畫出程序控制流圖2.10return len ;精品文檔103、計算環路復雜性3.V(G)=4+1=54、確定獨立路徑集4.路徑1:3-14路徑2:3-13-24路徑3：3-1 3-256路徑4:3-13-257910路徑5:3-13-257879105、給出針對每條獨立路徑的測試用例（注意數組的前置狀態：如精品文檔結構及工作情況。白盒測試方法深入到了程序內部，能從程序具體體現的角度發現問題。路徑2:pos=202三、測試心得體會實驗分析與體會 通過這次實驗，我了解到了白盒測試和黑盒測試。黑盒測試是一種確認技術，目的是確認 “設計的系統是否正確”，黑盒測試是以用戶的觀點，從輸入數據與輸出數據的對應關系，也就是根據程序外部特征進行的測