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 三个无
http://book.51cto.com/art/201102/246063.htm
http://wenku.baidu.com/view/aaed8e63783e0912a2162ace.html
原文:http://www.cnblogs.com/youxin/p/3516827.html