隨著信息化社會(huì)的不斷發(fā)展,計(jì)算機(jī)軟件逐漸深入到人類日常生活的各個(gè)角落,但軟件開發(fā)帶來的軟件錯(cuò)誤也極大影響了軟件質(zhì)量。軟件測(cè)試和程序調(diào)試的協(xié)同工作可以有效的定位并消除軟件錯(cuò)誤,然而軟件錯(cuò)誤定位一直以來都是一項(xiàng)耗時(shí)又費(fèi)力的工作,開發(fā)人員很難快速準(zhǔn)確的定位到錯(cuò)誤。因此如何提高自動(dòng)化軟件錯(cuò)誤定位方法的精度和有效性對(duì)軟件工程研究和現(xiàn)實(shí)生活都具有重要的意義。目前國(guó)內(nèi)外研究人員針對(duì)這一課題已經(jīng)進(jìn)行了大量的研究,并提出了很多基于測(cè)試的自動(dòng)化軟件錯(cuò)誤定位技術(shù),但依然存在一些不足之處。主要表現(xiàn)在:（1）缺少對(duì)可疑語句上下文信息的分析,現(xiàn)有方法忽略了程序內(nèi)部變量之間的關(guān)系和可疑語句之間的語義聯(lián)系等重要信息,而單獨(dú)計(jì)算程序?qū)嶓w的可疑度;（2）缺少可以輔助理解錯(cuò)誤和分析傳播關(guān)系的上下文信息,現(xiàn)有方法忽視了理解錯(cuò)誤和分析錯(cuò)誤傳播的重要性,只報(bào)告了“什么引起了失效”,而無法回答“為什么會(huì)引發(fā)失效”等問題。針對(duì)上述問題,本文的主要研究工作如下:（1）提出了一種基于路徑分析和信息熵的上下文錯(cuò)誤定位方法。該方法首先收集程序執(zhí)行軌跡和測(cè)試用例執(zhí)行結(jié)果,通過靜態(tài)分析對(duì)待測(cè)源程序構(gòu)建圖形結(jié)構(gòu)并進(jìn)行數(shù)據(jù)依賴分析;然后,結(jié)合測(cè)試用... 

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

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

【部分圖文】：

基于程序切片的軟件錯(cuò)誤定位框架

基于程序頻譜的軟件錯(cuò)誤定位框架

原始程序代碼及插樁后的程序代碼Figure2-1Originalcodeandcodeafterinstrument圖2-1給出了一個(gè)簡(jiǎn)單的判斷三角形是否為等邊三角形的程序片段，其中包

【參考文獻(xiàn)】：
期刊論文
[1]增強(qiáng)上下文的錯(cuò)誤定位技術(shù)[J]. 張卓,譚慶平,毛曉光,雷晏,常曦,薛建新.  軟件學(xué)報(bào). 2019(02)
[2]一種基于加權(quán)軟件行為圖挖掘的軟件錯(cuò)誤定位方法[J]. 蘇小紅,王甜甜,楊劭君,馬培軍.  計(jì)算機(jī)學(xué)報(bào). 2016(11)
[3]基于二次定位策略的軟件故障定位[J]. 宗芳芳,黃鴻云,丁佐華.  軟件學(xué)報(bào). 2016(08)
[4]基于混雜偏倚消除的謂詞統(tǒng)計(jì)錯(cuò)誤定位方法[J]. 王興亞,姜淑娟,鞠小林,曹鶴玲.  計(jì)算機(jī)學(xué)報(bào). 2017(12)
[5]一種基于遺傳算法的多缺陷定位方法[J]. 王贊,樊向宇,鄒雨果,陳翔.  軟件學(xué)報(bào). 2016(04)
[6]軟件錯(cuò)誤自動(dòng)定位關(guān)鍵科學(xué)問題及研究進(jìn)展[J]. 王克朝,王甜甜,蘇小紅,馬培軍.  計(jì)算機(jī)學(xué)報(bào). 2015(11)
[7]基于參數(shù)-值替換的錯(cuò)誤定位方法[J]. 王興亞,姜淑娟,鞠小林,曹鶴玲.  通信學(xué)報(bào). 2015(04)
[8]基于動(dòng)態(tài)切片和關(guān)聯(lián)分析的錯(cuò)誤定位方法[J]. 曹鶴玲,姜淑娟,鞠小林,王興亞.  計(jì)算機(jī)學(xué)報(bào). 2015(11)
[9]基于數(shù)據(jù)鏈的軟件故障定位方法[J]. 楊波,吳際,劉超.  軟件學(xué)報(bào). 2015(02)
[10]基于圖挖掘和決策樹的軟件故障定位研究[J]. 楊書新,徐麗萍,王鵬.  計(jì)算機(jī)工程與應(yīng)用. 2015(20)



本文編號(hào)：3729003