第七章基于決策表的測試

第七章基于決策表的測試東北大學(xué)軟件學(xué)院決策表東北大學(xué)軟件學(xué)院決策表的四個組成部分：條件樁；條件條目；行動樁；行動條目；決策表圖示東北大學(xué)軟件學(xué)院樁規(guī)則1規(guī)則2規(guī)則3、4規(guī)則5規(guī)則6規(guī)則7、8c1TTTFFFc2TTFTTFc3TF－TF－a1×××a2××a3××a4××決策表的分類東北大學(xué)軟件學(xué)院有限條目決策表：所有條件都是二叉條件的決策表。擴展條目決策表：條件有多個值的對應(yīng)的決策表。

三角形問題決策表東北大學(xué)軟件學(xué)院c1：a、b、c構(gòu)成三角形？NYYYYYYYYc2:a=b?－YYYYNNNNc3:a=c?－YYNNYYNNc4:c=b?－YNYNYNYNa1：非三角形×a2：不等邊三角形×a3：等腰三角形×××a4：等邊三角形×a5：不可能×××經(jīng)過修改的三角形問題決策表東北大學(xué)軟件學(xué)院c1:a<b+c?FTTTTTTTTTTc2:b<a+c?－FTTTTTTTTTc3:c<b+a?－－FTTTTTTTTc4:a=b?－－－TTTTFFFFc5:a=c?－－－TTFFTTFFc6:b=c?－－－TFTFTFTFa1：非三角形×××a2：不等邊三角形×a3：等腰三角形×××a4：等邊三角形×a5：不可能×××帶有互斥條件的決策表

東北大學(xué)軟件學(xué)院條件規(guī)則1規(guī)則2規(guī)則3c1：月份在M1中?T－－c2：月份在M2中?－T－c3：月份在M3中?－－Ta1a2a3規(guī)則條數(shù)統(tǒng)計

東北大學(xué)軟件學(xué)院c1:a<b+c?FTTTTTTTTTTc2:b<a+c?－FTTTTTTTTTc3:c<b+a?－FTTTTTTTTTc4:a=b?－－－TTTTFFFFc5:a=c?－－－TTFFTTFFc6:b=c?－－－TFTFTFTF規(guī)則條數(shù)統(tǒng)計328811111111a1：非三角形×××a2：不等邊三角形×a3：等腰三角形×××a4：等邊三角形×a5：不可能×××帶有互斥條件的決策表的規(guī)則條數(shù)統(tǒng)計東北大學(xué)軟件學(xué)院條件規(guī)則1規(guī)則2規(guī)則3c1：月份在M1中?T－－c2：月份在M2中?－T－c3：月份在M3中?－－T規(guī)則條數(shù)統(tǒng)計444a1去掉重復(fù)的決策表

東北大學(xué)軟件學(xué)院條件1.11.21.31.42.12.22.32.43.13.23.33.4c1：月份在M1中?TTTTTTFFTTFFc2：月份在M2中?TTFFTTTTTFTFc3：月份在M3中?TFTFTFTFTTTT規(guī)則條數(shù)統(tǒng)計111111111111a1條件1.11.21.31.42.32.43.4c1：月份在M1中?TTTTFFFFc2：月份在M2中?TTFFTTFFc3：月份在M3中?TFTFTFTF規(guī)則條數(shù)統(tǒng)計11111111a1：不可能×××××

冗余決策表東北大學(xué)軟件學(xué)院條件1-456789c1TFFFFTc2－TTFFFc3－TFTFFa1×××－－×a2－×××－－a3×－××××不一致的決策表東北大學(xué)軟件學(xué)院條件1-456789c1TFFFFTc2－TTFFFc3－TFTFFa1×××－－－a2－×××－×a3×－×××－三角形問題的測試用例東北大學(xué)軟件學(xué)院用例IDabc預(yù)期輸出DT1412非三角形DT2142非三角形DT3124非三角形DT4555等邊三角形DT5???不可能DT6???不可能DT7223等腰三角形DT8???不可能DT9232等腰三角形DT10322等腰三角形DT11345三角形NextDate函數(shù)測試用例-第一次嘗試東北大學(xué)軟件學(xué)院M1={月份：每月有30天}M2={月份：每月有31天}M3={月份：此月是2月}D1={日期：1≤日期≤28}D2={日期：日期=29}D3={日期：日期=30}D4={日期：日期=31}Y1={年：年是閏年}Y2={年：年是平年}條件c1：月份在M1中？Tc2：月份在M2中？Tc3：日期在M3中？Tc4：日期在D1中？c5：日期在D2中？c6：日期在D3中？c7：日期在D4中？c8：年在Y1中？a1：不可能a2：NextDate

