論文使用權限 Thesis access permission:校內校外均不公開 not available
開放時間 Available:
校內 Campus:永不公開 not available
校外 Off-campus:永不公開 not available
論文名稱 Title |
發展自動建構整合測試案例之研究:方法論與雛型系統 Automatic Construction of Model Testing Case: Methodology and Prototype |
||
系所名稱 Department |
|||
畢業學年期 Year, semester |
語文別 Language |
||
學位類別 Degree |
頁數 Number of pages |
124 |
|
研究生 Author |
|||
指導教授 Advisor |
|||
召集委員 Convenor |
|||
口試委員 Advisory Committee |
|||
口試日期 Date of Exam |
2010-06-18 |
繳交日期 Date of Submission |
2010-07-22 |
關鍵字 Keywords |
模式測試、物件限制語言、平台獨立模式、延伸標記語言資料交換、統一塑模語言 OCL, XMI, UML, Platform Independent Model, Model-Based Testing |
||
統計 Statistics |
本論文已被瀏覽 5799 次,被下載 0 次 The thesis/dissertation has been browsed 5799 times, has been downloaded 0 times. |
中文摘要 |
軟體測試是軟體開發過程中的重要步驟,通常是在程式撰寫完成後才執行軟體測試,且相當耗費成本。為了提升統一塑模語言和模式導向架構方法在系統分析與設計階段中的使用,模式測試已被探討成為降低軟體測試成本的重要解決方法。在先前的研究中已提出一套整合方法論,透過平台獨立模式階段之產出建構出測試路徑和測試案例。 本研究發展出一套方法論,透過擷取PIM階段產出之資訊(例如循序圖和類別圖)直接產生測試案例。研究方法是採取設計科學研究法,以可用性的評估方式來執行,展示方法論的可用性。透過本研究之方法論,測試案例可以更容易地被產生出來,進而降低成本並加強模式測試的效率。 |
Abstract |
Software testing is a vital part of the software development process, usually implemented at the coding stage, and costly. Due to the increased use of the Unified Modeling Language (UML) and Model Driven Architecture (MDA) 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 paths and generate the test cases. This study develops a methodology which extracting the information from PIM (e.g., Sequence Diagram and Class diagram) to generate the test cases directly. The research methodology is articulated using the design science research methodology. A usability evaluation is performed to demonstrate its applicability. With this methodology, the test cases can be easily generated; thereby reducing the cost and enhancing the efficiency of Model-Based Testing. |
目次 Table of Contents |
第一章、緒論 1 第一節 、研究背景與動機 1 第二節 、研究目的與範圍 3 第二章、文獻探討 4 第一節 、軟體測試與模式測試 4 第二節 、統一塑模語言 9 第三節 、物件限制語言 16 第四節 、種類分割法 20 第五節 、延伸標記語言資料交換 22 第六節 、模式測試之整合方法論 23 第七節 、框架控制流程圖與有向圖 26 第八節 、限制類別值組 32 第三章、研究方法 35 第四章、自動建構整合測試案例方法論 39 第一節 、自動建構測試路徑 39 第二節 、自動建構限制類別值組 49 第三節 、自動建構整合測試模式 56 第四節 、自動建構整合測試案例 58 第五章、展示 63 第一節 、定義評估準則 63 第二節 、案例一:查詢進料鋼捲資料 65 第三節 、案例二:前儲區儲位產生 77 第四節 、案例三:包裝線Preset 91 第五節 、觀察與評估 104 第六章、結論 109 第一節 、研究成果 109 第二節 、研究貢獻 111 第三節 、未來研究方向 112 參考文獻 113 中文參考文獻 113 英文參考文獻 113 |
參考文獻 References |
中文參考文獻 吳仁和,物件導向系統分析與設計-結合 MDA 與 UML ,三版,智勝,台北 ,2010 年。 陳易震,「模式測試:建構測試路徑方法論」,國立中山大學資訊管理研究所碩士 論文,2008 年。 陳弘文,「模式測試:測試案例自動產出方法論」,國立中山大學資訊管理研究所 碩士論文,2009年。 陳盈如,「由PIM自動建構整合測試模式之研究:方法論與雛型系統」,國立中 山大學資訊管理研究所碩士論文,2009年。 陳聖現,「以物件限制語言結合電腦輔助軟體工程工具強化企業邏輯表達之研 究」,國立中山大學資訊管理研究所碩士論文,2008 年。 許令信,「模式測試整合方法論之研究」,國立中山大學資訊管理研究所碩士論 文,2008 年。 英文參考文獻 Andrews, A., France, R., Ghosh, S., and Craig, G., “Test Adequacy Criteria for UML Design Models,” Journal of Software Testing, Verification and Reliability, Vol.13, 2003, pp. 95-127. Arlow, J., and Neustadt, I., UML 2 and The Unified Process:Practical Object-Oriented Analysis and Design, 2nd Edition, Addison-Weslley, Boston, 2005. Demuth, B., Hussmann, H., and Obermaier, S., “Experiments with XMI based transformations of software models,” In Workshop on Transformations in UML, 2001. Bertolino, A., “Software testing research: Achievements, challenges, dreams,” IEEE Computer Society Future of Software Engineering, Washington, DC, USA, 2007, pp. 85–103. Beizer, B., Software Testing Techniques, 2n d Edition, New York, Van Nostrand Reinhold, 1990. Biffl, S., Aurm, A., Boehm, B., Erdogmus, H., and Gruenbacher, P., Value-Based Software Engineering, Heidelberg, Germany, Springer-Verlag, 2006. Wallace, DR., Kuhn, D., “Failure Modes in Medical Device Software: An Analysis of 15 Years of Recall Data,” Int’l J. Reliability, Quality and Safety Eng., vol. 8, no. 4, 2001. Fowler, M., UML Distilled:A Brief Guide to the Standard Object Modeling Language, 3rd Edition, Reading, Massachusetts:Addison-Wesley Professional, 2003. Gryna, F.M., Quality and Costs, 5th Edition, New York, McGraw-Hill, 1998. Peffers, K., Tuunanen, T., Rothenberger, M., Chatterjee, S, “A Design Science Research Methodology for Information Systems Research,” Journal of Management Information Systems 24 No. 3, 2007, pp. 45–77. Muthu, R., and Rogerio, Atem de Carvalho., Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization, United States of America, Engineering Science Reference, 2009. OMG, The Object Management Group, MOF 2.0/XMI Mapping, Version 2.1.1, February 2007, http://www.omg.org/technology/documents/formal/xmi.htm , [retrieved 2009/08]. Pilskalns, O., Andrews, A., Knight, A., Ghosh, S., and France, R., “Testing UML Designs,” Information and Software technology, Vol. 49, 2007, pp.892-912. Slaughter, S.A., Harter, D.E., Krishnan, M.S., Evaluating the Cost of Software Quality, New York, ACM, 1998. Utting, M., and Legeard B., Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann, Boston, 2007. Warmer, J., and Kleppe, A., The Object Constraint Language Second Edition-Getting Your Models Ready for MDA, Addison-Wesley, Boston, 2003 Wu, J. H., Shin, S. S., and Heng M. S. H., “A methodology for ERP misfit analysis,” Information and Management, Vol. 44, No. 8, 2007, pp. 666-680. |
電子全文 Fulltext |
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。 論文使用權限 Thesis access permission:校內校外均不公開 not available 開放時間 Available: 校內 Campus:永不公開 not available 校外 Off-campus:永不公開 not available 您的 IP(校外) 位址是 34.205.2.207 論文開放下載的時間是 校外不公開 Your IP address is 34.205.2.207 This thesis will be available to you on Indicate off-campus access is not available. |
紙本論文 Printed copies |
紙本論文的公開資訊在102學年度以後相對較為完整。如果需要查詢101學年度以前的紙本論文公開資訊,請聯繫圖資處紙本論文服務櫃台。如有不便之處敬請見諒。 開放時間 available 已公開 available |
QR Code |