完整後設資料紀錄
DC 欄位語言
dc.contributor.author林彥廷en_US
dc.contributor.authorLin, Yan-Tingen_US
dc.contributor.author黃世昆en_US
dc.contributor.authorHuang, Shih-Kunen_US
dc.date.accessioned2014-12-12T01:19:13Z-
dc.date.available2014-12-12T01:19:13Z-
dc.date.issued2008en_US
dc.identifier.urihttp://140.113.39.130/cdrfb3/record/nctu/#GT009555572en_US
dc.identifier.urihttp://hdl.handle.net/11536/39525-
dc.description.abstract在眾多的自動化軟體檢測方法中,擬真測試是一項新穎的技術。藉由結合較為傳統的實體測試與符號測試,擬真測試可以系統化地達到較高的程式碼檢測率。有一些之前的研究已試著依照這個想法實作出測試系統。雖然這個想法在較小型的測試程式上可以運作的非常完善,但當它擴展到實際上使用的程式仍舊遇到了一些無法避免的困難。像是程式與執行環境互動的處理就是其中一項難題。在論文中,我們試著處理程式中與檔案存取相關的部分。這部分的支援對增進擬真測試系統的能力和測試的精確度都將會有所助益。zh_TW
dc.description.abstractConcolic 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.en_US
dc.language.isoen_USen_US
dc.subject軟體測試zh_TW
dc.subject軟體驗證zh_TW
dc.subjectsoftware testingen_US
dc.subjectsoftware verificationen_US
dc.title支援非原始型態符號輸入之擬真測試系統zh_TW
dc.titleNon-primitive Type Symbolic Input for Concolic Testingen_US
dc.typeThesisen_US
dc.contributor.department資訊科學與工程研究所zh_TW
顯示於類別:畢業論文


文件中的檔案:

  1. 557201.pdf

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