東南大學軟件測試實驗報告材料一

1、軟件測試基礎(chǔ)與實踐實驗報告實驗名稱： 白盒測試實驗一實驗地點：計算機軟件樓實驗日期： 2016.11.6學生姓名：王鑫學生學號： 71114430東南大學軟件學院制實驗目的(1) 鞏固白盒測試知識，對于給定的待測程序，能熟練應用基本控制流覆蓋方法設(shè)計測試用例;(2) 通過繪制程序控制流程圖，實現(xiàn)對于程序源代碼的邏輯描述(3) 培養(yǎng)嚴謹?shù)臏y試精神，學習測試用例的設(shè)計和分析】、實驗內(nèi)容(一)實驗一：控制流測試技術(shù)實驗1.給出getWeekday()的流程圖1in t Mon thDays = 31,28, 31, 30, 31,30, 31, 31,30, 31,30, 31 2(year % 4

2、 = 0) & (year % 100 != 0) | year % 400 = 03Mon thDays1 = 294year 0 | mon th 0 | day 100007return -18mon th 129return -210day MonthDaysmonth - 111return -312int totalDays = 013int i = 114i year15(i % 4 = 0) & (i % 100 != 0) | i % 400 = 016totalDays += 36617totalDays += 36518i+19int i = 120i i V TIwnp

3、Oif ? 1rMS!r2.設(shè)計測試用例2.1語句覆蓋編號執(zhí)行條件輸入期望輸出實際輸出基本路徑y(tǒng)y/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-1517-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-1

4、8-19-20-21-22-23-24-25-26-27-28-3022判定覆蓋編號執(zhí)行條件輸入期望 輸出實際 輸出判定條件基本路徑y(tǒng)y/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-

5、24-25-26-27-28-29-30P6判定覆蓋8/3/1星期6星期6TFFFFT/FT/FTF1-2-3-4-6-8-10-12-1314-15-16-17-18-19-2021-22-23-24-25-26-2728-302.3條件覆蓋編號執(zhí)行條件輸入期望輸出實際輸出基本路徑y(tǒng)y/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

6、星期-3星期-31-2-4-6-8-10-11P7條件覆蓋2/3/3星期7星期71-2-4-6-8-10-12-13-14-15-17-1819-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編號輸入布爾型子表達式y(tǒng)y/mm/dd24681015212228abcdefghiabcP1-1/1/1FTFTP21/-1/1FTFFTP31/1/-1FTFFFTP410001/1/1FTFFFFTP51/13/1F

7、TFFFFFTP61/1/32FTFFFFFFTP72/3/3FTFFFFFFFFTFT/FFTFTP8400/3/1TFTFFFFFFT/FT/FT/FT/FTFTF2.4判定條件覆蓋編號執(zhí)行條件輸入期望輸出實際輸出基本路徑y(tǒng)y/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

8、-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-1617-18-19-20-21-22-23-24-25-2627-28-30編號布爾型子表達式及判定條件22446810151521222228abcdefghiabcP1FTFFTTP2FTFFFTTP3FTFFFFTTP4FTFFFFFFTP5FTFFFFFFFTP6FTFFFFFFFFTP7FTFFFFFFFFFFTF

9、FT/FFTFFTP8TFTTFFFFFFFT/FT/FT/FT/FT/FTFTTF2.5條件組合覆蓋編號執(zhí)行條件輸入期望輸出實際輸出基本路徑y(tǒng)y/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-1

10、3-14-15-17-18-19-20-21-22-24-25-26-27-2829-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-2728-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-

11、30編號布爾型子表達式及判定條件22446810151521222226abcdefghijklP1FTFFTTP2FTFFFTTP3FTFFFFTTP4FTFFFFFFTP5FTFFFFFFFTP6FTFFFFFFFFTP7FTFFFFFFFFFFTFFT/FFTFFTP8TFTTFFFFFFFT/FT/FT/FT/FT/FTFTTFP9TFFFFFFFFFFT/FT/FT/FT/FT/FTFFFFP10TTTFFFFFFFFTFFT/FTTTF3.進一步用路徑覆蓋準則測試getWeekday（）分析：非正常輸出，return 0,-1 , -2 , -3，共4條路徑。之前有一條if語句，所

12、以共2*4=8條路徑。 正常輸出，總共有4個if語句（把循環(huán)簡化成if語句），分別有2，3, 4, 2條路徑，所以總共 有2*3*4*2=48條路徑?？偣?+48=56條路徑。平均一條路徑對應一個測試用例，需要1分鐘給出，整個也要1個小時左右才能完成路徑覆蓋測試。4. MC/DC修訂的判定條件覆蓋）int MonthDays = ( 3L 2R. 31, J0T 3LT JO, 31. 31,30,31,30, 31 ：if (year % 4 = 0) & (year % LOO != 0) | year % 400=0)；MonthDay5 I = 29.:% 4 = 0) & (i %

13、LOO != 0) | i % 400 = 0) |tatalDays += 366; else |totalDays += 365;上述判定表達式只有 TFT,TFF,TTF,FTF四種取值編號執(zhí)行條件輸入期望輸出實際輸出條件判定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獨立。、實驗體會(1) 沒有測出缺陷，但實際上存在缺陷。這說明動態(tài)白盒測試并不能完全測出缺陷。 每種測試方法都存在弊端。語句覆蓋：很難達到100%勺覆蓋，是比較弱的覆蓋；判定覆蓋：容易忽略布爾表達式的分支和邏輯短路；條件覆蓋：與判定覆蓋類似，但比判定覆蓋覆蓋率高；判定條件覆蓋：可能會有錯誤屏蔽現(xiàn)象；條件組合覆蓋：比之前的覆蓋率都高，但也存在漏洞。(2) 程序存在缺陷，如day取值為0這種錯誤輸入時，依然有結(jié)果；mo nth取值為0, 程