基于UML的多態(tài)性測試研究與實現(xiàn).pdf

1、隨著信息技術(shù)的發(fā)展和計算機的廣泛應(yīng)用,如何保證和提高軟件質(zhì)量成為軟件工程最為關(guān)心的問題之一,以軟件測試為中心的軟件質(zhì)量保障技術(shù)在軟件生產(chǎn)實踐中得到了迅速的發(fā)展。但是隨著軟件規(guī)模的不斷增大和復(fù)雜性的不斷提高,傳統(tǒng)的軟件測試技術(shù)已經(jīng)不能適應(yīng)現(xiàn)代軟件開發(fā)技術(shù)的要求。特別是近年來廣泛應(yīng)用的面向?qū)ο?OO)技術(shù),它不僅增強了程序開發(fā)的靈活性和提高了代碼復(fù)用性,也對傳統(tǒng)軟件測試提出了新的挑戰(zhàn)。統(tǒng)一建模語言(UML)在被工業(yè)界廣泛接受的同時也成為學(xué)術(shù)

2、界遵循的一種標(biāo)準(zhǔn)建模語言,許多面向?qū)ο筌浖y試的研究都是圍繞UML模型展開的。因為UML模型全方位地描述了軟件的系統(tǒng)藍(lán)圖,所以研究基于UML模型的軟件測試有利于把測試工作提前到軟件開發(fā)周期的早期階段進(jìn)行。本文在分析現(xiàn)有軟件測試技術(shù)基礎(chǔ)上,對基于UML模型的多態(tài)性測試問題進(jìn)行了深入研究,這對于現(xiàn)有軟件測試?yán)碚摵图夹g(shù)都有重要意義。由于UML協(xié)作圖側(cè)重于以圖形化的方式從空間的角度展示對象的交互,直接從協(xié)作圖提取測試用例并不方便,因此必須對其做

3、形式化的等價轉(zhuǎn)換。傳統(tǒng)的過程間受限控制流圖(IRCFG)很好地描述了協(xié)作圖中交互消息的控制邏輯,但是它沒有結(jié)合類圖信息,不能對面向?qū)ο蟪绦蛑邪亩鄳B(tài)信息進(jìn)行測試,所以本文把協(xié)作圖和類圖結(jié)合起來,提出了多態(tài)性擴展的帶類圖信息的過程間受限控制流圖(PCIRCFG)模型,并對其進(jìn)行了形式化的描述。同時提出了適用于PCIRCFG的測試覆蓋準(zhǔn)則,并給出了從PCIRCFG提取測試線索的方法,從而有效地解決了面向?qū)ο蠹夹g(shù)中的多態(tài)性測試問題。最后,本

4、文基于上述理論設(shè)計和實現(xiàn)了一個基于UML模型的軟件測試框架,文中給出了框架的主要結(jié)構(gòu),著重研究了各個功能模塊的設(shè)計和實現(xiàn)過程中所涉及的關(guān)鍵技術(shù)。基于目前成熟的商業(yè)建模工具PowerDesinger,本文對其生成的模型OOM進(jìn)行了深入分析,并成功地提取了有用的模型信息。文中定義了PCIRCFG模型的數(shù)據(jù)結(jié)構(gòu),實現(xiàn)了PCIRCFG的構(gòu)造算法和唯一路徑覆蓋準(zhǔn)則所對應(yīng)的測試線索生成算法。通過從實際模型提取多態(tài)性測試線索,從而驗證了該方法的有效性