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

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

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

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