构造 NextDate 问题的弱一般等价类测试用例。
NextDate 问题 :
NextDate()是整型变量 month, day 和 year 的函数，输入 1812-2012 年期间的某一日期的 month, day 和 year 的值，输出这一天的下一天的日 期的 month, day 和 year 值。
NextDate() 是一个三变量函数，即年、月份和日期。
变量的有效值区间定义如下:
- Y1 = {年:1812 ≤ 年 ≤ 2012}
- M1 = {月份:1 ≤ 月份 ≤ 12}
- D1 = {日期:1 ≤ 日期 ≤ 31}
无效等价类:
- Y2 = {年:年 < 1812}
- Y3 = {年:年 > 2012}
- M2 = {月份:月份 < 1}
- M3 = {月份:月份 > 12}
- D2 = {日期:日期 < 1}
- D3 = {日期:日期 > 31}
由于有效类的个数等于独立变量的个数，因此只有弱一般等价类出现，且与强一般等价类测试用例相同。
弱一般等价类:
| 用例 ID | 月份 | 日期 | 年 | 预期输出 |
|---|---|---|---|---|
| WN1，SN1 | 10 | 1 | 1949 | 1949 年 10 月 2 日 |
| 用例 ID | 月份 | 日期 | 年 | 预期输出 |
|---|---|---|---|---|
| WR1 | 10 | 1 | 1949 | 1949 年 10 月 2 日 |
| WR2 | -5 | 1 | 1949 | 月份不在有效值 域 1-12 |
| WR3 | 15 | 1 | 1949 | 月份不在有效值 域 1-12 |
| WR4 | 10 | -5 | 1949 | 日期不在有效值 域 1-31 |
| WR5 | 10 | 35 | 1949 | 日期不在有效值 域 1-31 |
| WR6 | 10 | 1 | 1200 | 年不在有效值域 1812-2012 |
| WR7 | 10 | 1 | 2019 | 年不在有效值域 1812-2012 |
