支援非原始型態符號輸入之擬真測試系統

Non-primitive Type Symbolic Input for Concolic Testing

林彥廷(Yan-Ting Lin)

指導教授 ： 黃世昆

國立交通大學/資訊學院/資訊科學與工程研究所/碩士(2009年)

https://doi.org/10.6842/NCTU.2009.00404

摘要

在眾多的自動化軟體檢測方法中，擬真測試是一項新穎的技術。藉由結合較為傳統的實體測試與符號測試，擬真測試可以系統化地達到較高的程式碼檢測率。有一些之前的研究已試著依照這個想法實作出測試系統。雖然這個想法在較小型的測試程式上可以運作的非常完善，但當它擴展到實際上使用的程式仍舊遇到了一些無法避免的困難。像是程式與執行環境互動的處理就是其中一項難題。在論文中，我們試著處理程式中與檔案存取相關的部分。這部分的支援對增進擬真測試系統的能力和測試的精確度都將會有所助益。

關鍵字

軟體測試 ； 軟體驗證

並列摘要

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.

並列關鍵字

software testing ； software verification

參考文獻

[1] G. J. Myers, The Art of Software Testing. Wiley, 2004,

[2] D. L. Bird and C. U. Munoz, "Automatic generation of random self-checking test cases," IBM Syst J, vol. 22, pp. 229-245, 1983.

[3] J. C. King, "Symbolic execution and program testing," Communications of the ACM, 1976.

[5] C. Cadar and D. Engler, "Execution generated test cases: How to make systems code crash itself," in In Proceedings of the 12th International SPIN Workshop on Model Checking Software, 2005,

[7] D. Beyer, A. J. Chlipala and R. Majumdar, "Generating tests from counterexamples," in Proceedings of the 26th International Conference on Software Engineering, 2004, pp. 326-335.