1、軟件測試基礎與實踐實驗報告實驗名稱： 白盒測試實驗一 實驗地點： 計算機軟件樓 實驗日期： 2016.11.6 學生姓名： 王鑫 學生學號： 71114430 東南大學 軟件學院 制一、實驗目的（1）鞏固白盒測試知識，對于給定的待測程序，能熟練應用基本控制流覆蓋方法設計測試用例；（2）通過繪制程序控制流程圖，實現對于程序源代碼的邏輯描述（3）培養嚴謹的測試精神，學習測試用例的設計和分析二、實驗內容（一）實驗一: 控制流測試技術實驗 1. 給出getWeekday()的流程圖1int MonthDays = 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30,

2、31 2(year % 4 = 0) && (year % 100 != 0) | year % 400 = 03MonthDays1 = 294year < 0 | month < 0 | day < 05return 06year > 100007return -18month > 129return -210day > MonthDaysmonth - 111return -312int totalDays = 013int i = 114i < year15(i % 4 = 0) && (i % 100 != 0

3、) | i % 400 = 016totalDays += 36617totalDays += 36518i+19int i = 120i < month21i = 222(year % 4 = 0) && (year % 100 != 0) | year % 400 = 023MonthDays1 = 2924totalDays += MonthDaysi - 1;25i+26totalDays += day27int tempDay = totalDays % 728tempDay = 029tempDay = 730return tempDay2. 設計測試用例2.

4、1 語句覆蓋編號執行條件輸入期望輸出實際輸出基本路徑yy/mm/ddP1語句覆蓋400/1/-1星期0星期01-2-3-4-5P2語句覆蓋10001/1/1星期-1星期-11-2-4-6-7P3語句覆蓋1/13/1星期-2星期-21-2-4-6-8-9P4語句覆蓋1/1/32星期-3星期-31-2-4-6-8-10-11P5語句覆蓋2/1/6星期7星期71-2-4-6-8-10-12-13-14-15-17-18-19-20-26-27-28-29-30P6語句覆蓋8/3/1星期6星期61-2-3-4-6-8-10-12-13-14-15-16-17-18-19-20-21-22-23-24-

5、25-26-27-28-302.2判定覆蓋編號執行條件輸入期望輸出實際輸出判定條件基本路徑yy/mm/dd24681015212228P1判定覆蓋400/1/-1星期0星期0TT1-2-3-4-5P2判定覆蓋10001/1/1星期-1星期-1FFT1-2-4-6-7P3判定覆蓋1/13/1星期-2星期-2FFFT1-2-4-6-8-9P4判定覆蓋1/1/32星期-3星期-3FFFFT1-2-4-6-8-10-11P5判定覆蓋2/3/3星期7星期7FFFFFFT/FFT1-2-4-6-8-10-12-13-14-15-17-18-19-20-21-22-24-25-26-27-28-29-30P

6、6判定覆蓋8/3/1星期6星期6TFFFFT/FT/FTF1-2-3-4-6-8-10-12-13-14-15-16-17-18-19-20-21-22-23-24-25-26-27-28-302.3條件覆蓋編號執行條件輸入期望輸出實際輸出基本路徑yy/mm/ddP1條件覆蓋-1/1/1星期0星期01-2-4-5P2條件覆蓋1/-1/1星期0星期01-2-4-5P3條件覆蓋1/1/-1星期0星期01-2-4-5P4條件覆蓋10001/1/1星期-1星期-11-2-4-6-7P5條件覆蓋1/13/1星期-2星期-21-2-4-6-8-9P6條件覆蓋1/1/32星期-3星期-31-2-4-6-8-

7、10-11P7條件覆蓋2/3/3星期7星期71-2-4-6-8-10-12-13-14-15-17-18-19-20-21-22-24-25-26-27-28-29-30P8條件覆蓋400/3/1星期3星期31-2-3-4-6-8-10-12-13-14-15-16-17-18-19-20-21-22-23-24-25-26-27-28-30編號輸入布爾型子表達式yy/mm/dd24681015212228abcdefghiabcP1-1/1/1FTFTP21/-1/1FTFFTP31/1/-1FTFFFTP410001/1/1FTFFFFTP51/13/1FTFFFFFTP61/1/32FT

8、FFFFFFTP72/3/3FTFFFFFFFFTFT/FFTFTP8400/3/1TFTFFFFFFT/FT/FT/FT/FTFTF2.4 判定條件覆蓋編號執行條件輸入期望輸出實際輸出基本路徑yy/mm/ddP1判定條件覆蓋-1/1/1星期0星期01-2-4-5P2判定條件覆蓋1/-1/1星期0星期01-2-4-5P3判定條件覆蓋1/1/-1星期0星期01-2-4-5P4判定條件覆蓋10001/1/1星期-1星期-11-2-4-6-7P5判定條件覆蓋1/13/1星期-2星期-21-2-4-6-8-9P6判定條件覆蓋1/1/32星期-3星期-31-2-4-6-8-10-11P7判定條件覆蓋2/