第二次嘗試東北大學(xué)軟件學(xué)院M1={月份：每月有30天}M2={月份：每月有31天}M3={月份：此月是2月}D1={日期：1≤日期≤28}D2={日期：日期=29}D3={日期：日期=30}D4={日期：日期=31}Y1={年：年=2000}Y2={年：年是閏年}Y3={年：年是平年}第二次嘗試決策表1234567891011121314151617c1：月份在M1M1M1M1M2M2M2M2M3M3M3M3M3M3M3M3M3c2：日期在D1D2D3D4D1D2D3D4D1D1D1D2D2D2D3D3D4c3：年在－－－－－－－－Y1Y2Y3Y1Y2Y3－－－規(guī)則條數(shù)統(tǒng)計33333333111111333行為a1：不可能××××××a2：日期增1×××××?×?a3：日期復(fù)位××??×a4：月份增1×???×a5：月份復(fù)位?a6：年增1?第三次嘗試東北大學(xué)軟件學(xué)院M1={月份：每月有30天}M2={月份：每月有31天，12月除外}M3={月份：此月是12月}M4={月份：此月是2月}D1={日期：1≤日期≤27}D2={日期：日期=28}D3={日期：日期=29}D4={日期：日期=30}D5={日期：日期=31}Y1={年：年是閏年}Y2={年：年是平年}第三次嘗試決策表C1：月份在：C2：日期在：C3：年在：a1：不可能a2：日期增1a3：日期復(fù)位a4：月份增1a5：月份復(fù)位a6：年增11M1D1－×2M1D2－×3M1D3－×4M1D4－××5M1D5－×6M2D1－×7M2D2－×8M2D3－×9M2D4－×10M2D5－××11M3D1－×12M3D2×13M3D3×14M3D4×15M3D5－×××16M4D1－×17M4D2Y1×18M4D2Y2××19M4D3Y1××20M4D3Y2×21M4D4－×22M4D5－×第三次嘗試決策表精簡東北大學(xué)軟件學(xué)院C1：月份在：C2：日期在：C3：年在：a1：不可能a2：日期增1a3：日期復(fù)位a4：月份增1a5：月份復(fù)位a6：年增11-3M1D1，D2，D3－×4M1D4－××5M1D5－×6-9M2D1，D2，D3，D4，－×10M2D5－××11-14M3D1，D2，D3，D4－×15M3D5－×××16M4D1－×17M4D2Y1×18M4D2Y2××19M4D3Y1××20M4D3Y2×21-22M4D4，D5－×NextDate函數(shù)的決策表測試用例東北大學(xué)軟件學(xué)院用例ID月份日期年預(yù)期輸出1-341520014/16/2001443020015/1/200154312001不可能6-911520011/16/20011013120012/1/200111-141215200112/16/200115123120011/1/20021621520012/16/20011722820042/29/20041822820013/1/20011922920043/1/2004202292001不可能21-222302001不可能傭金問題的測試用例東北大學(xué)軟件學(xué)院決策表分析不太適合傭金問題。這并不奇怪，因為在傭金問題中只有很少的決策邏輯。由于等價類中的變量是真正獨立的，在條件對應(yīng)等價類的決策表中沒有不可能規(guī)則。

指導(dǎo)方針與觀察

東北大學(xué)軟件學(xué)院1．決策表技術(shù)適用于具有以下特征的應(yīng)用程序：

if-then-else邏輯很突出。

輸入變量之間存在邏輯關(guān)系。

涉及輸入變量子集的計算。

輸入與輸出之間存在因果關(guān)系。