基于依賴觀察矩陣的軟件故障定位技術(shù)研究.pdf

1、軟件測(cè)試是軟件開發(fā)過程中的一項(xiàng)耗時(shí)費(fèi)力工作，而測(cè)試時(shí)間又主要受制于故障定位，即分析引起程序失效的原因所在。雖然專家學(xué)者提出大量的自動(dòng)化的軟件故障定位方法，有的也取得了很好的定位效果，但多故障、測(cè)試用例多少都會(huì)對(duì)現(xiàn)有方法造成困難。近些年來(lái)，隨著概率統(tǒng)計(jì)的方法在被應(yīng)用到其他研究領(lǐng)域解決復(fù)雜問題時(shí)所表現(xiàn)出來(lái)良好的優(yōu)越性，也有許多專家學(xué)者通過特定的測(cè)試用例來(lái)執(zhí)行待測(cè)程序從而獲取相應(yīng)信息，并且結(jié)合概率統(tǒng)計(jì)的相關(guān)知識(shí)來(lái)計(jì)算程序的可疑部件，這種方法在

2、定位效果上相對(duì)于以往有了明顯的提高。
　　 本文在歸納總結(jié)現(xiàn)有軟件故障定位技術(shù)的基礎(chǔ)上，提出使用依賴觀察矩陣改進(jìn)原有基于觀察矩陣的軟件故障定位方法。做法是通過靜態(tài)分析抽象語(yǔ)法樹轉(zhuǎn)儲(chǔ)(AST-dump)文件來(lái)獲取程序中的依賴關(guān)系，通過依賴關(guān)系對(duì)源程序進(jìn)行插裝并構(gòu)造依賴觀察矩陣，從而獲得沖突集及計(jì)算最小碰集，再使用貝葉斯概率更新法則來(lái)計(jì)算碰集的可疑度，最后根據(jù)最可疑的碰集中的依賴對(duì)信息定位到故障程序中對(duì)應(yīng)的語(yǔ)句。按照這個(gè)思路，本文設(shè)

3、計(jì)并實(shí)現(xiàn)了一個(gè)基于依賴觀察矩陣的故障定位實(shí)驗(yàn)系統(tǒng)。
　　 為驗(yàn)證本文故障定位方法的有效性，本文使用Siemens測(cè)試套件作為實(shí)驗(yàn)對(duì)象，采用普遍使用的效果評(píng)判量score（檢查的代碼數(shù)與測(cè)試程序總代碼數(shù)的比值），并分別與基于模型診斷的故障定位技術(shù)以及概率統(tǒng)計(jì)故障定位技術(shù)兩類故障定位方法進(jìn)行對(duì)比。實(shí)驗(yàn)結(jié)果表明，本文提出的方法比其他故障定位方法更有效，依賴關(guān)系的使用使得能夠解釋程序出錯(cuò)的根本原因，這也有助于開發(fā)人員去改正錯(cuò)誤。