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