JavaScript靜態(tài)切片工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、程序切片是一種傳統(tǒng)的程序分析方法：通過(guò)去除程序中的無(wú)關(guān)代碼，獲取可能影響到程序中某行代碼的代碼子集。程序切片在程序理解、軟件測(cè)試以及程序調(diào)試等諸多軟件工程領(lǐng)域有著廣泛應(yīng)用。隨著互聯(lián)網(wǎng)技術(shù)的發(fā)展，JavaScript語(yǔ)言得到廣泛應(yīng)用，但針對(duì)該語(yǔ)言的程序切片方法和工具卻非常有限。
　　JavaScript語(yǔ)言是動(dòng)態(tài)類型解釋執(zhí)行的語(yǔ)言，函數(shù)的傳遞使函數(shù)的調(diào)用關(guān)系難以分析其語(yǔ)言的閉包特性讓函數(shù)使用外部變量的場(chǎng)景更為常見。同時(shí)，因?yàn)镴ava

2、Script語(yǔ)言一般應(yīng)用于瀏覽器中，一些瀏覽器相關(guān)的特性也增加了分析的難度。傳統(tǒng)的基于程序依賴圖的切片算法，通過(guò)分析語(yǔ)句間的數(shù)據(jù)依賴和控制依賴關(guān)系構(gòu)造系統(tǒng)依賴圖，并利用系統(tǒng)依賴圖計(jì)算程序切片。由于JavaScript的語(yǔ)言特性，傳統(tǒng)的程序切片算法不能直接應(yīng)用于JavaScript語(yǔ)言。
　　本課題將程序切片技術(shù)引入JavaScript語(yǔ)言。結(jié)合JavaScript語(yǔ)言的特點(diǎn)，分析 JavaScript語(yǔ)言中的控制和數(shù)據(jù)依賴關(guān)系，給