基于MDA的測(cè)試用例自動(dòng)生成方法及其支撐框架.pdf

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

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

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