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

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

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

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

【部分圖文】：

圖１．１自動化錯誤定位總體流程??

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

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


本文編號：3344762