- 學位論文
支援字串及群集資料型態的限制式測試案例產生
Supporting String and Collection Data Types in Constraint-Based Test Case Generation
摘要
軟體測試是確保軟體品質的主要方法。測試案例的自動產生目前仍是一個非常具挑戰性的問題。限制式測試案例產生是一個非常具潛力的技術。限制式測試案例產生技術將測試案例產生問題定義為限制滿足問題，透過解限制滿足問題產生測試案例。我們曾經利用限制邏輯程式系統ECLiPSe開發一個黑箱函式層級單元測試的限制式測試案例產生器。這個測試案例產生器可以完全支援整數資料型態的測試案例產生，但沒有完全支援其他資料型態的測試案例產生。雖然ECLiPSe有支援非整數型態的限制敘述，但ECLiPSe並沒有支援自動設定非整數型態值域的機制，與自動將值域裡的值賦予非整數型態變數的機制。本論文實作了自動設定字串型態與群集型態值域的機制，及自動將值域裡的值賦予字串型態與群集型態變數的機制。這些機制的提供同時也改善了字串型態及群集型態的限制敘述的求解效率。
並列摘要
Software testing is one of the main approaches to ensuring the quality of the software. Automatic test case generation is still a challenging problem. The constraint-based test case generation is a technique with great potential. The test case generation problem is defined as a constraint satisfaction problem in the constraint-based test case generation, and test cases are generated by solving the constraint satisfaction problem. We have developed a constraint-based test case generator for black-box method-level unit testing using the constraint logic programming system ECLiPSe. This test case generator fully supports the generation of test cases of integer data type, but does not fully support the generation of test cases of other data types. Although predicates of non-integer data types are provided in ECLiPSe, it does not provide automatic declaration of domains of non-integer data types and automatic instantiation of the values in the domain to variables of non-integer data types. This thesis describes the design and implementation of mechanisms for automatic declaration of domains of string and collection data types and automatic instantiation of the values in the domain to variables of string and collection data types. These mechanisms can also significantly improve the efficiency of solving predicates of string and collection data types.