东南大学软件测试实验报告一

1、东南大学国家示范性城件学院College nf Software EngiiieerinSmith妙 h宙 t U i livers th软件测试基础与实践实验报告实验名称：白盒测试实验一实验地点：计算机软件楼实验日期：2016.11.6学生姓名：王鑫学生学号：71114430东南大学软件学院制一、实验目的(1)巩固白盒测试知识，对于给定的待测程序，能熟练应用基本控制流覆盖方法设计测试用例;(2)通过绘制程序控制流程图，实现对于程序源代码的逻辑描述(3)培养严谨的测试精神，学习测试用例的设计和分析二、实验内容(一)实验一：控制流测试技术实验1.给出getWeekday()的流程图1int Mo

2、nthDays = 31,28, 31,30, 31,30, 31,31, 30, 31,30, 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 = 114

3、i < year15(i % 4 = 0) && (i % 100 != 0) | 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 % 728te

4、mpDay = 029tempDay = 730return tempDay东南大学国家示范性就件学院College of Software EngineeringSoutheast University东南大学国家示范性城件学院College nf Software EngineeringT71 livers th2 .设计测试用例2.1 语句覆盖编P执行条件输入yy/mm/dd期望输出实际输出基本路径P1语句覆盖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语句

5、覆盖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-1819-20-21-22-23-24-25-26-27-28-302.2 判定覆盖编 号执行条件输入期望 输出实际 输出判定条件基本路径yy/mm/dd24681015212228P1判定覆盖400/1/-1星期0星期0TT1-2-3-4-5P2判定覆盖10001/1/1星期-1星期-1FFT1-2-

6、4-6-7P3判定覆盖1/13/1星期-2星期-2FFFT1-2-4-6-8-9P4判定覆盖1/1/32星期-3星期-3 FFFFT1-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-30P6判定覆盖8/3/1星期6星期6TFFFFT /FT /FTF1-2-3-4-6-8-10-12-13-1415-16-17-18-19-20-21-22-23-24-25-26-27-28-302.3 条件覆盖编p执行条件输入yy/mm/dd期望输出

7、实际输出基本路径P1条件覆盖-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-19-20-21-22-24-25-26-27-28-29-30P8条件覆盖400/3/1星期3星期31-2-3-4-6-8-10-12-13

8、-14-15-16-17-1819-20-21-22-23-24-25-26-27-28-30编R输入布尔型子表达式yy/mm/dd24681015212228abcdefghiabcP1-1/1/1FTFTP21/-1/1FTFFTP31/1/-1FTFFFTP410001/1/1FTFFFFTP51/13/1FTFFFFFTP61/1/32FTFFFFFFTP72/3/3FTFFFFFFFFTFT/FFTFTP8400/3/1TFTFFFFFFT/FT/FT/FT/FTFTF2.4 判定条件覆盖编R执行条件输入yy/mm/dd期望输出实际输出基本路径P1判定条件覆盖-1/1/1星期0星期0

9、1-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-1920-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-

10、18-19-20-21-22-23-24-25-26-27-28-30编 号布尔型子表达式及判定条件22446810151521222228abcdefghiabcP1FTFFTTP2FTFFFTTP3FTFFFFTTP4FTFFFFFFTP5FTFFFFFFFT东南大学国窠示范性城件学院College nf Software Engitieerin Soiitlwat Uitivt-rwi hP6FTFFFFFFFFTP7FTFFFFFFFFFFTFFT/FFTFFTP8TFTTFFFFFFFT/FT/FT/FT/FT/FTFTTF2.5 条件组合覆盖编p执行条件输入yy/mm/dd期望输出

11、实际输出基本路径P1条件组合覆盖-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-1920-21-22-24-25-26-27-28-29-30P8条件组合覆盖400/3/1星期3星期31-2-3

12、-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-1819-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编 号布尔型子表达式及判定条件22446810151521222226abcdefghijklP1FTFFTTP2FTFFFTTP3FTF

13、FFFTTP4FTFFFFFFTP5FTFFFFFFFTCollege nf Software Engiiieerin SouctiaC Uiiivcrrwi hP6FTFFFFFFFFTP7FTFFFFFFFFFFTFFT/FFTFFTP8TFTTFFFFFFFT/FT/FT/FT/FT/FTFTTFP9TFFFFFFFFFFT/FT/FT/FT/FT/FTFFFFP10TTTFFFFFFFFTFFT/FTTTF3 .进一步用路径覆盖准则测试getWeekday（）分析：非正常输出，return 0, -1, -2, -3,共4条路径。之前有一条if语句，所以共2*4=8条路径。正常输出，总

14、共有 4个if语句（把循环简化成if语句），分别有2, 3, 4, 2条路径，所以总共 有2*3*4*2=48条路径。总共8+48=56条路径。平均一条路径对应一个测试用例，需要1分钟给出，整个也要1个小时左右才能完成路径覆盖测试。4 . MC/DC（修订的判定条件覆盖）int( MonthDsyE > 31，2也 3Qt 51, 30, 5 L 31,30.31.30,31 );if (year % 4 = Q) && (year % 100 != Dj) | year % 400 = 0);MonthD3ysl - 29;ifU(i %4 = 0)&&

15、 (i% 100 >0)| i % 400 = 0) g闻 D /用 += 366; else ftolalDays += 365:上述判定表达式只有 TFT,TFF,TTF,FTF四种取值编 号执行条件输入期望输出实际输出条件判定yy/mm/ddabcP1MC/DC2/3/3星期7星期7F-FFP2MC/DC400/3/1星期3星期3TFTTP3MC/DC100/3/1星期1星期1 1TFFFP4MC/DC4/3/1星期1星期1TT-T测试用例P1和P4比较得条件a独立;测试用例P3和P4比较得条件b独立;测试用例P2和P3比较得条件c独立。College nf Soft*疝re EnghieerinSmitht k尊 C T71 livers th三、实验体会(1)没有测出缺陷，但实际上存在缺陷。这说明动态白盒测试并不能完全测出缺陷。每种测试方法都存在弊端。语句覆盖：很难达到100%的覆盖，是比较弱的覆盖；判定覆盖：容易忽略布尔表达式的分支和逻辑短路；条件覆盖：与判定覆盖类似，但比判定覆盖覆盖率高；判定条件覆盖：可能会有错误屏蔽现象；条件组合覆盖：比之前的覆盖率都高，但也存在漏洞。(2)程序存在缺陷，如