等价类划分实例3

NextDate 函数包含三个变量：month 、 day 和 year ，函数的输出为输入日期后一天的 日期。 例如，输入为 2006年3月 7日，则函数的输出为 2006年3月8日 。要求输入变量 month 、 day 和 year 均为整数值，并且满足下列条件：

1. 1 ≤ month ≤ 12
2. 1 ≤ day ≤ 31

3. 1920 ≤ year ≤ 2050

   1）有效等价类为：

   M1＝{月份：1≤月份≤12}

   D1＝{日期：1≤日期≤31}

   Y1＝{年：1812≤年≤2012}

   2)若条件1 ~ 3中任何一个条件失效，则 NextDate 函数都会产生一个输出，指明相应的变量超出取值范围，比如 "month 的值不在 1-12 范围当中 " 。显然还存在着大量的 year 、 month 、 day 的无效组合， NextDate 函数将这些组合作统一的输出： " 无效输入日期 " 。其无效等价类为：

   M2＝{月份：月份<1}

   M3＝{月份：月份>12}

   D2＝{日期：日期<1}

   D3＝{日期：日期>31}

   Y2＝{年：年<1812}

   Y3＝{年：年>2012}

弱一般等价类测试用例：

强一般等价类测试用例同弱一般等价类测试用例：

（注：弱--有单缺陷假设；健壮--考虑了无效值）

(一) 弱健壮等价类测试

(二) 强健壮等价类测试