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

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

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

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

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