基于變異錯(cuò)誤定位的變異體約減策略研究
發(fā)布時(shí)間:2020-12-21 02:30
現(xiàn)如今計(jì)算機(jī)軟件和人們的生活是密不可分的,保證軟件的質(zhì)量是人們首要關(guān)注的問題。軟件測(cè)試是保證軟件質(zhì)量的重要手段,程序調(diào)試則是軟件測(cè)試中比較困難的任務(wù),而錯(cuò)誤定位是程序調(diào)試中費(fèi)時(shí)耗力的一步。因此,自動(dòng)化的錯(cuò)誤定位方法的提出勢(shì)在必行。有效的錯(cuò)誤定位方法不僅能夠提高程序錯(cuò)誤定位效率,還能降低軟件測(cè)試的成本;谧儺惖腻e(cuò)誤定位因其較高的定位精度而受到國內(nèi)外研究人員的廣泛關(guān)注,但因其生成的大量變異體使其定位效率低下,阻礙了該方法在實(shí)際中的應(yīng)用。本文在對(duì)已有方法和技術(shù)做研究分析的基礎(chǔ)上,提出了基于覆蓋的變異錯(cuò)誤定位方法和基于路徑比較的變異體執(zhí)行策略,并且實(shí)現(xiàn)了一個(gè)錯(cuò)誤定位工具。針對(duì)現(xiàn)有方法生成的變異體數(shù)量龐大的問題,本文提出了一種基于覆蓋的變異錯(cuò)誤定位方法。該方法將基于覆蓋的錯(cuò)誤定位和基于變異的錯(cuò)誤定位兩者相結(jié)合,用前者來指導(dǎo)變異體的生成。首先用基于覆蓋的錯(cuò)誤定位懷疑度公式計(jì)算源程序每條語句的懷疑度,然后再根據(jù)源程序每條語句的懷疑度值降序?qū)Σ煌琶恼Z句植入數(shù)量不同的變異算子,達(dá)到初步的變異體數(shù)量約減的目的。最后根據(jù)變異算子的種類對(duì)變異體集合做二次約減。本文方法能夠保證錯(cuò)誤定位精度較高的情況下,顯...
【文章來源】:中國礦業(yè)大學(xué)江蘇省 211工程院校 教育部直屬院校
【文章頁數(shù)】:73 頁
【學(xué)位級(jí)別】:碩士
【部分圖文】:
基于變異的錯(cuò)誤定位技術(shù)框架
3基于覆蓋的變異錯(cuò)誤定位23進(jìn)行分類,分為失敗的測(cè)試用例集合/和成功的測(cè)試用例集合.。圖3-2基于覆蓋的變異體生成方法技術(shù)框架Figure3-2Thetechnicalframeworkofthecoverage-basedmutantgenerationmethod(/,.,)是將/,.和作為輸入來計(jì)算出每條語句的懷疑度,生成懷疑度列表list。Sequence列表則是按照list中懷疑度值進(jìn)行大小排序之后的懷疑列表。遍歷Sequence中的語句,()是對(duì)符合要求排名靠前的語句S進(jìn)行標(biāo)記。對(duì)標(biāo)記和未標(biāo)記的語句分別執(zhí)行不同的變異策略生成變異體集合0和?。最后,合并0和?得到變異體的最終集合M。
3基于覆蓋的變異錯(cuò)誤定位25語句對(duì)應(yīng)懷疑度最大值的變異體作為該條語句的最終懷疑度值。將每條語句按照懷疑度值降序進(jìn)行排列,程序開發(fā)人員按照順序依次檢查每條語句直至找到出錯(cuò)語句。圖3-4基于變異算子種類的變異體選擇策略技術(shù)框架Figure3-4Theframeworkofmutantselectionmethodbasedonmutationoperatortypes
【參考文獻(xiàn)】:
期刊論文
[1]針對(duì)基于變異錯(cuò)誤定位的一種動(dòng)態(tài)變異執(zhí)行策略[J]. 龔沛,耿楚瑤,郭俊霞,趙瑞蓮. 計(jì)算機(jī)科學(xué). 2016(02)
[2]配電網(wǎng)故障自動(dòng)定位技術(shù)研究綜述[J]. 唐金銳,尹項(xiàng)根,張哲,楊晨,葉磊,戚宣威,林瑨. 電力自動(dòng)化設(shè)備. 2013(05)
[3]基于路徑比較的變異測(cè)試方法[J]. 姚香娟,鞏敦衛(wèi). 電子學(xué)報(bào). 2012(01)
博士論文
[1]基于數(shù)據(jù)挖掘的軟件錯(cuò)誤定位方法研究[D]. 曹鶴玲.中國礦業(yè)大學(xué) 2015
碩士論文
[1]基于動(dòng)態(tài)切片的錯(cuò)誤定位方法研究[D]. 滕慶亞.南京郵電大學(xué) 2016
[2]基于機(jī)器學(xué)習(xí)的錯(cuò)誤定位方法研究[D]. 張柯.南京航空航天大學(xué) 2015
[3]基于錯(cuò)誤傳播上下文分析的軟件錯(cuò)誤定位方法研究[D]. 王煜.哈爾濱工業(yè)大學(xué) 2013
本文編號(hào):2929015
【文章來源】:中國礦業(yè)大學(xué)江蘇省 211工程院校 教育部直屬院校
【文章頁數(shù)】:73 頁
【學(xué)位級(jí)別】:碩士
【部分圖文】:
基于變異的錯(cuò)誤定位技術(shù)框架
3基于覆蓋的變異錯(cuò)誤定位23進(jìn)行分類,分為失敗的測(cè)試用例集合/和成功的測(cè)試用例集合.。圖3-2基于覆蓋的變異體生成方法技術(shù)框架Figure3-2Thetechnicalframeworkofthecoverage-basedmutantgenerationmethod(/,.,)是將/,.和作為輸入來計(jì)算出每條語句的懷疑度,生成懷疑度列表list。Sequence列表則是按照list中懷疑度值進(jìn)行大小排序之后的懷疑列表。遍歷Sequence中的語句,()是對(duì)符合要求排名靠前的語句S進(jìn)行標(biāo)記。對(duì)標(biāo)記和未標(biāo)記的語句分別執(zhí)行不同的變異策略生成變異體集合0和?。最后,合并0和?得到變異體的最終集合M。
3基于覆蓋的變異錯(cuò)誤定位25語句對(duì)應(yīng)懷疑度最大值的變異體作為該條語句的最終懷疑度值。將每條語句按照懷疑度值降序進(jìn)行排列,程序開發(fā)人員按照順序依次檢查每條語句直至找到出錯(cuò)語句。圖3-4基于變異算子種類的變異體選擇策略技術(shù)框架Figure3-4Theframeworkofmutantselectionmethodbasedonmutationoperatortypes
【參考文獻(xiàn)】:
期刊論文
[1]針對(duì)基于變異錯(cuò)誤定位的一種動(dòng)態(tài)變異執(zhí)行策略[J]. 龔沛,耿楚瑤,郭俊霞,趙瑞蓮. 計(jì)算機(jī)科學(xué). 2016(02)
[2]配電網(wǎng)故障自動(dòng)定位技術(shù)研究綜述[J]. 唐金銳,尹項(xiàng)根,張哲,楊晨,葉磊,戚宣威,林瑨. 電力自動(dòng)化設(shè)備. 2013(05)
[3]基于路徑比較的變異測(cè)試方法[J]. 姚香娟,鞏敦衛(wèi). 電子學(xué)報(bào). 2012(01)
博士論文
[1]基于數(shù)據(jù)挖掘的軟件錯(cuò)誤定位方法研究[D]. 曹鶴玲.中國礦業(yè)大學(xué) 2015
碩士論文
[1]基于動(dòng)態(tài)切片的錯(cuò)誤定位方法研究[D]. 滕慶亞.南京郵電大學(xué) 2016
[2]基于機(jī)器學(xué)習(xí)的錯(cuò)誤定位方法研究[D]. 張柯.南京航空航天大學(xué) 2015
[3]基于錯(cuò)誤傳播上下文分析的軟件錯(cuò)誤定位方法研究[D]. 王煜.哈爾濱工業(yè)大學(xué) 2013
本文編號(hào):2929015
本文鏈接:http://sikaile.net/shoufeilunwen/xixikjs/2929015.html
最近更新
教材專著