基于PAT樹的符號執(zhí)行工具的設計與實現(xiàn).pdf

1、隨著軟件產業(yè)的不斷發(fā)展，程序的規(guī)模越來越大，完全依靠手工進行測試的難度越來越大，這就需要一些輔助測試的自動化測試工具。自動化測試工具能夠自動地分析項目的源程序，自動地生成測試用例，并且達到一定的程序測試覆蓋率，大大提高軟件的可靠性和正確性，并且節(jié)約大量的人力和時間。符號執(zhí)行使用抽象的符號表示程序中變量的值，來模擬程序的執(zhí)行。符號執(zhí)行的研究對于軟件測試中測試用例的產生方法和程序證明理論研究，以及軟件工程中逆向工程的研究都有重要的意義。因此

2、，無論在軟件工程的理論研究，還是在軟件測試自動化的工程實踐中，符號執(zhí)行都有進一步研究的價值。
　　 目前國內外對符號執(zhí)行進行了較深入的研究，并且已經開發(fā)出了一些工具。但是符號執(zhí)行的一些問題尚待解決，而且國內外缺乏針對Java的符號執(zhí)行工具。對數組的處理和模塊調用的處理，仍舊是Java語言符號執(zhí)行研究的難點。此外，Java語言是一種面向對象的語言，其面向對象的復雜特性也增加了其符號執(zhí)行研究的難度。
　　 基于程序靜態(tài)分析樹

3、PAT(Program Analysis Tree)樹的符號執(zhí)行方法是一種自動化的程序靜態(tài)分析方法。該方法通過分析Java源程序建立PAT樹。程序靜態(tài)分析樹能夠對Java程序進行形式化的描述?；诔绦蜢o態(tài)分析樹的遍歷方法是一種基于Java程序的邏輯結構的算法。此外，符號執(zhí)行系統(tǒng)的程序基本結構處理策略、符號計算方法和方法調用也是研究的重點，針對數組這個符號執(zhí)行的難點也進行了相關的研究。最后，通過一個針對Java程序的符號執(zhí)行工具JSE(J