| 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中 |
(二)强健壮等价类测试
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/
