NEXTDATE的決策表示例(軟件測(cè)試技術(shù)實(shí)驗(yàn)報(bào)告)(共8頁(yè))

1、NextDate函數(shù)測(cè)試用例選擇NextDate函數(shù)，是因?yàn)樗梢哉f(shuō)明輸入定義域中的依賴性問(wèn)題，這使得這個(gè)例子成為基于決策表測(cè)試的一個(gè)完美例子，因?yàn)闆Q策表可以突出這種依賴關(guān)系。從前面對(duì)等價(jià)類測(cè)試的分析我們知道，等價(jià)類分析假設(shè)所有的變量都是獨(dú)立的。如果變量確實(shí)是獨(dú)立的，則使用類的笛卡爾積是有意義的。如果變量之間在輸入定義域中存在邏輯依賴關(guān)系，則這些依賴關(guān)系在笛卡爾積中就會(huì)丟失(說(shuō)抑制可能更確切)。決策表格式通過(guò)使用“不可能動(dòng)作”概念表示條件的不可能組合，使我們能夠強(qiáng)調(diào)這種依賴關(guān)系。下面將對(duì)NextDate函數(shù)的決策表描述做三次嘗試。第一次嘗試標(biāo)識(shí)合適的條件和動(dòng)作，假設(shè)首先從分析等價(jià)類集合開(kāi)始。M

2、1 = 月份：每月有30天； M2 = 月份：每月有31天；M3 = 月份：此月是2月D1 = 日期：1日期28；D2 = 日期：日期=29；D3 = 日期=30；D4 = 日期=31Y1 = 年：年是閏年；Y2 = 年：年不是閏年 如果我們希望突出不可能的組合，則可以建立具有以下條件和動(dòng)作的有限項(xiàng)決策表。(請(qǐng)注意，年變量對(duì)應(yīng)的等價(jià)類收縮為下表的一個(gè)條件。)這個(gè)決策表會(huì)有256條規(guī)則，其中很多是不可能的。如果要顯示為什么這些規(guī)則是不可能的，可將動(dòng)作修改為：a1：月份中的天數(shù)太多；a2：不能出現(xiàn)在非閏年中；a3：計(jì)算NextDate。第二次嘗試如果我們將注意力集中到NextDate函數(shù)的閏年問(wèn)題

3、上，則可以修改已有的等價(jià)類集合。為了說(shuō)明另一種決策表表示方法，這一次采用擴(kuò)展項(xiàng)決策表開(kāi)發(fā)，并更仔細(xì)地研究動(dòng)作樁。在構(gòu)建擴(kuò)展項(xiàng)決策表時(shí)，必須保證等價(jià)類構(gòu)成輸入定義域的真劃分。如果規(guī)則項(xiàng)之間存在“重疊”，則會(huì)存在冗余情況，使得多個(gè)規(guī)則都能夠滿足。這里，Y2是一組18122012之間的年份，并除以4，2000除外。M1 = 月份：每月有30天； M2 = 月份：每月有31天；M3 = 月份：此月是2月D1 = 日期：1日期28；D2 = 日期：日期=29；D3 = 日期=30；D4 = 日期=31Y1 = 年：年=2000；Y2 = 年：年是閏年；Y3 = 年：年是平年從某種意義上說(shuō)，我們采用的是“

4、灰盒”技術(shù)，因?yàn)楦屑?xì)地研究了NextDate函數(shù)。為了產(chǎn)生給定日期的NextDate，能夠使用的操作只有五種：日期和月份的增1和復(fù)位，年的增1。(我們不允許通過(guò)復(fù)位年來(lái)回退時(shí)間。)這些條件可以產(chǎn)生有對(duì)應(yīng)等價(jià)類笛卡爾積的36個(gè)規(guī)則的決策表(自己可以分析一下)。結(jié)合不關(guān)心項(xiàng)，可得到下表所示的17條規(guī)則的決策表。仍然存在邏輯不可能的規(guī)則，但是這個(gè)表有助于我們標(biāo)識(shí)測(cè)試用例的擴(kuò)展輸出。如果填滿這個(gè)決策表的動(dòng)作項(xiàng)，就會(huì)發(fā)現(xiàn)12月有一些麻煩的問(wèn)題(規(guī)則8)。我們下面解決這些問(wèn)題。第三次嘗試通過(guò)引入等價(jià)類的第三個(gè)集合，可以澄清年末問(wèn)題。這一次可以特別關(guān)注日和月，并重新使用第一次嘗試的較簡(jiǎn)單的閏年或非閏年條件

