面向?qū)ο筌浖y(cè)試輸入差異性度量及在ART中的應(yīng)用研究.pdf

1、隨著面向?qū)ο缶幊蹋∣bject Oriented Programming，OOP）技術(shù)的發(fā)展，目前越來(lái)越多的軟件采用OOP技術(shù)設(shè)計(jì)和開發(fā)軟件，我們稱之為面向?qū)ο筌浖?Object OrientedSoftware，OOS)，OOS的應(yīng)用領(lǐng)域非常廣，OOS的質(zhì)量變得十分重要。然而，OOS中特有的封裝性、繼承性和多樣性給面向?qū)ο筌浖臏y(cè)試帶來(lái)了很大的挑戰(zhàn)。目前，存在諸多的面向?qū)ο筌浖y(cè)試方法，其中基于隨機(jī)測(cè)試(Random Testing，

2、RT)的測(cè)試方法最為簡(jiǎn)單易用，被廣泛應(yīng)用于OOS的測(cè)試中。但是，現(xiàn)有的基于RT的測(cè)試方法的測(cè)試效率及效果不理想。近年來(lái)有學(xué)者使用改進(jìn)的RT測(cè)試方法即自適應(yīng)隨機(jī)測(cè)試(Adaptive RandomTesting，ART)對(duì)OOS進(jìn)行測(cè)試并獲得了不錯(cuò)的測(cè)試效果。
　　ART是TY Chen教授提出的一種改進(jìn)的RT測(cè)試方法。研究表明有缺陷的軟件通常具有連續(xù)的失效區(qū)域。ART旨在產(chǎn)生均勻分布于整個(gè)軟件輸入域中的測(cè)試輸入，以提高錯(cuò)誤檢測(cè)效率

3、。ART目前已引起學(xué)術(shù)界和工業(yè)界的廣泛關(guān)注，也產(chǎn)生了一系列的ART算法去生成均勻的測(cè)試輸入。ART方法的關(guān)鍵是要定義出一種測(cè)試輸入的差異性度量機(jī)制，以幫助生成均勻分布的測(cè)試輸入。現(xiàn)有的研究表明，ART能有效地提升軟件的測(cè)試效率，減少軟件測(cè)試的開銷。但因OOS中測(cè)試輸入較復(fù)雜，測(cè)試輸入間的差異性難以度量，故ART在OOS測(cè)試中還未進(jìn)行深入的研究。本文根據(jù)面向?qū)ο筌浖y(cè)試輸入的特點(diǎn)，提出了測(cè)試輸入的差異性度量機(jī)制，并且將自適應(yīng)隨機(jī)測(cè)試技術(shù)應(yīng)

4、用到面向?qū)ο筌浖y(cè)試中，提出了基于距離度量的OOS測(cè)試方法。本文分別對(duì)單方法測(cè)試和多方法測(cè)試進(jìn)行了大量的實(shí)驗(yàn)研究，實(shí)驗(yàn)結(jié)果表明了提出的方法的可行性和有效性。同時(shí)完成了一個(gè)基于自適應(yīng)隨機(jī)測(cè)試的面向?qū)ο筌浖y(cè)試原型系統(tǒng)的實(shí)現(xiàn)。主要工作闡述如下:
　　1.提出了面向?qū)ο筌浖袦y(cè)試輸入的差異性度量機(jī)制。首先提出了差異性度量機(jī)制的距離表現(xiàn)形式，并且定義了距離的相關(guān)運(yùn)算，分析了現(xiàn)有的各種基本數(shù)據(jù)類型和面向?qū)ο筌浖赜械淖远x類型，給出了基本數(shù)

5、據(jù)類型間和自定義類型之間的距離計(jì)算的公式，完成了對(duì)象距離的度量?？紤]到測(cè)試用例中方法序列的多樣性，分別從不考慮方法參數(shù)和考慮方法參數(shù)兩種情況提出了方法序列差異性度量的公式，結(jié)合之前的對(duì)象距離度量，完成了對(duì)整個(gè)測(cè)試輸入的距離度量。
　　2.提出了基于距離度量的OOS測(cè)試方法并進(jìn)行了實(shí)驗(yàn)驗(yàn)證。首先闡述了OOS的測(cè)試流程，其中涉及了對(duì)象信息的獲取和存儲(chǔ)、測(cè)試用例生成算法、基于ART的OOS算法和測(cè)試結(jié)果自動(dòng)化分析，然后對(duì)測(cè)試類庫(kù)進(jìn)行了單

6、方法測(cè)試，對(duì)各個(gè)方法的實(shí)驗(yàn)結(jié)果進(jìn)行了分析，最后對(duì)測(cè)試類庫(kù)進(jìn)行了多方法測(cè)試，分考慮方法參數(shù)和不考慮方法參數(shù)這兩種情況進(jìn)行討論和實(shí)驗(yàn)分析。
　　3.設(shè)計(jì)實(shí)現(xiàn)了一個(gè)測(cè)試原型系統(tǒng)(ARTooXp)。該系統(tǒng)針對(duì)本文研究的測(cè)試輸入差異性度量機(jī)制和基于距離度量的OOS測(cè)試方法，分別設(shè)計(jì)了距離度量模塊和測(cè)試管理模塊。其中距離度量模塊主要利用本文提出的測(cè)試輸入差異性度量機(jī)制，完成面向?qū)ο蟪绦蛑腥我鈨蓚€(gè)對(duì)象間和任意兩個(gè)測(cè)試用例間的距離計(jì)算;測(cè)試管理模