1、基于规格说明的测试技术软件动态测试辽宁工程技术大学上机实验报告课程名称软件测试与评估实验题目基于规格说明的测试技术实验目的1.了解软件动态测试的相关知识。2.能根据案例做出相应的图表。3.掌握软件动态测试的基本方法。4.针对案例，能够运用动态测试技术中的具体方法进行测试用例的设计。实验准备1.计算机一台，有 c与c+程序设计学习与实验系统的软件。2.了解至少一门程序设计语言，并能熟练应用。能够编写并运行有关实验的相关代码。3.了解等价类划分与边界值分析的方法并能应用方法分析程序。4.了解因果图和决策表的方法并能应用方法分析程序。 实验进度本次共有 1 个练习，完成 1 个。实验内容 1.根据N
2、extDate函数问题进行编程，有三个变量mouth（月份），day（日期），year（年）。函数的输出为输入日期后一天的日期。要求输入变量month，day和year均为整数值。并且满足下列条件：1 month 12， 1 day 31，1912 year 2050。（此函数的主要特点是输入变量之间的逻辑关系比较复杂。复杂性的来源有两个：一个是输入域的复杂性，另一个是指闰年的规则。）2.对NextDate函数进行分析。3.选用基于规格说明的测试技术中适合的方法为NextDate函数问题设计测试用例。实验分析一实验步骤1.打开c与c+程序设计学习与实验系统平台，编译有关NextDate函数问题
3、的相关程序。2.对程序进行等价类测试。3. 对程序进行边界值分析。4.对程序进行决策表测试。5. 进行用例设计。选择上述设计中的一种方法进行测试用例，包括等价类、边界值、等价类边界值结合法、因果图和决策表法。给出预定输入和输出，以及实际输出结果。6.总结归纳。二程序分析1.程序代码 #include using namespace std; void NextDate(int year,int month,int day); void main() int year=0,month=0,day=0; NextDate(year,month,day); void NextDate(int yea
4、r,int month,int day) cout请输入年份：year; while(!(year=1912 & year=2050) cout年份超过界限，请重新输入year; cout请输入月份：month; while (month12|month1) cout月份输入有误，请重新输入month; cout请输入日期：day; while (day31|day1) cout日期输入有误，请重新输入day;while(month=4&day=31|month=6&day=31|month=9&day=31|month=11&day=31) cout小月没有31号day; if(year%4
5、=0 & year%100!=0) | (year%400=0) /检查闰年； int i=0; i=day-29; while(month=2&i0) cout本月是闰月，请在1-29之间从新输入日期day; if(month=2&day=29) month=3; day=1; else day+; else day+; switch(month) case 1: case 3: case 5: case 7: case 8: case 10: if (day=32) month+; day=1; cout明天是：year/month/dayendl; break; case 2: if(d
6、ay=29) month=3; day=1; cout明天是：year/month/dayendl; break; case 4: case 6: case 9: case 11: if(day=31) month+; day=1; cout明天是：year/month/dayendl; break; case 12: if(day=32) year+; month=1; day=1; cout明天是：year/month/dayendl; break; cout明天是：year/month/dayendl;2.分析 NextDate函数是输入日期，年，月份，函数根据输入的数据，输出输入日期后
7、一天的日期。具体为如果输入日期不是当月最后一天，则把day变量的值加1；如果输入日期是111月份中某月的最后一天，则把day变量的值复位为1，month变量的值加1；如果输入日期是12月的最后一天，则day变量和month变量的值都复位为1，year变量的值加1。 关于day的变量值：如果是1,3,5,7,8,10,12月份，day变量值为31；如果是4,6,9,11月份， day变量值为30；如果是闰年的2月，day变量值为29；如果是非闰年的2月，day变量值为28。三等价类测试分析1.划分简单等价类（1）有效等价类：M1=month：1month12D1=day：1day31Y1=yea
8、r：1912month2050（2）无效等价类M2=month：month12D2=day：day31Y2=year：year2050 （3）测试用例根据等价类得到等价类测试用例，如表1表1 普通等价类测试用例测试用例输入期望输出monthdayyear15520002000年5月6日2052000month不在112中31352000month不在112中4502000day不在131中55322000day不在131中6551911year不在19122050中7552051year不在19122050中 2.划分改进等价类在简单等价类划分测试NextDate函数中，没有考虑2月份的天数问
9、题，也没有考虑闰年的问题，月份只包含了30天和31天两种情况。在改进等价类划分测试NextDate函数中，要考虑2月份天数的问题及闰年问题。（1）有效等价类 M1month：month有30天 M2month：month有31天, 除去12月 M3month：month是2月 M4month：month是12月 D1day：1day27 D2day：day28 D3day：day29 D4day：day30 D5day：day31 Y1year：year是闰年 Y2year：year不是闰年 （2）无效等价类M5=month：month12D6=day：day31Y3=year：year205
10、0 （3）测试用例根据等价类得到等价类测试用例，如表2。表2 改进等价类测试用例测试用例输入期望输出monthdayyear143020092009年4月31日273120092009年8月1日322720092009年2月28日422820092009年3月1日522920002000年3月1日6123120092010年1月1日79312009不可能的输入日期82292009不可能的输入日期92302009不可能的输入日期101582009month不在112中116372007day不在131中12662100year不在19122050中四边界值测试分析1.变量month、day、ye
11、ar的取值范围：M1month：1month12D1day：1day31Y1year：1912year20502.测试用例利用输入变量的最小值、略大于最小值、正常值、略小于最大值和最大值来设计测试用例。如表3。表3 边界值测试用例测试用例输入期望输出monthdayyear1-132000month不在112中2032000month不在112中311520002000年2月16日421520002000年2月16日5111520002000年11月16日6121520002000年12月16日713152000month不在112中86-12000day不在131中9602000day不在1
12、31中106120002000年6月2日116220002000年6月3日1263020002000年7月1日136312000不可能的输入日期146322000day不在131中156151911year不在19122050中1661519121912年6月16日1761519131913年6月16日1861520492049年6月16日1961520502050年6月16日206152051year不在19122050中五决策表测试分析决策表中的条件就是规格说明书中的输入条件，动作就是输出结果，而规则就是贯穿条件项和动作项的一列，一条规则要对应设计一个测试用例。1.动作桩a1: 不可能；a
13、2: day加1；a3: day复位；a4: month加1；a5: month复位；a6: year加12.条件桩 M1month：month有30天 M2month：month有31天，12月除外 M3month：month是12月 M4month：month是2月 D1day：1day27 D2day：day28 D3day：day29 D4day：day30 D5day：day31 Y1year：year是闰年 Y2year：year不是闰年3.画出决策表，如表4。表4 决策表 规则选项 1234567891011条件：C1：month在M1M1M1M1M1M2M2M2M2M2M3C2
14、：day在D1D2D3D4D5D1D2D3D4D5D1C3：year在-动作：A1：不可能A2：day加1A3: day复位A4: month加1A5: month复位A6：year加1 规则选项 1213141516171819202122条件：C1：month在M3M3M3M3M4M4M4M4M4M4M4C2：day在D2D3D4D5D1D2D2D3D3D4D5C3：year在-Y1Y2Y1Y2-动作：A1：不可能A2：day加1A3: day复位A4: month加1A5: month复位A6：year加1 决策表共有22条规则：第15条规则解决有30天的月份；第610条规则解决有31天
15、的月份（除12月份以外）；第1115条规则解决12月份；第1622条规则解决2月份和闰年的问题。不可能规则也在决策表中列出，比如第5条规则中在有30天的月份中也考虑了31日。 通过以上的决策表得出简化的决策表，如表5。表5 简化决策表 规则选项 1 2 345678910111213141516171819202122条件：C1：month在M1M1M1M2M2M3M3M4M4M4M4M4M4C2：day在D1D2D3D4D5D1D2D3D4D5D1D2D3D4D5D1D2D2D3D3D4D5C3：year在-Y1Y2Y1Y2-动作：A1：不可能A2：day加1A3: day复位A4: mon
16、th加1A5: month复位A6：year加14.根据简化的决策表，设计如表所示的测试用例。如表6。表6 决策表测试用例测试用例monthdayyear预期输出1361520072007年6月16日463020072007年7月1日56312007不可能的输入日期6911520072007年1月16日1013120072007年2月1日1114121520072007年12月16日15123120072008年1月1日1621520072007年2月16日1722820002000年2月29日1822820072007年3月1日1922920002000年3月1日202292007不可能的输
17、入日期22222302007不可能的输入日期六测试用例截图 使用普通等价类划分法进行用例测试，参见表1。1.测试用例1，如图1。图1 测试用例1 2.测试用例2，如图2。图2 测试用例2 3.测试用例3，如图3。图3 测试用例34.测试用例4，如图4 。图4 测试用例4 5.测试用例5，如图5。图5 测试用例56.测试用例6，如图6。图6 测试用例6 7.测试用例7，如图7。图7 测试用例7心得体会本次实验的目的是主要是了解软件动态测试。包括对等价类测试，边界值测试和决策表测试。在做实验之前，我已经了解了这三种测试的基础要点和重点。做实验的时候相对轻松了很多。等价类测试要掌握三个步骤，先要形成
18、等价类表，每一等价类规定一个唯一的编号。然后设计一个新的测试用例，使其尽可能多地覆盖尚未覆盖的有效等价类，重复这一步骤，直到所有有效等价类均被测试用例所覆盖。最后设计一个新测试用例，使其只覆盖一个无效等价类，重复这一步骤直到所有无效等价类均被覆盖。最主要的是等价类表，只有将等价类表总结出来，才能进行下面的工作，才能把测试用例做的全面，不遗漏。边界值测试要掌握两个要点，一是每次保留程序中一个变量，让其余的变量取正常值，被保留的变量依次取输入变量的最小值、正常值、略小于最大值和最大值作为有效边界值；依次取略小于最小值 和略大于最大值作为无效边界值。第二是对程序中的每个变量重复第一步。只要找出正确的
19、取值范围，做出相应的测试用例，就能很好的完成测试。在这一方面完成的较好。决策表测试主要是找到条件桩和动作桩，决策表中的条件就是规格说明书中的输入条件，动作就是输出结果，而规则就是贯穿条件项和动作项的一列，一条规则要对应设计一个测试用例。根据这些画出决策表。决策表虽然复杂，但测试的比较全面。而且还要学会简化决策表。这样可以使问题简化，使程序更加容易理解。通过这次实验，使我对这门学科有了更深入的了解。对动态测试更加熟悉。可以更快的完成边界值测试，等价类测试和决策表测试。这次的实验内容很多。但基本都是课上讲过的内容。虽然麻烦点，但理解起来很容易。做完这个实验，我对边界值测试，决策表测试和等价类测试有了更深一步的了解。在以后的学习中，我会更加仔细认真。在做实验的时候发现不懂的地方。要及时解决，才能实验发挥到最大的作用。要学会总结归纳，简化内容，例如决策表的简化。使实验更加简洁顺利。相信在以后的实验中，我能更快更高效的完成实验。
