軟體測試是軟體開發過程中必要但卻耗費成本的一部分。在系統分析與設計時，透過使用統一塑模語言和模式驅動結構的方法，模式測試是可以降低軟體測試中測試成本的重要解決方案。先前的研究，提出一個利用人工方法從平台獨立模式(PIM)建構測試路徑和類別限制組的整合方法，並將此兩者整合建構成整合測試模式(ITM)，形成在模式測試中測試值和測試案例。本研究提出一個擷取整合測試模式資訊建構測試案例的方法論，此研究方法論採用設計科學研究方法論，並透過方法論發展一個自動化產生測試案例的雛形系統。透過雛形系統的執行，驗證其可用性。使用此方法論，測試案例可以被自動化產出，以降低成本且提高模式測試效率。

Software testing is a vital part of the software development process and is costly. Due to the increased use of the unified modeling language and model driven architecture approach in systems analysis and design, model-based testing has been discussed as a prominent solution for software testing to reduce the cost of software testing. Prior researches proposed an integrated method which utilizes the artifacts from the Platform Independent Model (PIM) to construct the test path and constrained class tuples. These two can then be integrated to construct an Integrated Testing Model (ITM) for determining the test data and test cases for Model-Based Testing. This study develops a methodology which extracting the information from ITM to construct the test cases. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed to automatically generate the test cases. A usability evaluation is performed on the prototype to demonstrate its usability. With this methodology, the test cases can be generated automatically; thereby reducing the cost and enhancing the efficiency of Model-Based Testing.

致 謝 詞 I
摘 要 II
Abstract III
目錄 IV
圖目錄 V
表目錄 VII
第一章 緒論 1
第一節 研究背景、動機 1
第二節 研究目的、範圍 2
第三節 論文架構 2
第二章 文獻探討 4
第一節 統一塑模語言 4
第二節 軟體測試 14
第三節 模式測試 22
第四節 模式測試自動化相關研究 32
第三章 研究方法 34
第四章 測試模式之測試案例自動產生方法 38
第一節 強化整合測試模式資訊 39
第二節 自動化產生測試案例 42
第五章 可用性測試 50
第一節 評估準則與測試步驟 50
第二節 個案一 51
第三節 個案二 59
第四節 個案三 66
第六章 結論 75
第一節 研究成果 75
第二節 研究貢獻 76
第三節 未來研究方向 77
參考文獻 78
附錄 81

參考文獻
吳仁和，物件導向系統分析與設計：結合MDA與UML，再版，台北：智勝，2007年。
陳易震，「模式測試：建構測試路徑方法論」，國立中山大學資訊管理研究所碩士論文，2008年。
陳聖現，「以物件限制語言結合電腦輔助軟體工程工具強化企業邏輯表達之研究」，國立中山大學資訊管理研究所碩士論文，2008年。
許令信，「模式測試整合方法論之研究」，國立中山大學資訊管理研究所碩士論文，2008年。
Andrews, A., France, R., Ghosh, S., and Craig, G., “Test Adequacy Criteria for UML Design Models,” Software Testing, Verification and Reliability, Vol. 13, 2003, pp. 95-127.
Bach, J., Test Automation Snake Oil, http://www.satisfice.com/ articles/ test_automation_snake_oil.pdf, December 2, 2008.
Beizer, B., Software Testing Techniques, 2nd Edition, New York: Van Nostrand Reinhold, 1990.
Binder, R., Testing Object-Oriented Systems Models, Patterns, and Tools, Massachusetts: Addison-Wesley, 1999.
Boehm, B., Software Engineering Economics, New Jersey: Prentice-Hall, 1982.
Broy, M., Jonsson, B., Katoen, J. P., and Leucker, M., Model-Based Testing of Reactive Systems, New York: Springer, 2005.
Fowler, M. and Scott, K., UML Distilled: A Brief Guide to the Standard Object Modeling Language, 2nd Edition, Massachusetts: Addison-Wesley, 2000.
Fraikin, F. and Leonhardt, T., "SeDiTeC-Testing Based on Sequence Diagrams," Proceedings of the 17th IEEE International Conference on Automated Software Engineering, 2002, pp. 261-266.
Gause, D. and Weinberg, G., Exploring Requirements: Quality Before Design, New York: Dorset House, 1989.
IEEE, Institute of Electrical and Electronics Engineers, Standard Glossary of Software Engineering Terminology, (Online Information; retrieved 06/13/2008.) http://ieeexplore.ieee.org/iel1/2238/4148/00159342.pdf, 1990.
Kit, E., Software Testing in The Real World: Improving The Process, New York: Addison-Wesley, 1995.
Krause, K., Smith, R., and Goodwin, M., “Optimal Software Test Planning Through Automated Network Analysis,” 1973 IEEE Symposium on Computer Software Reliability, New York, 30 April-2 May, 1973.
Myers, G. J., Badgett, T., Sandler, C., and Thomas, T. M., The Art of Software Testing, 2nd Edition, New York: John Wiley and Sons, 2004.
Nunamaker, J. F., Chen, M., and Purdin, T. D. M., “Systems Development in Information Systems Research,” Journal of Management Information Systems, Vol. 7, No. 3, 1991, pp.89-106.
Object Management Group, OMG Unified Modeling Language (OMG UML), infrastructure, V2.2, http://www.omg.org/docs/formal/09-02-02.pdf, February 28, 2009.
Pettichord, B., Seven Steps to Test Automation Success, http://www.io.com/~wazmo/ papers/seven_steps.html, December 16, 2008.
Pilskalns, O., Andrews, A., Ghosh, S., and France, R., “Rigorous Testing by Merging Structural and Behavioral UML Representations,” 6th International Conference on the Unified Modeling Language (UML/MODELS), San Francisco, CA, October 20-24, 2003.
Pilskalns, O., Andrews, A., Knight, A., Ghosh, S., and France, R., “Testing UML designs,” Information and Software Technology, Vol. 49, No. 8, 2007, pp. 892-912.
Pilskalns, O., Williams, D., Aracic, D., and Andrews, A., “Security Consistency in UML Designs,” 30th Annual International Computer Software and Applications Conference (COMPSAC), Chicago, IL, September 17-21, 2006.
Pressman, R., Software Engineering: A Practitioner’s Approach, 6th Edition, New York, NY: McGraw Hill, 2004.
Rountev, A., Kagan, S., and Sawin, J., “Coverage Criteria for Testing of Object Interactions in Sequence Diagram,” Fundamental Approaches to Software Engineering, Vol. 3442, 2005, pp. 289-304.
Samuel, P., Mall, R., and Kanth, P., “Automatic Test Case Generation from UML Communication Diagrams,” Information and Software Technology, Vol. 49, No. 2, 2007, pp. 158-171.
Utting, M. and Legeard, B., Practical Model-Based Testing : A Tools Approach, San Francisco, CA: Morgan Kaufmann, 2006.
Weissleder, S. and Schlingloff, B. H., “Deriving Input Partitions from UML Models for Automatic Test Generation,” Lecture Notes in Computer Science, Berlin, Germany: Springer-Verlag, 2008, pp. 151-163.
Wu, J. H., Shin, S. S., and Heng, M. S. H., “A Methodology for ERP Misfits Analysis,” Information & Management, Vol. 44, No. 8, 2007, pp. 666-680.