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

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

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

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