9、3/3星期7星期71-2-4-6-8-10-12-13-14-15-17-18-19-20-21-22-24-25-26-27-28-29-30P8判定條件覆蓋400/3/1星期3星期31-2-3-4-6-8-10-12-13-14-15-16-17-18-19-20-21-22-23-24-25-26-27-28-30編號布爾型子表達式及判定條件22446810151521222228abcdefghiabcP1FTFFTTP2FTFFFTTP3FTFFFFTTP4FTFFFFFFTP5FTFFFFFFFTP6FTFFFFFFFFTP7FTFFFFFFFFFFTFFT/FFTFFTP8TFT

10、TFFFFFFFT/FT/FT/FT/FT/FTFTTF2.5條件組合覆蓋編號執行條件輸入期望輸出實際輸出基本路徑yy/mm/ddP1條件組合覆蓋-1/1/1星期0星期01-2-4-5P2條件組合覆蓋1/-1/1星期0星期01-2-4-5P3條件組合覆蓋1/1/-1星期0星期01-2-4-5P4條件組合覆蓋10001/1/1星期-1星期-11-2-4-6-7P5條件組合覆蓋1/13/1星期-2星期-21-2-4-6-8-9P6條件組合覆蓋1/1/32星期-3星期-31-2-4-6-8-10-11P7條件組合覆蓋2/3/3星期7星期71-2-4-6-8-10-12-13-14-15-17-18-

11、19-20-21-22-24-25-26-27-28-29-30P8條件組合覆蓋400/3/1星期3星期31-2-3-4-6-8-10-12-13-14-15-16-17-18-19-20-21-22-23-24-25-26-27-28-30P9條件組合覆蓋100/3/1星期1星期11-2-4-6-8-10-12-13-14-15-16-17-18-19-20-21-22-24-25-26-27-28-30P10條件組合覆蓋4/3/1星期1星期11-2-3-4-6-8-10-12-13-14-15-17-18-19-20-21-22-23-24-25-26-27-28-30編號布爾型子表達式及

12、判定條件22446810151521222226abcdefghijklP1FTFFTTP2FTFFFTTP3FTFFFFTTP4FTFFFFFFTP5FTFFFFFFFTP6FTFFFFFFFFTP7FTFFFFFFFFFFTFFT/FFTFFTP8TFTTFFFFFFFT/FT/FT/FT/FT/FTFTTFP9TFFFFFFFFFFT/FT/FT/FT/FT/FTFFFFP10TTTFFFFFFFFTFFT/FTTTF3. 進一步用路徑覆蓋準則測試getWeekday() 分析： 非正常輸出，return 0，-1，-2，-3，共4條路徑。之前有一條if語句，所以共2*4=8條路徑。 正

13、常輸出，總共有4個if語句（把循環簡化成if語句），分別有2，3，4，2條路徑，所以總共有2*3*4*2=48條路徑。 總共8+48=56條路徑。平均一條路徑對應一個測試用例，需要1分鐘給出，整個也要1個小時左右才能完成路徑覆蓋測試。4. MC/DC(修訂的判定條件覆蓋)上述判定表達式只有TFT,TFF,TTF,FTF四種取值。編號執行條件輸入期望輸出實際輸出條件判定yy/mm/ddabcP1MC/DC2/3/3星期7星期7F-FFP2MC/DC400/3/1星期3星期3TFTTP3MC/DC100/3/1星期1星期1TFFFP4MC/DC4/3/1星期1星期1TT-T測試用例P1和P4比較得條件a獨立；測試用例P3和P4比較得條件b獨立；測試用例P2和P3比較得條件c獨立。3、 實驗體會（1） 沒有測出缺陷，但實際上存在缺陷。這說明動態白盒測試并不能完全測出缺陷。每種測試方法都存在弊端。 語句覆蓋：很難達到100%的覆蓋，是比較弱的覆蓋； 判定覆蓋：容易忽略布爾表達式的分支和邏輯短路； 條件覆蓋：與判定覆蓋類似，但比判定覆蓋覆蓋率高； 判定條件覆蓋：可能會有錯誤屏蔽現象； 條件組合覆蓋：比之前的覆蓋率都高，但也存在漏洞。（2） 程序存在缺陷，如day取值為0這種錯誤輸入時，依然有結果；month取值為0