結(jié)合測(cè)試用例約簡(jiǎn)和概率圖建模的軟件錯(cuò)誤定位方法研究.pdf

1、軟件調(diào)試橫跨整個(gè)軟件開(kāi)發(fā)周期，在軟件開(kāi)發(fā)和維護(hù)的成本中所占比重超過(guò)一半，而軟件錯(cuò)誤定位是軟件調(diào)試中最困難、最耗時(shí)的任務(wù)之一。錯(cuò)誤定位技術(shù)以定位軟件中的錯(cuò)誤代碼為目的，它通過(guò)在待測(cè)程序上運(yùn)行合適的測(cè)試用例，分析并定位錯(cuò)誤語(yǔ)句。顯而易見(jiàn)，測(cè)試用例的質(zhì)量和錯(cuò)誤分析的方法直接決定著錯(cuò)誤定位的精度。因此，為錯(cuò)誤定位選擇合適的測(cè)試用例，研究具有高定位精度的錯(cuò)誤定位方法，輔助開(kāi)發(fā)人員理解軟件錯(cuò)誤并對(duì)錯(cuò)誤傳播進(jìn)行分析，對(duì)于實(shí)現(xiàn)軟件的自動(dòng)化調(diào)試與維護(hù)、提

2、高軟件調(diào)試的有效性和效率、增強(qiáng)軟件的可靠性、提高軟件質(zhì)量、降低軟件維護(hù)的成本，具有重要的科學(xué)理論意義和實(shí)際應(yīng)用價(jià)值。
　　本文重點(diǎn)對(duì)軟件錯(cuò)誤自動(dòng)定位中的測(cè)試用例約簡(jiǎn)、錯(cuò)誤定位、錯(cuò)誤理解和錯(cuò)誤傳播分析三方面的關(guān)鍵技術(shù)進(jìn)行了深入研究。
　　為了解決為錯(cuò)誤定位提供有效測(cè)試用例的問(wèn)題，研究并提出了面向錯(cuò)誤定位需求的測(cè)試用例約簡(jiǎn)方法。首先基于語(yǔ)句覆蓋和錯(cuò)誤定位需求向量，進(jìn)行測(cè)試用例約簡(jiǎn)，即在分析語(yǔ)句覆蓋信息的基礎(chǔ)上，充分考慮失敗測(cè)試用

3、例對(duì)錯(cuò)誤定位的影響，刪除與錯(cuò)誤定位需求無(wú)關(guān)或關(guān)系較小的測(cè)試用例。然后，基于執(zhí)行路徑信息，進(jìn)行測(cè)試用例約簡(jiǎn)，即分析程序的具體執(zhí)行路徑，并通過(guò)循環(huán)標(biāo)準(zhǔn)化，均衡語(yǔ)句的執(zhí)行次數(shù)。實(shí)驗(yàn)結(jié)果表明，該方法不僅可以減少測(cè)試用例的數(shù)量，而且可以有效提高錯(cuò)誤定位的精度。
　　針對(duì)如何定位與控制依賴相關(guān)的軟件錯(cuò)誤的問(wèn)題，研究并提出了基于狀態(tài)依賴概率建模的軟件錯(cuò)誤定位方法。首先，分析各語(yǔ)句執(zhí)行時(shí)的具體執(zhí)行狀態(tài)，并提出狀態(tài)依賴的概念更好地表示各狀態(tài)下的語(yǔ)句

4、間的執(zhí)行依賴關(guān)系。在此基礎(chǔ)上，通過(guò)建立狀態(tài)依賴概率模型，來(lái)分析程序語(yǔ)句間的狀態(tài)依賴信息。最后，通過(guò)分析狀態(tài)依賴關(guān)系在失敗測(cè)試用例和成功測(cè)試用例中的差異，來(lái)定位與控制依賴相關(guān)的軟件錯(cuò)誤。實(shí)驗(yàn)結(jié)果表明，該方法在使用較少量的測(cè)試用例時(shí)，對(duì)定位與控制依賴相關(guān)的軟件錯(cuò)誤，仍能達(dá)到滿意的定位效果。
　　針對(duì)如何定位與數(shù)據(jù)依賴相關(guān)的軟件錯(cuò)誤的問(wèn)題，研究并提出了基于聯(lián)合依賴概率建模的軟件錯(cuò)誤定位方法。首先，分析程序的結(jié)構(gòu)特征，提出了一種新的概率圖

5、模型一一聯(lián)合依賴網(wǎng)絡(luò)，以便更好地分析程序語(yǔ)句間的統(tǒng)計(jì)依賴概率信息。然后，在分析程序執(zhí)行過(guò)程中各語(yǔ)句行為狀態(tài)的基礎(chǔ)上，利用聯(lián)合依賴網(wǎng)絡(luò)建立聯(lián)合依賴概率模型，分析和統(tǒng)計(jì)程序執(zhí)行過(guò)程中語(yǔ)句間的聯(lián)合依賴關(guān)系。最后，通過(guò)分析聯(lián)合依賴關(guān)系在運(yùn)行失敗測(cè)試用例和成功測(cè)試用例時(shí)的差異，來(lái)定位與數(shù)據(jù)依賴相關(guān)的軟件錯(cuò)誤。實(shí)驗(yàn)結(jié)果表明，該方法在使用較少量的測(cè)試用例時(shí)，仍能達(dá)到很高的錯(cuò)誤定位精度。
　　針對(duì)如何為開(kāi)發(fā)人員提供有用信息、輔助開(kāi)發(fā)人員理解軟件錯(cuò)

6、誤、并分析通過(guò)數(shù)據(jù)依賴關(guān)系進(jìn)行傳播的軟件錯(cuò)誤的問(wèn)題，研究并提出了基于上下文分析的錯(cuò)誤理解及錯(cuò)誤傳播分析方法。首先，在錯(cuò)誤定位的基礎(chǔ)上，自動(dòng)分析可疑點(diǎn)的執(zhí)行上下文，查找與實(shí)際錯(cuò)誤執(zhí)行相近的聯(lián)合依賴信息，提供可疑點(diǎn)出錯(cuò)時(shí)的具體執(zhí)行狀態(tài)以及導(dǎo)致程序出錯(cuò)的具體數(shù)據(jù)流信息，揭示軟件失效的產(chǎn)生原因，輔助軟件錯(cuò)誤理解。然后，在分析程序執(zhí)行時(shí)的語(yǔ)句聯(lián)合依賴關(guān)系基礎(chǔ)上，通過(guò)分析已定位錯(cuò)誤的上下文信息分析通過(guò)數(shù)據(jù)依賴關(guān)系進(jìn)行傳播的軟件錯(cuò)誤。實(shí)驗(yàn)結(jié)果表明，本