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

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

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

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