版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
1、隨著軟件產(chǎn)業(yè)的不斷發(fā)展,程序的規(guī)模越來越大,完全依靠手工進(jìn)行測試的難度越來越大,這就需要一些輔助測試的自動(dòng)化測試工具。自動(dòng)化測試工具能夠自動(dòng)地分析項(xiàng)目的源程序,自動(dòng)地生成測試用例,并且達(dá)到一定的程序測試覆蓋率,大大提高軟件的可靠性和正確性,并且節(jié)約大量的人力和時(shí)間。符號執(zhí)行使用抽象的符號表示程序中變量的值,來模擬程序的執(zhí)行。符號執(zhí)行的研究對于軟件測試中測試用例的產(chǎn)生方法和程序證明理論研究,以及軟件工程中逆向工程的研究都有重要的意義。因此
2、,無論在軟件工程的理論研究,還是在軟件測試自動(dòng)化的工程實(shí)踐中,符號執(zhí)行都有進(jìn)一步研究的價(jià)值。
目前國內(nèi)外對符號執(zhí)行進(jìn)行了較深入的研究,并且已經(jīng)開發(fā)出了一些工具。但是符號執(zhí)行的一些問題尚待解決,而且國內(nèi)外缺乏針對Java的符號執(zhí)行工具。對數(shù)組的處理和模塊調(diào)用的處理,仍舊是Java語言符號執(zhí)行研究的難點(diǎn)。此外,Java語言是一種面向?qū)ο蟮恼Z言,其面向?qū)ο蟮膹?fù)雜特性也增加了其符號執(zhí)行研究的難度。
基于程序靜態(tài)分析樹
3、PAT(Program Analysis Tree)樹的符號執(zhí)行方法是一種自動(dòng)化的程序靜態(tài)分析方法。該方法通過分析Java源程序建立PAT樹。程序靜態(tài)分析樹能夠?qū)ava程序進(jìn)行形式化的描述。基于程序靜態(tài)分析樹的遍歷方法是一種基于Java程序的邏輯結(jié)構(gòu)的算法。此外,符號執(zhí)行系統(tǒng)的程序基本結(jié)構(gòu)處理策略、符號計(jì)算方法和方法調(diào)用也是研究的重點(diǎn),針對數(shù)組這個(gè)符號執(zhí)行的難點(diǎn)也進(jìn)行了相關(guān)的研究。最后,通過一個(gè)針對Java程序的符號執(zhí)行工具JSE(J
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 符號執(zhí)行工具KLEE約束求解優(yōu)化設(shè)計(jì)與實(shí)現(xiàn).pdf
- 基于符號執(zhí)行的自動(dòng)測試案例生成工具的研究與設(shè)計(jì).pdf
- 基于符號執(zhí)行的代碼靜態(tài)檢測方法研究與實(shí)現(xiàn).pdf
- 基于符號摘要的動(dòng)態(tài)符號執(zhí)行的研究.pdf
- 動(dòng)態(tài)符號執(zhí)行約束求解優(yōu)化設(shè)計(jì)與實(shí)現(xiàn).pdf
- 基于符號執(zhí)行的代碼安全檢查技術(shù)研究與實(shí)現(xiàn).pdf
- 基于符號執(zhí)行的Web安全檢測系統(tǒng)的研究與實(shí)現(xiàn).pdf
- 基于符號執(zhí)行的漏洞挖掘系統(tǒng)的研究與設(shè)計(jì).pdf
- 一個(gè)符號執(zhí)行工具的C++語言擴(kuò)展.pdf
- 基于符號執(zhí)行的軟件測試技術(shù)研究與設(shè)計(jì).pdf
- 動(dòng)態(tài)符號執(zhí)行的性能優(yōu)化.pdf
- 基于cache的邊信道攻擊可行性分析符號執(zhí)行系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf
- 基于選擇性符號執(zhí)行的補(bǔ)丁驗(yàn)證.pdf
- 基于符號執(zhí)行的Python攻擊腳本分析.pdf
- 基于動(dòng)態(tài)符號執(zhí)行的模糊測試方法研究.pdf
- 基于動(dòng)態(tài)符號執(zhí)行技術(shù)的軟件性能缺陷發(fā)現(xiàn).pdf
- 符號執(zhí)行結(jié)合隨機(jī)方法
- 基于動(dòng)態(tài)符號執(zhí)行的MSVL程序模型檢測理論與方法.pdf
- 動(dòng)態(tài)符號執(zhí)行中的外部函數(shù)處理.pdf
- 基于符號執(zhí)行的MPI程序分析與驗(yàn)證技術(shù)研究.pdf
評論
0/150
提交評論