基于UML活動圖的并發(fā)軟件測試方法研究.pdf

1、軟件開發(fā)是一個(gè)智力密集型的過程，每個(gè)過程都需要人參加，人非圣賢，孰能無過，所以軟件中總是有錯(cuò)誤的。目前，軟件測試依然是發(fā)現(xiàn)軟件錯(cuò)誤提高軟件質(zhì)量的行之有效的方法。但是，隨著軟件開發(fā)方法和軟件工程過程的發(fā)展，特別是面向?qū)ο蠹夹g(shù)的廣泛應(yīng)用和USDP軟件過程的應(yīng)用大大提高了業(yè)界的軟件開發(fā)能力，面向?qū)ο筌浖苍絹碓綇V泛地應(yīng)用在社會各個(gè)領(lǐng)域，面向?qū)ο蠹夹g(shù)自身的各種特性給軟件測試帶來了新的挑戰(zhàn)。除此之外，面向?qū)ο蠹夹g(shù)還促進(jìn)了并發(fā)程序在軟件中的應(yīng)用，使

2、得測試變得更加困難。傳統(tǒng)的軟件測試方法和技術(shù)是基于結(jié)構(gòu)化思想的，較少考慮面向?qū)ο蠹夹g(shù)的特性，很多情況下它們不能適應(yīng)面向?qū)ο筌浖臏y試。為了對面向?qū)ο筌浖M(jìn)行有效的測試，迫切需要研究面向?qū)ο筌浖臏y試方法和技術(shù)。 統(tǒng)一建模語言(UML)是面向?qū)ο蟮臉?biāo)準(zhǔn)建模語言，已經(jīng)受到業(yè)界的廣泛認(rèn)可，UML 支持面向?qū)ο笤O(shè)計(jì)各個(gè)階段的工作，使用UML建立的模型能夠很好的描述面向?qū)ο筌浖鱾€(gè)方面的特性，這為測試工作提供了不少方便。因此，基于被測軟件

3、的UML模型的測試及其自動化方法和技術(shù)的研究也就成為當(dāng)前測試領(lǐng)域研究的熱點(diǎn)。國內(nèi)外提出了許多基于UML的軟件測試?yán)碚摵头椒ǎ菍τ诓l(fā)測試的研究卻不多見，而本課題正是要探討并發(fā)軟件的測試方法，這對提高我國并發(fā)軟件測試?yán)碚摵图夹g(shù)有著重要的學(xué)術(shù)和實(shí)用意義， 本文首先總結(jié)了傳統(tǒng)軟件測試的基本知識和理論，給出了測試模型的重要性，提出了基于線索的測試方法的意義和框架，概述了測試自動化的意義和發(fā)展；討論了面向?qū)ο蠹夹g(shù)給軟件測試帶來的影響，

4、總結(jié)了面向?qū)ο筌浖臏y試層次和測試現(xiàn)狀，重點(diǎn)介紹了基于UML的面向?qū)ο鬁y試技術(shù)<'[1]>，為研究基于活動圖的并發(fā)軟件測試方法提供了基礎(chǔ)。 為了有效地測試并發(fā)軟件，本文研究了在計(jì)算機(jī)中的并發(fā)實(shí)現(xiàn)、并發(fā)調(diào)度方法和并發(fā)控制的一般原理，針對并發(fā)控制的特點(diǎn)提出了三個(gè)并發(fā)軟件的基本測試覆蓋策略。這三個(gè)策略給出了并發(fā)軟件測試的基本原則：同步覆蓋、關(guān)鍵覆蓋和進(jìn)程覆蓋，為測試并發(fā)軟件提供了一定的指導(dǎo)。 針對并發(fā)控制的一般原理，本文給出了

5、一種使用UML活動圖對軟件中并發(fā)控制過程建立模型圖的方法，使用該方法建立的模型圖能夠很好的描述并發(fā)軟件的一般特征，為測試提供了基礎(chǔ)；分析了并發(fā)軟件測試難點(diǎn)即進(jìn)程組合爆炸問題，提出了一種基于模型圖生成測試線索集的方法，證明了按照生成的測試線索集測試并發(fā)軟件既能解決進(jìn)程組合爆炸問題，又能滿足前述三個(gè)并發(fā)軟件測試策略。由于模型圖是針對并發(fā)控制的一般原理建立，具有較好的通用性，所以本文測試方法適用于一般并發(fā)軟件的測試，具有較好的通用性。本文通過