Responsive image
博碩士論文 etd-0722110-175217 詳細資訊
Title page for etd-0722110-175217
論文名稱
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