基于錯誤傳播上下文分析的軟件錯誤定位方法研究.pdf

1、隨著軟件規(guī)模變得越來越龐大,保證軟件的質(zhì)量變得越來越難,軟件失效發(fā)生的概率也隨之增高。軟件失效指的是軟件的期望結(jié)果和實際結(jié)果不一致。在軟件失效發(fā)生以后,如何去定位那些導(dǎo)致代碼漏洞的語句便是錯誤定位問題。目前已經(jīng)有許多優(yōu)秀的軟件錯誤定位方法。然而它們都忽略了一點,巧合正確性。巧合正確性指的是測試用例執(zhí)行了錯誤語句,執(zhí)行結(jié)果未表現(xiàn)出任何失敗信息。它往往是由錯誤傳播引起的?；谝陨峡紤],本文把錯誤定位分成兩部分,包括錯誤關(guān)聯(lián)語句的定位和錯誤理

2、解。
　　本文的研究內(nèi)容包括:首先,為了獲得程序執(zhí)行路徑信息,作為后續(xù)模塊的輸入,需要進行程序插裝,而現(xiàn)有的插裝技術(shù)實現(xiàn)過于復(fù)雜。本文通過詞法和語法分析源程序,實現(xiàn)了一種較為簡便的程序插裝技術(shù)。其次,為了進行錯誤關(guān)聯(lián)語句定位,必須構(gòu)建聯(lián)合依賴網(wǎng)絡(luò),那么就需要進行程序依賴分析,然后建立程序依賴圖并進行轉(zhuǎn)化。本文實現(xiàn)了比較經(jīng)典的程序依賴分析,在此基礎(chǔ)上建立了程序依賴圖并對其進行特定節(jié)點轉(zhuǎn)化和節(jié)點狀態(tài)規(guī)格化。然后,目前的錯誤定位方法大部

3、分情況下不僅不能準確地定位錯誤語句,連與其關(guān)聯(lián)的語句都無法準確定位,因此提出了條件概率、路徑概率和聯(lián)合依賴概率的概念,以此來提高錯誤關(guān)聯(lián)語句定位的精確度。最后,巧合正確性對錯誤定位結(jié)果有很大影響,目前的錯誤定位方法沒有理解其產(chǎn)生的本質(zhì),因此提出了基于錯誤傳播上下文分析的錯誤理解方法,消除巧合正確性的影響。
　　該方法的輸出結(jié)果為程序語句的可疑值序列,可疑值越大,語句錯誤的概率越高。
　　本文使用軟件錯誤定位領(lǐng)域常用的Siem