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

软件测试基础与实践实验报告实验名称： 白盒测试实验一 实验地点： 计算机软件楼 实验日期： 2016.11.6 学生姓名： 王鑫 学生学号： 71114430 东南大学 软件学院 制一、实验目的（1）巩固白盒测试知识，对于给定的待测程序，能熟练应用基本控制流覆盖方法设计测试用例；（2）通过绘制程序控制流程图，实现对于程序源代码的逻辑描述（3）培养严谨的测试精神，学习测试用例的设计和分析二、实验内容（一）实验一: 控制流测试技术实验 1. 给出getWeekday()的流程图1int MonthDays = 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 100007return -18month 129return -210day MonthDaysmonth - 111return -312int totalDays = 013int i = 114i 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 % 728tempDay = 029tempDay = 730return tempDay2. 设计测试用例2.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-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-30P6判定覆盖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-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/32FTFFFFFFTP72/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/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/FFTFFTP8TFTTFFFFFFFT/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-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编号布尔型子表达式及判定条件22446810151521222226abcdefghijklP1FTFFTTP2FTFFFTTP3FTFFFFTTP4FTFFFFFFTP5FTFFFFFFFTP6FTFFFFFFFFTP7FTFFFFFFFFFFTFFT/FFTFFTP8TFTTFFFFFFFT/FT/FT/FT/FT/FTFTTFP9TFFFFFFFFFFT/FT/FT/FT/FT/FTFFFFP10TTTFFFFFFFFTFFT/FTTTF3. 进一步用路径覆盖准则测试getWeekday() 分析： 非正常输出，return 0，-1，-2，-3，共4条路径。之前有一条if语句，所以共2*4=8条路径。 正常输出，总共有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，程序报错