Responsive image
博碩士論文 etd-0727109-141853 詳細資訊
Title page for etd-0727109-141853
Model Testing: Automatic Generation of Test Case
Year, semester
Number of pages
Ming-Che Hsieh
Advisory Committee
Shin-Shing Shin
Date of Exam
Date of Submission
UML, Integrated Testing Model, Platform Independent Model, Model-Based Testing
本論文已被瀏覽 5804 次,被下載 2669
The thesis/dissertation has been browsed 5804 times, has been downloaded 2669 times.
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.
目次 Table of Contents
致 謝 詞 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
參考文獻 References
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, 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.), 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,, February 28, 2009.
Pettichord, B., Seven Steps to Test Automation Success, 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.
電子全文 Fulltext
論文使用權限 Thesis access permission:校內立即公開,校外一年後公開 off campus withheld
開放時間 Available:
校內 Campus:開放下載的時間 available 2009-07-27
校外 Off-campus:開放下載的時間 available 2010-07-27

紙本論文 Printed copies
開放時間 available 立即公開

QR Code