標題: 支援非原始型態符號輸入之擬真測試系統
Non-primitive Type Symbolic Input for Concolic Testing
作者: 林彥廷
Lin, Yan-Ting
黃世昆
Huang, Shih-Kun
資訊科學與工程研究所
關鍵字: 軟體測試;軟體驗證;software testing;software verification
公開日期: 2008
摘要: 在眾多的自動化軟體檢測方法中,擬真測試是一項新穎的技術。藉由結合較為傳統的實體測試與符號測試,擬真測試可以系統化地達到較高的程式碼檢測率。有一些之前的研究已試著依照這個想法實作出測試系統。雖然這個想法在較小型的測試程式上可以運作的非常完善,但當它擴展到實際上使用的程式仍舊遇到了一些無法避免的困難。像是程式與執行環境互動的處理就是其中一項難題。在論文中,我們試著處理程式中與檔案存取相關的部分。這部分的支援對增進擬真測試系統的能力和測試的精確度都將會有所助益。
Concolic testing is a novel technique in automatic software testing. It systematically achieves higher coverage by combining concrete and symbolic execution. Some previous works have implemented testing tools based on the excellent idea. But it still meets some difficult on real code testing. The interaction with the running environment is one of them. In this paper, we try to deal with the file operations in the source code. With the support of file handling, we can enhance the ability of testing tools and improve the testing precision.
URI: http://140.113.39.130/cdrfb3/record/nctu/#GT009555572
http://hdl.handle.net/11536/39525
顯示於類別:畢業論文


文件中的檔案:

  1. 557201.pdf

若為 zip 檔案,請下載檔案解壓縮後,用瀏覽器開啟資料夾中的 index.html 瀏覽全文。