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

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

2、，無(wú)論在軟件工程的理論研究，還是在軟件測(cè)試自動(dòng)化的工程實(shí)踐中，符號(hào)執(zhí)行都有進(jìn)一步研究的價(jià)值。
　　 目前國(guó)內(nèi)外對(duì)符號(hào)執(zhí)行進(jìn)行了較深入的研究，并且已經(jīng)開發(fā)出了一些工具。但是符號(hào)執(zhí)行的一些問題尚待解決，而且國(guó)內(nèi)外缺乏針對(duì)Java的符號(hào)執(zhí)行工具。對(duì)數(shù)組的處理和模塊調(diào)用的處理，仍舊是Java語(yǔ)言符號(hào)執(zhí)行研究的難點(diǎn)。此外，Java語(yǔ)言是一種面向?qū)ο蟮恼Z(yǔ)言，其面向?qū)ο蟮膹?fù)雜特性也增加了其符號(hào)執(zhí)行研究的難度。
　　 基于程序靜態(tài)分析樹

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