决策表

黑盒测试：决策表用决策表测试法测试以下程序:该程序有三个输入变量month、day、year（month、day和year均为整数值，并且满足：1≤month≤12和1≤day≤31),分别作为输入日期的月份、日、年份，通过程序可以输出该输入日期在日历上隔一天的日期。例如，输入为2004年11月29日,则该程序的输出为2004年12月1日。(1)分析各种输入情况，列出为输入变量month、day、year划分的有效等价类。(2)分析程序的规格说明，并结合以上等价类划分的情况，给出问题规定的可能采取的操作（即列出所有的动作桩）。(3)根据(1)和(2)，画出简化后的决策表。(1)分析各种输入情况，列出为输入变量month、day、year划分的有效等价类。①month变量的有效等价类：M1:{month=4,6,9,11}M2:{month=1,3,5,7,8,10}M3:{month=12}M4:{month=2}②day变量的有效等价类：D1:{1≤day≤26}D2:{day=27}D3:{day=28}D4:{day=29}D5:{day=30}D6:{day=31}③year变量的有效等价类：Y1:{year是闰年}Y2:{year不是闰年}(2)分析程序规格说明，结合以上等价类划分的情况给出问题规定的可能采取的操作（即列出所有的动作桩）。动作桩：A1:day+1A2:day=1A3:month+1A4:month=1A5:year+1A6：不可能(3)根据条件桩和动作桩，画出决策表