臺灣博碩士論文加值系統

軟體測試自動化可以同時降低軟體的開發成本及提高軟體的品質，本研究團隊已開發一個針對Java整數型態及整數陣列型態的黑箱測試案例產生器。此測試案例產生器將測試案例產生問題定義為一個限制滿足問題。此測試案例產生器使用統一塑模語言及物件限制語言做為規格語言。它將規格轉換成限制邏輯圖做為測試模型，系統地條列圖上的路徑來滿足測試覆蓋標準，將路徑上的限制式轉換成限制邏輯程式，並求解得到測試資料，最後再根據測試資料產生測試腳本。
　　為了擴充之前的系統，本論文定義了一個支援Java語言的系統定義型態及使用者定義型態的型態系統。本論文根據此型態系統，擴充及開發可以描述及分析此型態系統的OCL語言及OCL處理器。本論文也根據此型態系統，擴充黑箱測試案例產生器，支援使用者定義型態的測試案例產生。

The automation of software testing can both decrease the software cost and increase the software quality. Our research team has developed a black-box test case generator for Java integer type and integer array type. This test case generator defines the test case generation problem as a constraint satisfaction problem. This test case generator uses the unified modeling language and object constraint language as the specification language. It transforms specification into constraint logic graphs as test models, enumerates systematically paths in the graphs to satisfy test coverage criteria, converts the constraints on the paths into constraint logic programs and solves them to generate test data, and finally generates test scripts from test data.
To extend our previous work, this thesis develops a type system to support both Java builtin types and user-defined types. This thesis extends the OCL language and the OCL processor to support such a type system. This thesis also extends the black-box test case generator to support the test case generation for user-defined types.

第一章 概論
1.1研究動機
1.2研究方法
1.3論文貢獻
1.4論文架構
第二章 相關技術及研究
2.1統一塑模語言
2.2物件限制語言
2.3限制邏輯圖
2.4限制邏輯程式
2.5限制式測試案例產生
第三章 型態擴充
3.1型態類別
3.2 型態物件表
3.3 Java-based規格
3.3.1類別圖
3.3.2物件限制語言1
第四章 測試模型建構器擴充
4.1類別圖分析器
4.2 物件限制語言分析器
4.3 測試模型產生
第五章 限制邏輯程式轉換器擴充
5.1使用者定義型態限制邏輯程式產生
5.2 限制邏輯程式產生
第六章 測試腳本產生器
第七章 結論與未來展望
參考文獻
附錄

[1]The Standish Group, 2015 CHAOS Report, 2015.132
[2]R. A. DeMillo and A. J. Offutt, “Constraint-Based Automatic Test Data Gneration,” IEEE Transcations on Software Engineering, vol. 17, no. 9, 900-910, 1991.
[3]B. Bezier, Software Testing Techniques, 2nd ed., Van Nostrand, 1990.
[4]T. Parr, ANTLR, http://www.antlr.org/. [Accessed January, 2019]
[5]Object Management Group, OMG Unified Modeling Language, 2012. Available: http://www.omg.org/spec/UML/2.5/Beta2/. [Accessed January, 2019]
[6]Object Management Group, Object Constraint Language Specification, 2nd ed., 2006.
[7]A. Gotlieb, B. Botella and M. Rueher, “Automatic Test Daata Generation Using Constraint Solving Techniques,” Proceedings of the 1998 ACM Smposium on Software Testing and Analysis, 1998.
[8]A. Goltlieb, B. Botella, and M. Rueher, “A CLP Framework for Computing Structural Test Data.” Proceedings of the First International Conference on Computational Logic, 2000
[9]C.-Y. Huang, C.-K. Chang, and N.-W. Lin, “Test Case Generation Based on Constraint Logic Graph,” Taiwan Coference on Software Engineering, 2015.
[10]K. R. Apt and M. G. Wallace, Constaint Logic Programming Using ECLiPSe, Cambridge University Press, 2007.
[11]K. R. Apt and M. G.Wallace, The ECLiPSe Constraint Programming, Available:http://eclipse.org/. [Accessed January, 2019]
[12]J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, 2nd ed., Addison-Wesley Longman Publishing, 2003.
[13]F. Pfenning, Logic Programming, Carnegie Mellon University,2007.
[14]V. Kumar, “Algorithms for Constraint Satisfaction Problems: A Survey,” AI Magazine, vol. 13, no. 1, 32.44, 1992.
[15]G. J. Myers, The Art of Software Testing, 2nd ed., Wiley, 2004.
[16]C.-K. Chang and N.-W. Lin “A Constraint-Based Framework for Test Case Generation in Method-Level Black-Box Unit Testing.” Journal of Information Science and Engineering, vol. 32, no. 2, 365.387, 2016
[17]P.-C. Li and N.-W. Lin, “A Constraint-Based Test Case Generator for Class-Level Unit Testing,” Proceeding of Taiwan Conference on Software Engineering, 2017.
[18]A. Lanusse, Y. Tanguy, H. Espinoza, C. Mraidha, S. Gerard, P. Tessier, R. Schnekenburger, H. Dubois, and F. Terrier. “Papyrus UML: an open source toolset for MDA,” Proceeding of the Fifth European Conference on Model-Driven Architecture Foundations and Applications, 2009.
[19]C.-H. Chang and N.-W. Lin, “Constraint-Based Test Case Generation for White-Box Method-Level Unit Testing,” Proceeding of Taiwan Conference on Software Engineering, 2017.
[20]S.-Y. Wu and N.-W. Lin, “Test Coverage Criteria Management and Boundary Test Case Generation Based on Constraint Logic Graphs,” Proceeding of Taiwan Conference on Software Engineering, 2017.
[21]M. Prasanna, S.N. Sivanandam, R. Venkatesan, and R. Sundarrajan, “A survey on automatic test case generation.” Academic Open Internet Journal, 15(6). 2005
[22]Edvardsson, Jon. "A survey on automatic test data generation." Proceedings of the 2nd Conference on Computer Science and Engineering. 1999.
[23]P. Godefroid, et al. "Automating software testing using program analysis." IEEE software 25.5 (2008): 30-37.
[24]S. Ali, et al. "A search-based OCL constraint solver for model-based test data generation." 2011 11th International Conference on Quality Software. IEEE, 2011.
[25]K. Vorobyov and P. Krishnan, “Combining static analysis and constraint solving for automatic test case generation,” 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, IEEE, 2012.
[26]C.-L. Wang and N.-W. Lin, "SupportingJava Array Data Type in Constraint-Based Test Case Generation for Black-Box Method-Level Unit Testing." International Computer Symposium. Springer, Singapore, 2018.