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

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

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

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