已閱讀1頁，還剩65頁未讀， 繼續(xù)免費閱讀
版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領
文檔簡介
1、軟件測試是軟件可靠性保障方法中必不可失的一個重要環(huán)節(jié)。在軟件測試過程中，開發(fā)人員期望通過不斷提高對待測程序模塊的測試覆蓋率發(fā)現(xiàn)更多潛在的軟件錯誤。在實踐中，為待測程序模塊提供合適的測試輸入數(shù)據(jù)可以顯著提高測試覆蓋率，因而如何自動生成這些測試輸入數(shù)據(jù)成為了軟件測試領域的研究熱點。為此，一些研究者提出了動態(tài)符號執(zhí)行，一種可應用于測試輸入數(shù)據(jù)自動生成的程序分析技術。其通過真實地執(zhí)行待測程序模塊，收集符號化的路徑約束和程序中的具體變量狀態(tài)以生成
2、對應到具體程序執(zhí)行路徑的輸入數(shù)據(jù)。隨著真實待測程序復雜性的上升，這種動態(tài)技術的應用會遇到一定的效率性能問題。特別是待測單元中因循環(huán)而出現(xiàn)的無限路徑情況，對測試數(shù)據(jù)的生成效率是一個重大的影響。近些年來，在提高軟件效率的努力上，人們從先前提高單位運算效能的方式(表現(xiàn)為提高微處理器主頻等)轉(zhuǎn)變?yōu)榱嗽黾舆\算單位和算法并行度的方式(表現(xiàn)為使用多核或多處理器系統(tǒng)以及并行算法)。
本文描述并討論了并行的動態(tài)測試數(shù)據(jù)生成技術以及相關的分析
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權(quán)或不適當內(nèi)容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于動態(tài)符號執(zhí)行的測試用例生成技術研究.pdf
- 基于動態(tài)符號執(zhí)行的模糊測試方法研究.pdf
- 基于符號執(zhí)行的自動測試案例生成工具的研究與設計.pdf
- 基于符號摘要的動態(tài)符號執(zhí)行的研究.pdf
- 基于Actor模型的并行動態(tài)符號執(zhí)行技術研究.pdf
- 動態(tài)符號執(zhí)行的性能優(yōu)化.pdf
- 動態(tài)數(shù)據(jù)結(jié)構(gòu)的測試數(shù)據(jù)自動生成方法研究.pdf
- 基于混合動態(tài)粒子群算法的軟件測試數(shù)據(jù)自動生成研究.pdf
- 基于動態(tài)符號執(zhí)行技術的軟件性能缺陷發(fā)現(xiàn).pdf
- 基于插樁和動態(tài)符號執(zhí)行的數(shù)據(jù)競爭檢測與重放.pdf
- 基于遺傳蟻群算法的測試數(shù)據(jù)自動生成.pdf
- 基于微粒群算法的測試數(shù)據(jù)自動生成技術.pdf
- 動態(tài)符號執(zhí)行中的外部函數(shù)處理.pdf
- 基于演化的測試數(shù)據(jù)生成.pdf
- 測試數(shù)據(jù)自動生成技術研究.pdf
- 動態(tài)符號執(zhí)行在軟件漏洞自動化發(fā)掘領域的應用研究.pdf
- 基于微粒群算法的軟件測試數(shù)據(jù)的自動生成.pdf
- 動態(tài)符號執(zhí)行路徑分歧自動化檢測與診斷技術研究.pdf
- 基于數(shù)據(jù)流的測試數(shù)據(jù)自動生成技術研究.pdf
- 基于遺傳算法的軟件測試數(shù)據(jù)自動生成研究.pdf
評論
0/150
提交評論