本文關(guān)鍵詞：一種基于加權(quán)軟件行為圖挖掘的軟件錯誤定位方法

  更多相關(guān)文章： 錯誤定位 軟件行為圖 圖挖掘 錯誤簽名 分支限界搜索

【摘要】：已有錯誤定位方法通常僅給出可疑語句排序而缺少必要的上下文信息,導(dǎo)致難于理解軟件失效的產(chǎn)生原因.為了解決該問題,定義了加權(quán)軟件行為圖來表示成功和失敗的程序執(zhí)行路徑,由于圖中邊的權(quán)重表示了路徑的執(zhí)行頻率,因此與LEAP方法相比,可以較好地分析與循環(huán)和遞歸等結(jié)構(gòu)相關(guān)的軟件錯誤.在此基礎(chǔ)上,執(zhí)行基于分支限界搜索的加權(quán)軟件行為圖挖掘算法,識別成功和失敗執(zhí)行之間最有差異的子圖來獲得錯誤簽名,不但可以有效定位錯誤位置,還能輸出缺陷語句相關(guān)的執(zhí)行路徑,從而提供失效產(chǎn)生的上下文.分析Siemens基準測試集和flex程序的結(jié)果表明,在檢查相同百分比的語句的情況下,文中方法可以比Tarantula方法和LEAP方法定位到更多的錯誤.特別是對于冗余代碼、缺失代碼和變量替換,以及會直接改變執(zhí)行路徑類的錯誤,文中方法具有較高的定位精度.
【作者單位】： 哈爾濱工業(yè)大學(xué)計算機科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 錯誤定位 軟件行為圖 圖挖掘 錯誤簽名 分支限界搜索
【基金】：國家自然科學(xué)基金(61173021,61202092,61672191) 教育部博士點基金(20112302120052)資助~~
【分類號】：TP311.53
【正文快照】： (20112302120052)資助.蘇小紅,女,1966年生,博士,教授,中國計算機學(xué)會(CCF)高級會員,主要研究領(lǐng)域為軟件缺陷檢測、程序分析、信息融合、目標檢測與跟蹤等.E-mail:sxh@hit.edu.cn.王甜甜,女,1980年生,博士,副教授,主要研究方向為程序分析、軟件缺陷檢測1引言隨著計算機行業(yè)的

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 曹鶴玲;姜淑娟;鞠小林;;軟件錯誤定位研究綜述[J];計算機科學(xué);2014年02期

2 劉達,蘆康俊,李祥和;軟件錯誤探測技術(shù)[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2004年01期

3 張云乾;鄭征;季曉慧;張文博;張震宇;;基于馬爾可夫模型的軟件錯誤定位方法[J];計算機學(xué)報;2013年02期

4 文萬志;李必信;孫小兵;劉翠翠;;一種基于層次切片譜的軟件錯誤定位技術(shù)[J];軟件學(xué)報;2013年05期

5 文萬志;陳翔;孫小兵;;基于程序譜概念格的軟件錯誤定位技術(shù)[J];四川大學(xué)學(xué)報(工程科學(xué)版);2014年02期

6 陳錦富;盧炎生;謝曉東;;軟件錯誤注入測試技術(shù)研究[J];軟件學(xué)報;2009年06期

7 許高陽;李必信;孫小兵;陶傳奇;;一種基于層次切片的軟件錯誤定位方法[J];東南大學(xué)學(xué)報(自然科學(xué)版);2010年04期

8 虞凱;林夢香;;自動化軟件錯誤定位技術(shù)研究進展[J];計算機學(xué)報;2011年08期

9 聶學(xué)春;長途計費文件錯誤的及時處理[J];電信技術(shù);1997年06期

10 林衛(wèi)平;AutoCAD R12應(yīng)用問答(一)[J];計算機世界;1995年03期

中國重要報紙全文數(shù)據(jù)庫 前7條

1 記者張小軍;因軟件錯誤每年損失近六百億美元[N];人民日報;2002年

2 ;美國每年損失595億[N];計算機世界;2002年

3 ;SRAM存儲單元降低軟件錯誤[N];計算機世界;2004年

4 本報記者 甘霖來;IBM定義服務(wù)器的未來[N];中國計算機報;2001年

5 商報記者 吳辰光;電信廠商借質(zhì)量測試降低成本[N];北京商報;2008年

6 保羅·威尼斯;IT顧客并非上帝[N];中國計算機報;2010年

7 柯文;自主運算 電子商務(wù)的新天地[N];科技日報;2001年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 曹鶴玲;基于數(shù)據(jù)挖掘的軟件錯誤定位方法研究[D];中國礦業(yè)大學(xué);2015年

2 龔丹丹;結(jié)合測試用例約簡和概率圖建模的軟件錯誤定位方法研究[D];哈爾濱工業(yè)大學(xué);2014年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前6條

1 王慧芳;基于軟件動態(tài)執(zhí)行圖挖掘的軟件錯誤定位方法研究[D];燕山大學(xué);2015年

2 葉甜甜;基于頻譜的軟件錯誤定位方法研究[D];浙江理工大學(xué);2016年

3 王煜;基于錯誤傳播上下文分析的軟件錯誤定位方法研究[D];哈爾濱工業(yè)大學(xué);2013年

4 張凱;基于復(fù)雜網(wǎng)絡(luò)的軟件錯誤定位模型的研究[D];燕山大學(xué);2014年

5 王瀛;軟件錯誤分析專家系統(tǒng)研究開發(fā)[D];西安理工大學(xué);2004年

6 聶鑫;基于Saas模式的PAT（Project Activity Track）系統(tǒng)的設(shè)計與實現(xiàn)[D];電子科技大學(xué);2012年

，

本文編號：589020