NextDate函数测试用例选择NextDate函数，是因为它可以说明输入定义域中的依赖性问题，这使得这个例子成为基于决策表测试的一个完美例子，因为决策表可以突出这种依赖关系。从前面对等价类测试的分析我们知道，等价类分析假设所有的变量都是独立的。如果变量确实是独立的，则使用类的笛卡尔积是有意义的。如果变量之间在输入定义域中存在逻辑依赖关系，则这些依赖关系在笛卡尔积中就会丢失(说抑制可能更确切)。决策表格式通过使用“不可能动作”概念表示条件的不可能组合，使我们能够强调这种依赖关系。下面将对NextDate函数的决策表描述做三次尝试。第一次尝试标识合适的条件和动作，假设首先从分析等价类集合开始。M1 = 月份：每月有30天； M2 = 月份：每月有31天；M3 = 月份：此月是2月D1 = 日期：1日期28；D2 = 日期：日期=29；D3 = 日期=30；D4 = 日期=31Y1 = 年：年是闰年；Y2 = 年：年不是闰年 如果我们希望突出不可能的组合，则可以建立具有以下条件和动作的有限项决策表。(请注意，年变量对应
