【答案解析】问题分析：NextDate函数的3个变量之间在输入定义域中存在一定的逻辑依赖关系，由于等价类划分和边界值分析测试都假设了变量是独立的，如果采用上述两种方法设计测试用例，那么这些依赖关系在机械地选取输入值时可能会丢失。而采用判断表法则可以通过使用“不可能动作”的概念表示条件的不可能组合，来强调这种依赖关系。
为了获得下一个日期，NextDate函数执行如下操作：
(1)如果输入日期不是当月最后一天，则把day变量的值加1。
(2)如果输入日期是1～11月份中某月地最后一天，则把day变量的值复位为1，month变量的值加1。
(3)如果输入日期是12月的最后一天，则day变量和month变量的值都复位为1，year变量的值加1。
(4)关于最后一天的判断：
·如果是有31天的月份(1，3，5，7，8，10，12)，day变量值为31；
·如果是有30天的月份(4，6，9，11)，day变量值为30；
·如果是有29天的月份(闰年的2月)，day变量值为29；
·如果是有28天的月份(非闰年2月)，day变量值为28。
根据所执行的操作，可列出NextDate函数的动作桩：
a1：不可能；a2：day加1；a3：day复位；a4：month加1；a5：month复位：a6：day加1
考虑到判断表的规模，条件使刚month、day、year变量的等价类。在以下等价类集合上建立判断表。
(1)对于month变量的取值
M1: {month: month有30天}
M2: (month: month有31天，12月除外}
M3: {month: month有12月}
M4: {month: month有2月}
(2)对于day变量的取值
D1: {day：1≤day≤27}
D2: {day: day=28}
D3: {day: day=29}
D4: {day: day=30}
D5: {day: day=31}
(3)对于year变量的取值
Y1: {year: year是闰年}
Y2: {year: year不是闰年}
(4)month变量的有效等价类：
M1: {month=4,6,9,11}
M2: {month=1,3,5,7,8,10}
M3: {month=12}
M4: {month=2}
(5)day变量的有效等价类：
D1: {1≤day≤26}
D2: {day=27}
D3: {day=28}
D4: {day=29}
D5: {day=30}
D6: {day=31}
(6)year变量的等价类：
Y1: {year是闰年}
Y2: {year不是闰年}
(7)考虑各种有效的输入情况，程序中可能采取的操作有以下6种：
a1: day+1
a2: day=2
a3: day=1
a4: month+1
a5: month=1
a6: year+1