基于MDA的測試用例自動生成方法及其支撐框架.pdf

1、軟件測試貫穿于軟件開發(fā)的整個過程,是保證軟件質(zhì)量的重要手段。單元測試是對軟件設計的最小單位進行正確性檢驗,是后續(xù)軟件開發(fā)和測試的保障。所以單元測試既是軟件測試的第一步也是最關(guān)鍵的一步。單元測試的回歸性,使得其可以用自動化工具來輔助進行。因測試工作量大,且手動編寫測試用例難以保證測試的質(zhì)量,使得對測試用例的自動生成進行研究具重要的實際意義。
　　 本文分別從.NET平臺下的單元測試框架NUnit及其平臺下的測試用例自動生成兩個方面

2、展開研究。首先介紹了相關(guān)的背景知識,包括軟件測試技術(shù)和基于模型的軟件測試技術(shù),分析了后者的優(yōu)缺點。歸納總結(jié)了基于模型的軟件測試的國內(nèi)外研究現(xiàn)狀。
　　 其次,本文研究了NUnit單元測試框架,詳細分析該框架的結(jié)構(gòu)和工作原理。針對在使用該框架進行單元測試時,測試代碼存在大量冗余的問題提出相應的修改策略,并對其進行了改進,以實現(xiàn)使測試代碼和測試數(shù)據(jù)分離。對改進過的NUnit--NUnit框架的兩個關(guān)鍵部分:測試代碼框架和測試數(shù)據(jù)容器

3、,分別給出了對應的生成算法。
　　 最后,本文針對改進后的框架i-NUnit,提出一種基于MDA的測試用例自動生成方法。該方法以序列圖作為對象,將SUT模型、SUT元模型、水平轉(zhuǎn)換說明、xUnit元模型作為初始輸入,通過兩次模型轉(zhuǎn)換(水平和垂直)生成測試用例。本文將該方法應用到ATM仿真系統(tǒng)上,對其進行了實驗,同時抽取其中的取款模塊作為待測試模塊,為其自動生成測試用例。實驗結(jié)果證明本文提出基于MDA的測試用例自動生成方法具有可行