NextData函数.doc

NextData函数 一、问题描述 程序有三个输入变量month、day、year（month、day和year均为整数值，并且满足：1≤month≤12、1≤day≤31、1900≤ year ≤2050。），分别作为输入日期的月份、日、年份，通过程序可以输出该输入日期在日历上下一天的日期。例如，输入为2005年11月29日，则该程序的输出为2005年11月30日。请用黑盒测试方法设计测试用例。 二、程序界面 计算下一天的程序代码见附录。 三、设计测试用例 1. 用边界值测试方法设计测试用例 用健壮性测试法设计测试用例，按照下列步骤进行： 分析各变量的取值 健壮性测试时，各变量分别取：略小于最小值、最小值、略高于最小值、正常值、略低于最大值、最大值和略大于最大值。 month：-1，1，2，6，11，12，13； day：-1，1，2，15，30，31，32 year：1899，1900，1901，1975，2049，2050，2051； 测试用例数 有n个变量的程序，其边界值分析会产生6n+1个测试用例。这里有3个变量，因此会产生19个测试用例。 设计测试用例，见表1-1。 NextDate函数的复杂性来源于两个方面：一是输入域的复杂性（即输入变量之间逻辑关系的复杂性），二是确定闰年的规则。但是在进行健壮性测试时，没有考虑输入变量之间的逻辑关系，也没有考虑和闰年相关的问题，因此在设计测试用例时存在遗漏问题，比如和判断闰年相关的日期：2008.2.29、1999.2.28等。 表1-1NextDate函数测试用例 用例编号 输入数据 预期输出 mouth day year 1 6 15 1899 year超出[1900，2050] 2 6 15 1900 1900.6.16 3 6 15 1901 1901.6.16 4 6 15 1975 1975.6.16 5 6 15 2049 2049.6.16 6 6 15 2050 2050.6.16 7 6 15 2051 year超出[1900，2050] 8 6 -1 1975 day超出[1…31] 9 6 1 1975 1975.6.2 10 6 2 1975 1975.6.3 11 6 30 1975 1975.7.1 12 6 31 1975 输入日期超界 13 6 32 1975 day超出[1…31] 14 -1 15 1975 Mouth超出[1…12] 15 1 15 1975 1975.1.16 16 2 15 1975 1975.2.16 17 11 15 1975 1975.11.16 18 12 15 1975 1975.12.16 19 13 15 1975 Mouth超出[1…12] 2. 用基于判定表的方法设计测试用例 （1）分析各种输入情况，列出为输入变量month、day、year划分的有效等价类。 month变量的有效等价类： M1 = { month = 4，6，9，11 } M2 = { month = 1，3，5，7，8，10 } M3 = { month = 12 } M4 = { month = 2 } day变量的有效等价类： D1={日期：1≤日期≤ 27} D2={日期：日期=28} D3={日期：日期=29} D4={日期：日期=30} D5={日期：日期=31} year变量的有效等价类： Y1 = { year是闰年 } Y2 = { year不是闰年} （2）分析程序规格说明，结合以上等价类划分的情况给出问题规定的可能采取的操作（即列出所有的动作桩）。考虑各种有效的输入情况，程序中可能采取的操作有以下六种： a1：不可能 a2：日期增1 a3：日期复位 a4：月份增1 a5：月份复位 a6：年增1 （3）根据步骤（1）和（2），画出判定表。对判定表进行化简。简化后的判定表，如表1-2所示。 彪1-2 NextDate问题的判定表 　 1 2 3 4 5 6 7 8 9 10 条件 c1:月份在 M1 M1 M1 M1 M1 M2 M2 M2 M2 M2 c2:日期在 D1 D2 D3 D4 D5 D1 D2 D3 D4 D5 c3:年在 — — — — — — — — — — 动 作 a1:不可能 X a2:日期增1 X X X X X X X a3:日期复位 X X a4:月份增1 X X a5:月份复位 a6:年增1 　 　 　 　 　 　 　 　 　 　 表1-2续） 　 11 12 13 14 15 16 17 18 19 20 21 22 条件 c1