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

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

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

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

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

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