软件测试-nextDate问题

NextDate 函数包含三个变量：month 、 day 和 year ，函数的输出为输⼊⽇期后⼀天的⽇期。 例如，输⼊为 2006年3⽉ 7⽇，则函数的输出为 2006年3⽉8⽇ 。要求输⼊变量 month 、 day 和 year 均为整数值，并且满⾜下列条件： ①1≤month≤12 ②1≤day≤31

③1920≤year≤2050 1)有效等价类为：

M1＝{⽉份：1≤⽉份≤12} D1＝{⽇期：1≤⽇期≤31} Y1＝{年：1812≤年≤2012}

2)若条件 ① ~ ③中任何⼀个条件失效，则 NextDate 函数都会产⽣⼀个输出，指明相应的变量超出取值范围，⽐如 \"month 的值不在 1-12 范围当中 \" 。显然还存在着⼤量的 year 、 month 、 day 的⽆效组合， NextDate 函数将这些组合作统⼀的输出： \" ⽆效输⼊⽇期 \" 。其⽆效等价类为：

M2＝{⽉份：⽉份<1} M3＝{⽉份：⽉份>12} D2＝{⽇期：⽇期<1} D3＝{⽇期：⽇期>31} Y2＝{年：年<1812} Y3＝{年：年>2012} 弱⼀般等价类测试⽤例

⽉份 ⽇期 年 预期输出

6 15 1912 1912年6⽉16⽇

强⼀般等价类测试⽤例同弱⼀般等价类测试⽤例 注：弱--有单缺陷假设；健壮--考虑了⽆效值 (⼀)弱健壮等价类测试

⽤例ID ⽉份 ⽇期 年 预期输出 WR1 6 15 1912 1912年6⽉16⽇ WR2 -1 15 1912 ⽉份不在1～12中 WR3 13 15 1912 ⽉份不在1～12中 WR4 6 -1 1912 ⽇期不在1～31中 WR5 6 32 1912 ⽇期不在1～31中

WR6 6 15 1811 年份不在1812～2012中 WR7 6 15 2013 年份不在1812～2012中 (⼆)强健壮等价类测试

强健性等价类测试⽤例可以包含多个⽆效值，即含有多个缺陷假设。因为nextdate有3个变量，所有对应的强健壮性等价类测试⽤例可以包含⼀个⽆效值，2个⽆效值或3个⽆效值。 ⽤例ID ⽉份 ⽇期 年 预期输出

SR1 -1 15 1912 ⽉份不在1～12中 SR2 6 -1 1912 ⽇期不在1～31中

SR3 6 15 1811 年份不在1812～2012中 SR4 -1 -1 1912 两个⽆效⼀个有效 SR5 6 -1 1811 两个⽆效⼀个有效 SR6 -1 15 1811 两个⽆效⼀个有效 SR7 -1 -1 1811 三个⽆