基于符號(hào)執(zhí)行的軟件測(cè)試技術(shù)研究與設(shè)計(jì).pdf

1、計(jì)算機(jī)技術(shù)的迅猛發(fā)展導(dǎo)致軟件代碼空前膨脹，面對(duì)大量代碼和日益提高的軟件可靠性要求，如何通過(guò)全方位高精度、高效率的測(cè)試手段保證軟件產(chǎn)品的質(zhì)量便成為軟件測(cè)試技術(shù)的核心問(wèn)題。當(dāng)下的測(cè)試技術(shù)中，無(wú)論是測(cè)試案例生成還是程序缺陷檢測(cè)以及源碼模型檢測(cè)等方面都存在諸多不足：隨機(jī)生成和人工編寫測(cè)試案例這兩種方法，存在測(cè)試案例有效性低、時(shí)間和人工成本高、測(cè)試質(zhì)量和效率難以兼顧等問(wèn)題；一般的編程IDE和靜態(tài)分析工具只能檢測(cè)程序中的語(yǔ)法錯(cuò)誤和一些簡(jiǎn)單的邏輯錯(cuò)誤

2、，動(dòng)態(tài)測(cè)試工具如valgrind檢測(cè)的錯(cuò)誤種類有限，檢測(cè)全面性也依賴于測(cè)試案例的覆蓋度；在模型檢測(cè)領(lǐng)域，一般的軟件模型檢測(cè)都建立在人工提取程序模型的層面，提取布爾邏輯也無(wú)法真正從源碼層面進(jìn)行分析。
　　基于以上亟待研究和解決的幾大問(wèn)題的思考，論文中基于符號(hào)執(zhí)行技術(shù)對(duì)它們做了相對(duì)深入的探索。測(cè)試案例生成方面，基于LLVM中間碼插樁，利用符號(hào)執(zhí)行技術(shù)的高分支覆蓋度生成高覆蓋度的測(cè)試案例。缺陷檢測(cè)方面，針對(duì)緩沖區(qū)溢出、內(nèi)存泄露等缺陷對(duì)中

3、間碼插樁，然后通過(guò)高分支覆蓋度的測(cè)試案例進(jìn)行全面深入的動(dòng)態(tài)檢測(cè)。模型檢測(cè)方面，建立了一種屬性描述格式，然后將轉(zhuǎn)換后的屬性規(guī)則添加到符號(hào)約束條件中，最后通過(guò)符號(hào)執(zhí)行進(jìn)行屬性判定。最后，為了將各個(gè)方向的測(cè)試功能進(jìn)行整合同時(shí)結(jié)合程序開發(fā)流程和持續(xù)集成，論文中構(gòu)建了一套全方位自動(dòng)化測(cè)試系統(tǒng)，將自動(dòng)化測(cè)試融入到代碼版本管理和持續(xù)集成中，為符號(hào)執(zhí)行技術(shù)在軟件測(cè)試中的應(yīng)用做了進(jìn)一步的研究。
　　從實(shí)驗(yàn)結(jié)果來(lái)看，系統(tǒng)能夠?qū)/C++程序中包括浮點(diǎn)