時序擴展的UML狀態(tài)圖的測試用例生成研究.pdf

1、軟件測試在軟件開發(fā)周期中發(fā)揮著越來越重要的作用，人們對軟件測試技術的研究隨之更加深入。面向結(jié)構的軟件測試技術已經(jīng)比較成熟，然而對于面向需求規(guī)格說明的軟件測試的研究相對滯后。在軟件測試中測試用例的選擇是尤為重要的，好的測試用例可以達到事半功倍的效果，差的測試用例可能會浪費更多的資源和時間。UML狀態(tài)圖模型在面向需求規(guī)格說明的軟件測試用例生成方面發(fā)揮著重要的作用，然而，UML狀態(tài)圖缺乏精確的形式化語義，僅能對表示靜態(tài)領域的系統(tǒng)進行描述，而無

2、法對具有動態(tài)特征的實時系統(tǒng)進行準確的描述。本文在對UML狀態(tài)圖生成測試用例的方法進行研究的基礎上，提出了時序擴展的UML狀態(tài)圖生成測試用例的完整方法。本文的主要工作內(nèi)容如下:
　　1、深入分析了軟件測試充分性問題的相關理論和技術，包括測試充分性的重要性和面向結(jié)構的軟件測試技術在測試充分性方面的研究進展，為面向需求規(guī)格說明的實時系統(tǒng)軟件測試充分性的研究提供了參考。本文在基于UML狀態(tài)圖的測試充分性準則選擇方面主要介紹了狀態(tài)覆蓋準則、

3、遷移覆蓋準則、狀態(tài)轉(zhuǎn)移對覆蓋準則和完全判定覆蓋準則。
　　2、深入分析了當前基于UML狀態(tài)圖生成測試用例方法在處理實時系統(tǒng)方面存在的不足，在對UML狀態(tài)圖進行時序擴展的基礎上，提出了完整的時序擴展的UML狀態(tài)圖生成測試用例方法，并詳細介紹了時序擴展的處理方案，測試充分性覆蓋準則的處理和測試序列生成的算法。
　　3、研究了測試用例序列優(yōu)化的作用和重要性，對時序擴展的UML狀態(tài)圖生成的測試用例序列進行了遺傳算法優(yōu)化，并詳細介紹了