基于程序執(zhí)行的錯(cuò)誤定位方法.pdf

1、軟件調(diào)試是軟件開(kāi)發(fā)和維護(hù)中最為耗時(shí)耗力的部分,而其中的錯(cuò)誤定位是最為重要且最為困難的。傳統(tǒng)的錯(cuò)誤定位方法往往是采用手工定位的方法(比如借助于調(diào)試工具設(shè)置斷點(diǎn)),但是這類(lèi)方法缺點(diǎn)是可能出錯(cuò)的語(yǔ)句的搜索空間巨大,且往往耗費(fèi)大量的精力和時(shí)間。因此目前在錯(cuò)誤定位方面的主要研究?jī)?nèi)容是自動(dòng)化錯(cuò)誤定位,這類(lèi)方法主要的手段是借助于設(shè)計(jì)良好的測(cè)試用例集,通過(guò)對(duì)測(cè)試結(jié)果和程序特征的自動(dòng)化分析,計(jì)算出可能出錯(cuò)語(yǔ)句的集合?；诔绦蛐袨樘卣鞯淖詣?dòng)化錯(cuò)誤定位方法一

2、般根據(jù)覆蓋信息計(jì)算出程序語(yǔ)句的可疑度,然后按照可疑度由高到低的順序逐條檢查程序的可疑語(yǔ)句。
　　 為了提高定位錯(cuò)誤的效率,本文對(duì)現(xiàn)有的基于程序行為特征的方法進(jìn)行改進(jìn)。
　　 首先,通過(guò)對(duì)目前的自動(dòng)化錯(cuò)誤定位方法的研究對(duì)比,給出了幾種基于程序執(zhí)行的錯(cuò)誤定位方法:基于測(cè)試用例對(duì)語(yǔ)句可疑度的貢獻(xiàn)隨著測(cè)試用例數(shù)目的增加而降低(簡(jiǎn)記為貢獻(xiàn)率的降低)的思想給出了方法Heuristic1,基于程序執(zhí)行補(bǔ)集的概念給出Heuristic2

3、和Heuristic3,基于貢獻(xiàn)率的降低的思想和Tarantula的思想給出了Heuristic_4。
　　 其次,給出了一個(gè)具有可視化界面的通用的自動(dòng)化錯(cuò)誤定位架構(gòu)的實(shí)現(xiàn)流程,其中的可視化是為了方便調(diào)試人員查看可疑的語(yǔ)句。
　　 最后,為了驗(yàn)證方法的有效性,本文根據(jù)前面給出的流程實(shí)現(xiàn)了一個(gè)自動(dòng)化的錯(cuò)誤定位工具Visual debug,采用測(cè)試數(shù)據(jù)集Siemens Suite作為研究對(duì)象,將本文提出的方法和現(xiàn)有的幾種方法