軟件調(diào)試包括錯(cuò)誤定位和修復(fù),錯(cuò)誤定位是首要環(huán)節(jié),也是最費(fèi)時(shí)費(fèi)力的工作。因此,為了提高錯(cuò)誤定位的效率,各種自動(dòng)化技術(shù)應(yīng)運(yùn)而生。其中,基于頻譜的錯(cuò)誤定位技術(shù)（SFL）由于其不依賴系統(tǒng)模型且易于實(shí)現(xiàn)的特點(diǎn),成為了目前比較行之有效的方法之一。SFL主要依賴程序的執(zhí)行頻譜數(shù)據(jù),通過(guò)構(gòu)造可疑度計(jì)算公式來(lái)評(píng)估程序元素的可疑度,最終根據(jù)可疑度大小按序排查程序錯(cuò)誤。因此,可疑度評(píng)估的精確程度成為了 SFL方法是否有效的關(guān)鍵。然而,學(xué)者們已經(jīng)證明通過(guò)構(gòu)造新可疑度計(jì)算公式的方式已經(jīng)很難進(jìn)一步提升錯(cuò)定位的精度。因此,本文另辟蹊徑,在探索程序元素顆粒度對(duì)錯(cuò)誤定位精度影響的基礎(chǔ)上,提出了一種基于動(dòng)態(tài)程序失效執(zhí)行塊（DFEB）的錯(cuò)誤定位新方法。然后,針對(duì)當(dāng)前可疑度計(jì)算公式不能有效適用于不同程序和不同錯(cuò)誤測(cè)試場(chǎng)景的問(wèn)題,基于DFEB技術(shù),設(shè)計(jì)了一種能夠動(dòng)態(tài)適應(yīng)測(cè)試場(chǎng)景的錯(cuò)誤定位新方法。最后,通過(guò)SIR程序測(cè)試基準(zhǔn)庫(kù)的實(shí)驗(yàn)驗(yàn)證了所提出方法的有效性。本文的主要工作和創(chuàng)新成果可以歸納如下:（1）提出了動(dòng)態(tài)程序失效執(zhí)行塊的錯(cuò)誤定位方法。從失敗測(cè)試用例中獲取所有DFEB,借助可疑度計(jì)算公式獲取每個(gè)DFEB和每條語(yǔ)句的可疑度值,... 

【文章來(lái)源】：浙江理工大學(xué)浙江省

【文章頁(yè)數(shù)】：58 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖１．１自動(dòng)化錯(cuò)誤定位總體流程??

浙江理工大學(xué)碩士學(xué)位論文?基于動(dòng)態(tài)程序失效執(zhí)行塊的軟件錯(cuò)誤定位方法研究??測(cè)試用例中被執(zhí)行的次數(shù)；ｆｌｏｏ和分別表示該條語(yǔ)句在成功的測(cè)試用例或失敗的測(cè)試??用例中未被執(zhí)行的次數(shù)。??成功測(cè)試用例；?失敗測(cè)試用例??Ｉ?＇?■??Ｌ?匸一?Ｊ?｜??待測(cè)程序Ｐ?＜—??：匕程??：中??：間?Ｖ?Ｖ??璧———可疑度—（計(jì)算．．．．．??排序??Ｌ———ｉ??錯(cuò)誤定位報(bào)告??－?｜???—■＇??圖２．２?ＳＦＬ方法實(shí)現(xiàn)流程??獲取每條程序語(yǔ)句的四個(gè)屬性值之后，我們可以通過(guò)可疑度計(jì)算公式來(lái)獲取每條語(yǔ)??句的可疑度值，然后根據(jù)可疑度值從大到小進(jìn)行排序，最后生成錯(cuò)誤定位報(bào)告。??Ｊｏｎｅｓ等人［８］首先提出Ｔａｒａｎｔｕｌａ公式，該公式認(rèn)為在失敗測(cè)試用例中執(zhí)行過(guò)的語(yǔ)句??是可疑的。該方法通過(guò)用不同的顏色標(biāo)識(shí)代碼可疑度值來(lái)計(jì)算可疑度，紅色表示該語(yǔ)句??的可疑度值最高。公式如下：??ａｎ??ｓｕｓｐ（ｓ）?＝——??２＿１??ａ＼＼?｜?“１０??。１０＋。００??Ｃｈｅｎ等人［１（）］提出了?Ｊａｃｃａｒｄ，該公式是用來(lái)計(jì)算執(zhí)行程序?qū)嶓w之后結(jié)果失敗的測(cè)用??案例占所有執(zhí)行失敗程序?qū)嶓w測(cè)用數(shù)值案例的比值結(jié)果，即某條語(yǔ)句在失敗測(cè)試用例中??執(zhí)行的次數(shù)越多，該條語(yǔ)句就越可疑。該公式通常被認(rèn)為要優(yōu)于Ｔａｒａｎｔｕｌａ公式，其可疑??度計(jì)算公式為：??９??

＇??｜?Ｉｔ！?Ｊ?５０??５?６０?１?１?：?丁?．?Ｓ?４０－?＋?＋?－??＇ｌ４０＿＿ｚｒ＂＇－ＬｉｒｊｎＪＬｉｒＬｒ＾ｎｒｕ＇?Ｉ?＿?－??Ｉ?２０?■?—?一?｜２０＾?－?＋?－?＾?＾?＋?＾ｒ－ｈ＂??ｏ．Ｕ?＾?ｙ?ｙ?Ｕ?ｙ?ｙ?ｙ?１。－曰?白?ｄａＵｉｇ?—??ｏ?－?＂??ＤＦＥＢ?Ｄ?Ｊ?Ｋ?Ｋ２?Ｏ?０２?ＯＰ２?Ｔ?ＤＦＥＢ?Ｄ?Ｊ?Ｋ?Ｋ２?Ｏ?０２?ＯＰ２?Ｔ??（ａ）?（ｂ）??圖３．４?Ｔｏｐ－１⑷單錯(cuò)誤程序（ｂ）多錯(cuò)誤程序??圖３．４的盒圖顯示了基于ＣＰＭ和其他八個(gè)經(jīng)典的頻譜公式基于ＤＦＥＢ的方法下獲得??的Ｔｏｐ－１。對(duì)于單故障程序，從圖３．４?（ａ）中的數(shù)據(jù)可以看出，基于ＣＰＭ的方法可能超??過(guò)所有其他考慮的公式。從圖３．４?（ｂ）我們可以看到，對(duì)于多故障程序，盡管基于ＣＰＭ??的方法的有效性與其他方法相似，但它比〇ｐ２更有效。因此，與其他公式相比，將ＣＰＭ??公式應(yīng)用在ＤＦＥＢ方法時(shí)，對(duì)于不同的測(cè)試場(chǎng)景具有更好的通用性。??單錯(cuò)誤和多錯(cuò)誤程序的ＥＸＡＭ分?jǐn)?shù)比較結(jié)果分別如圖３．５和圖３．６所示。特別是，??如圖３．５所示，對(duì)于單錯(cuò)誤程序，在基于ＤＦＥＢ的方法中，使用ＣＰＭ公式除ＯＰ２公式??以外的其他公式相比具有明顯的優(yōu)勢(shì)。當(dāng)代碼檢查率在０－２０％之間時(shí)，ｋｕｌｃＺｙｎｓｉｋ２公式??２１??


本文編號(hào)：3344762