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

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

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