軟件測試用例設計白皮書--判定表驅動分析方法

　　例如，輸入為2004年11月29日，則該程序的輸出為2000年12月1日。

　　1)分析各種輸入情況，列出為輸入變量month、day、year劃分的有效等價類。

　　2)分析程序規格說明，結合以上等價類劃分的情況給出問題規定的可能采取的操作(即列出所有的動作樁)。

　　3)根據(1)和(2)，畫出簡化后的決策表。

　　案例分析如下：

　　1) month變量的有效等價類：

　　M1: {month=4,6,9,11} M2: {month=1,3,5,7,8,10}

　　M3: {month=12} M4: {month=2}

　　2)day變量的有效等價類：

　　D1:{1≤day≤26} D2: {day=27} D3: {day=28} D4: {day=29} D5: {day=30} D6: {day=31}

　　3)year變量的有效等價類：

　　Y1: {year是閏年} Y2: {year不是閏年}

　　4)考慮各種有效的輸入情況，程序中可能采取的操作有以下六種：

　　a1: day+2 a2: day=2 a3: day=1

　　a4: month+1 a5: month=1 a6: year+1

　　4.判定表在功能測試中的應用

　　1)一些軟件的功能需求可用判定表表達得非常清楚，在檢驗程序的功能時判定表也就成為一個不錯的工具。如果一個軟件的規格說明指出：

　　I. 當條件1和條件2滿足，并且條件3和條件4不滿足，或者當條件1、3和條件4滿足時，要執行操作1。

　　II. 在任一個條件都不滿足時，要執行操作2。

　　III. 在條件1不滿足，而條件4被滿足時，要執行操作3。 根據規格說明得到如下判定表：