基于UML模型的軟件可靠性測(cè)試技術(shù)的研究與實(shí)現(xiàn).pdf

1、計(jì)算機(jī)技術(shù)已經(jīng)廣泛應(yīng)用于航空、航天、國(guó)防、電信、交通、金融、醫(yī)療等領(lǐng)域。在這些領(lǐng)域中，軟件系統(tǒng)規(guī)模龐大，邏輯復(fù)雜，其可靠性和安全性往往有很高的要求。因此，研究如何保證并提高軟件產(chǎn)品的質(zhì)量和可靠性已成為計(jì)算機(jī)科學(xué)的一個(gè)重要領(lǐng)域。 統(tǒng)一建模語(yǔ)言(UML)是一種描述能力強(qiáng)大且涵義直觀的面向?qū)ο笙到y(tǒng)的可視化建模語(yǔ)言，它提供多種圖形元素從不同角度和應(yīng)用層次描述系統(tǒng)特征及其運(yùn)行環(huán)境?；赨ML的軟件開發(fā)過程和建模已經(jīng)被工業(yè)界廣泛接受。因此基

2、于UML的軟件測(cè)試得到了學(xué)術(shù)界和工業(yè)界的廣泛重視，其中基于UML的可靠性測(cè)試也成為值得深入研究的課題。 鑒于以上的分析，本文在下述幾個(gè)方面進(jìn)行了深入研究。 首先，分析了軟件可靠性測(cè)試和可靠性仿真測(cè)試環(huán)境的研究現(xiàn)狀，重點(diǎn)研究了兩種主流的軟件可靠性測(cè)試方法，分析和比較了其特點(diǎn)與存在的不足，指出基于使用模型的可靠性測(cè)試方法更符合軟件工程實(shí)踐。 其次，分析了UML各模型用于指導(dǎo)軟件測(cè)試的可行性及測(cè)試策略，指出不同的模型對(duì)

3、應(yīng)的測(cè)試層次，并得出結(jié)果：UML狀態(tài)圖、用例圖、活動(dòng)圖和順序圖模型是基于UML模型測(cè)試(尤其是系統(tǒng)級(jí)功能測(cè)試)研究的重點(diǎn)。 在此基礎(chǔ)上，重點(diǎn)研究了基于UML狀態(tài)圖的測(cè)試用例設(shè)計(jì)與生成方法，對(duì)基于UML狀態(tài)圖的EFSM模型，提出了一種實(shí)時(shí)測(cè)試序列的生成和優(yōu)化方法。 第三，針對(duì)使用模型建立困難的問題，從UML的用例圖、活動(dòng)圖和順序圖入手，研究了獲取使用模型的形式化算法，導(dǎo)出的使用模型可直接用于基于統(tǒng)計(jì)原理的可靠性測(cè)試。