基于熱路徑的程序切片技術(shù)在錯(cuò)誤定位中的應(yīng)用.pdf

1、軟件測(cè)試在軟件開(kāi)發(fā)的成本中所占比重超過(guò)一半,而錯(cuò)誤定位又是測(cè)試過(guò)程中的主要耗費(fèi)之一。錯(cuò)誤定位技術(shù)以查找軟件中的錯(cuò)誤代碼為目的,通過(guò)輔助人工查找錯(cuò)誤提高軟件測(cè)試效率,從而降低了軟件開(kāi)發(fā)成本,對(duì)軟件測(cè)試乃至軟件工程的發(fā)展有著重要意義,錯(cuò)誤定位技術(shù)研究具有重要的理論意義和實(shí)用價(jià)值。程序切片技術(shù)是錯(cuò)誤定位中的主流技術(shù),通過(guò)對(duì)程序的自動(dòng)化分解簡(jiǎn)化問(wèn)題,縮小目標(biāo)范圍從而提高錯(cuò)誤定位效率,程序切片技術(shù)在軟件維護(hù)、程序調(diào)試、測(cè)試、理解等諸多領(lǐng)域有著廣泛

2、的應(yīng)用。程序切片技術(shù)分為靜態(tài)切片技術(shù)和動(dòng)態(tài)切片技術(shù),靜態(tài)技術(shù)直接分析程序源代碼而不需要實(shí)際執(zhí)行程序,屬于保守分析,但分析結(jié)果不如動(dòng)態(tài)切片技術(shù)結(jié)果準(zhǔn)確。
　　 針對(duì)兩種程序切片技術(shù)的優(yōu)缺點(diǎn),將更適應(yīng)于錯(cuò)誤定位的動(dòng)態(tài)切片技術(shù)應(yīng)用于錯(cuò)誤定位,為進(jìn)一步提高分析效率,本文提出了基于熱路徑的動(dòng)態(tài)程序切片技術(shù),熱路徑的概念由優(yōu)化程序性能的阿姆達(dá)爾定律得來(lái),指出對(duì)程序中少部分執(zhí)行次數(shù)最多的模塊進(jìn)行優(yōu)化則可以最大化地提高程序性能。通過(guò)分析熱路徑和

3、動(dòng)態(tài)程序切片的特點(diǎn),提出了Dslice算法的三元?jiǎng)討B(tài)切片準(zhǔn)則,將所求熱路徑的范圍定位到方法級(jí),用方法之間的調(diào)用依賴(lài)關(guān)系作為切片的追蹤思想,得到最熱方法的調(diào)用路徑集合。通過(guò)實(shí)驗(yàn)對(duì)所提出的算法運(yùn)用經(jīng)典的錯(cuò)誤定位程序集進(jìn)行效果驗(yàn)證,實(shí)驗(yàn)結(jié)果證明基于該路徑集合在錯(cuò)誤定位技術(shù)上有較高的效率和實(shí)用性。
　　 以Java程序?yàn)閷?duì)象,本文實(shí)現(xiàn)了此切片技術(shù)在回歸測(cè)試中錯(cuò)誤定位的工具原型,設(shè)計(jì)和實(shí)現(xiàn)了基于熱路徑思想的動(dòng)態(tài)程序切片算法,對(duì)java程序