使用软件测试中的黑盒测试做一下题目：用决策表测试法测试以下程序:该程序有三个输入变量month、day、year（month、day和year均为整数值，并且满足：1≤month≤12和1≤day≤31),分别作为输入日期的月份、日、年份，通过程序可以输出该输入日期在日历上隔一天的日期。例如，输入为 2004年11月29日,则该程序的输出为2004年12月1日。 (1)分析各种输入情况，列出为输入变量month、day、year划分的有效等价类。 (2)分析程序的规格说明，并结合以上等价类划分的情况，给出

(1)有效等价类划分：
- month：1-12之间的整数；非1-12之间的整数
- day：1-31之间的整数；非1-31之间的整数
- year：任意整数

因为输入的日期必须是合法的，所以等价类还需考虑月份和日份的合法性，以及闰年的情况。
- month=2时，day的有效等价类为1-28和29-29（闰年）；非1-29之间的整数
- month=4,6,9,11时，day的有效等价类为1-30；非1-30之间的整数
- 其他情况下，day的有效等价类为1-31；非1-31之间的整数

(2)结合规格说明，得到如下测试用例：
- 输入参数均为合法的等价类：例如，输入为2022年3月15日
- 输入参数中有一个或多个不合法的等价类：例如，输入为2022年2月30日或2022年13月1日
- 输入的日期为2月份，day输入了29或30，但year不是闰年的等价类：例如，输入为2022年2月29日或2023年2月30日
- 输入的日期为4、6、9、11月，day输入了31的等价类：例如，输入为2022年4月31日
- 输入的日期为12月31日的等价类：例如，输入为2022年12月31日