5、，因此2000年沒(méi)有特別處理。(還可以做第四次嘗試，采用第二次嘗試的年等價(jià)類。)M1 = 月份：每月有30天； M2 = 月份：每月有31天，12月除外；M3 = 月份：此月是12月；M4 = 月份：此月是2月D1 = 日期：1日期27；D2 = 日期：日期=28；D3 = 日期=29；D4 = 日期=30；D5 = 日期=31Y1 = 年：年是閏年；Y2 = 年：年不是閏年這個(gè)等價(jià)類的笛卡爾積包含40個(gè)元素。所產(chǎn)生的組合規(guī)則包含不關(guān)心項(xiàng)，如下表所示，可與第二次的36條規(guī)則比較。大的測(cè)試用例集合是否一定比小的測(cè)試用例集合好？這里我們有一個(gè)22條規(guī)則的決策表，得到的NextDate函數(shù)的描述比包

6、含36條規(guī)則的決策表更清晰。前5條規(guī)則處理有30天的月份，請(qǐng)注意，這里不考慮閏年。接下來(lái)兩組規(guī)則(規(guī)則610，規(guī)則1115)處理有31天的月份，前5條規(guī)則處理12月之外的月份，后5條規(guī)則處理12月。不可能規(guī)則也在決策表中列出，盡管存在一些高效測(cè)試人員可能會(huì)有疑問(wèn)的冗余。10條規(guī)則中的8條只是對(duì)日期增1。針對(duì)這個(gè)子功能是否真的需要8條單獨(dú)的測(cè)試用例，可能不需要，但是請(qǐng)注意我們可以通過(guò)決策表得到的啟發(fā)。最后7條規(guī)則關(guān)注的是2月和閏年。上表所示的決策表是NextDate函數(shù)源代碼的基礎(chǔ)。這個(gè)例子從另一個(gè)方面說(shuō)明測(cè)試如何能夠很好地改進(jìn)程序設(shè)計(jì)。所有決策表分析都應(yīng)該在NextDate函數(shù)的詳細(xì)設(shè)計(jì)期間完

7、成。我們可以使用決策表代數(shù)進(jìn)一步化簡(jiǎn)這22個(gè)測(cè)試用例。如果決策表中兩個(gè)規(guī)則的動(dòng)作集合相同，則一定至少有一個(gè)條件能夠把兩條規(guī)則用不關(guān)心條目合并。這正體現(xiàn)出決策表等價(jià)于用于標(biāo)識(shí)等價(jià)類的“相同處理”方針。在某種意義上，我們就是在標(biāo)識(shí)規(guī)則的等價(jià)類。例如，規(guī)則1、2和3涉及有30天的月份日期類D1、D2和D3。類似地，有31天的月份的日期類D1、D2、D3和D4也可以合并，2月的D4和D5也可以合并。所得到的結(jié)果如下表所示：相應(yīng)的測(cè)試用例如下表所示：總結(jié)與其他測(cè)試技術(shù)一樣，基于決策表的測(cè)試對(duì)于某些應(yīng)用程序(例如NextDate函數(shù))很有效，但是對(duì)另外一些應(yīng)用程序就不值得費(fèi)這么大的事。毫不奇怪，基于決策表所適用的情況都是要發(fā)生大量決策(例如三角形問(wèn)題)，以及在輸入變量之間存在重要的邏輯關(guān)系的情況(例如NextDa