基于覆蓋率的ART方法及其在面向?qū)ο筌浖䴗y試中的應(yīng)用
發(fā)布時間：2017-12-21 13:58
本文關(guān)鍵詞：基于覆蓋率的ART方法及其在面向?qū)ο筌浖䴗y試中的應(yīng)用 出處：《江蘇大學(xué)》2017年碩士論文 論文類型：學(xué)位論文
更多相關(guān)文章： 面向?qū)ο筌浖?/b> 自適應(yīng)隨機(jī)測試 覆蓋率 距離信息 測試用例生成
【摘要】：隨著信息化程度的不斷增強(qiáng),越來越多的軟件采用面向?qū)ο缶幊碳夹g(shù)研發(fā),這類軟件稱之為面向?qū)ο筌浖?其質(zhì)量問題一直是人們最為關(guān)注的熱點問題。然而,由于面向?qū)ο筌浖娜蠊逃刑卣?使得軟件測試面臨著前所未有的挑戰(zhàn)。在眾多的測試方法中,基于隨機(jī)測試的測試方法應(yīng)用最為廣泛,但是效率以及效果不是很理想,所以近年來有學(xué)者對隨機(jī)測試方法進(jìn)行了改進(jìn),提出了自適應(yīng)隨機(jī)測試方法,并且取得了較好的測試效果。軟件中的失效區(qū)域通常是連續(xù)發(fā)生的,Chen T Y教授根據(jù)這一現(xiàn)象對隨機(jī)測試方法進(jìn)行了改進(jìn),提出自適應(yīng)隨機(jī)測試方法。自適應(yīng)隨機(jī)測試方法執(zhí)行時,通常會產(chǎn)生已執(zhí)行測試用例集和候選測試用例集兩個集合,從候選測試用例集當(dāng)中挑選出距離所有已執(zhí)行測試用例最遠(yuǎn)的測試用例作為下一個可執(zhí)行用例,如果沒有引發(fā)程序失效,則將其加入到已執(zhí)行測試用例集。為了增加所挑選測試用例的有效性,論文決定引入覆蓋率信息,將語句覆蓋率同距離信息綜合考慮來挑選測試用例,從而提高錯誤檢測率。本文針對以上問題分別提出了基于覆蓋率的面向?qū)ο筌浖⻊討B(tài)測試用例生成方法和基于覆蓋率的自適應(yīng)隨機(jī)測試方法,并分別進(jìn)行了實驗分析,從而證明了這兩種方法的可行性,同時設(shè)計并實現(xiàn)了一個測試原型系統(tǒng)。本文主要完成工作闡述如下:1.提出了基于覆蓋率的面向?qū)ο筌浖⻊討B(tài)測試用例生成方法。在該方法中闡明了覆蓋率動態(tài)排序監(jiān)測技術(shù),并且詳細(xì)分析了該技術(shù)的三大組成模塊,分別為預(yù)處理模塊、程序插樁模塊以及排序模塊,其中程序插樁模塊中定義了三類插樁規(guī)則,用于監(jiān)測測試用例在執(zhí)行過程中的四類覆蓋率信息。在四類覆蓋率信息中,選擇其中的語句覆蓋率信息應(yīng)用到面向?qū)ο筌浖⻊討B(tài)測試用例生成技術(shù)中,使得生成的測試用例能夠擁有較高的語句覆蓋率信息,從而提高檢錯效率。2.提出了基于覆蓋率的自適應(yīng)隨機(jī)測試方法。在該方法中闡明了利用基于覆蓋率的面向?qū)ο筌浖⻊討B(tài)測試用例生成方法生成候選測試用例集,定義權(quán)重之和的公式為Weight=Distance+Coverage,即先計算候選測試用例集中的每個測試用例與所有已執(zhí)行的測試用例的距離之和并進(jìn)行歸一化處理,再依據(jù)候選測試用例集中每個測試用例的語句覆蓋率信息,通過該公式計算得到Weight值,Weight值最大的即為下一個執(zhí)行測試用例。另外還說明了面向?qū)ο筌浖䴗y試的實現(xiàn)方法,其中包括測試流程、實現(xiàn)的相關(guān)算法以及測試結(jié)果的自動化分析。3.設(shè)計并實現(xiàn)了一個測試原型系統(tǒng)(ARTCovPS)。其中包含了類圖錄入模塊、參數(shù)配置模塊、DTCG-COV執(zhí)行模塊、測試驅(qū)動模塊、FSCS-COV算法執(zhí)行模塊以及結(jié)果統(tǒng)計模塊,ARTCovPS系統(tǒng)完成了整個測試流程,具有較好的可行性。
【學(xué)位授予單位】：江蘇大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2017
【分類號】：TP311.53
【參考文獻(xiàn)】
中國期刊全文數(shù)據(jù)庫 前5條
1 盧錫城;李根;盧凱;張英;;面向高可信軟件的整數(shù)溢出錯誤的自動化測試[J];軟件學(xué)報;2010年02期
2 謝冰;張晨東;;一種基于面向?qū)ο鬁y試模型的測試代碼生成方法與工具[J];計算機(jī)研究與發(fā)展;2008年S1期
3 趙榮利;崔志明;陳建明;;面向?qū)ο筌浖䴗y試技術(shù)的研究與應(yīng)用[J];計算機(jī)技術(shù)與發(fā)展;2007年01期
4 馬瑞芳,王會燃;計算機(jī)軟件測試方法的研究[J];小型微型計算機(jī)系統(tǒng);2003年12期
5 方菲,孫家殨,王立福,楊芙清;面向?qū)ο筌浖貧w測試技術(shù)研究[J];軟件學(xué)報;2001年03期
，本文編號：1315937
本文鏈接：http://sikaile.net/shoufeilunwen/xixikjs/1315937.html
最近更新
教材專著
