1、隨著計(jì)算機(jī)技術(shù)的發(fā)展和軟件應(yīng)用領(lǐng)域的擴(kuò)大，軟件系統(tǒng)的規(guī)模和復(fù)雜性不斷攀升，由于軟件故障直接導(dǎo)致系統(tǒng)失效的比率持續(xù)增加，其可靠性越來(lái)越難以保證。當(dāng)軟件失效發(fā)生后，如何自動(dòng)調(diào)試和定位引發(fā)失效的軟件故障是一個(gè)非常有價(jià)值的研究課題。
　　 基于程序頻譜的故障定位技術(shù)分析程序成功運(yùn)行和失敗運(yùn)行的動(dòng)態(tài)執(zhí)行特征，將這些特征統(tǒng)稱為程序頻譜，計(jì)算出每個(gè)程序?qū)嶓w可能出錯(cuò)的概率。這種輕量級(jí)的故障定位技術(shù)僅僅需要程序動(dòng)態(tài)運(yùn)行信息，由于其計(jì)算復(fù)雜度低，無(wú)

2、需建模代價(jià)而得到廣泛研究和應(yīng)用。
　　 本文在分析各種常見(jiàn)程序頻譜的基礎(chǔ)上，提出了一種新的程序頻譜--動(dòng)態(tài)方法調(diào)用圖，它能夠表達(dá)程序的語(yǔ)義信息--程序執(zhí)行時(shí)方法之間的調(diào)用關(guān)系。由于傳統(tǒng)收集程序頻譜的插樁方式引入過(guò)多額外的執(zhí)行開(kāi)銷，本文介紹一種新的收集程序頻譜的方式，那就是采用面向方面編程技術(shù)收集程序頻譜。通過(guò)在被測(cè)程序中增加一個(gè)新的模塊--方面監(jiān)視程序執(zhí)行。由于方面可以跟蹤程序執(zhí)行時(shí)方法調(diào)用棧的轉(zhuǎn)換，收集的程序頻譜可以記錄程序執(zhí)

3、行時(shí)方法之間的調(diào)用關(guān)系。
　　 在所收集的程序頻譜的基礎(chǔ)上，提出一種基于程序語(yǔ)義的故障定位技術(shù)。定義了一種新的程序模型--程序動(dòng)態(tài)行為圖。在行為圖中，邊權(quán)值表示方法調(diào)用邊的調(diào)用頻率，成功行為圖和失敗行為圖的差異指出了程序中可疑的故障點(diǎn)。由于成功測(cè)試用例的和失敗測(cè)試用例數(shù)量差異很大，比較邊調(diào)用頻率這個(gè)絕對(duì)數(shù)值是不合理的。本文認(rèn)為如果一條邊在成功行為圖和失敗行為圖中的調(diào)用概率差越大，它出錯(cuò)的概率就越大。通過(guò)計(jì)算每條邊在成功行為圖和失