Responsive image
博碩士論文 etd-0717109-181202 詳細資訊
Title page for etd-0717109-181202
論文名稱
Title
由PIM 自動建構整合測試模式之研究:方法論與雛型系統
Automatic Construction of Integrated Testing Model from PIM: Methodology and Prototype
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
163
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2009-06-26
繳交日期
Date of Submission
2009-07-17
關鍵字
Keywords
模式驅動架構、平台獨立模式、物件限制語言、模式測試、測試路徑、整合測試模式、限制類別值組
Integrated Testing Model, Constrained Class Tuples, UML, Platform Independent Model, Model-Based Testing
統計
Statistics
本論文已被瀏覽 5790 次,被下載 17
The thesis/dissertation has been browsed 5790 times, has been downloaded 17 times.
中文摘要
模式測試的主要目的在於找出系統分析與設計階段的錯誤,可節省軟體測試成本並增進系統開發效率。先前研究依此提出了一套整合方法論,利用人工產出之平台獨立模式 (Platform Independent Model, PIM) 建構測試路徑與限制類別值組後 (Constrained Class Tuples, CCT),整合兩資訊建構整合測試模式 (Integrated Testing Model, ITM),提供後續進行模式測試時發展測試值與測試案例所需資訊。
本研究提出了一套方法論,可在擷取PIM 循序圖與類別圖資訊後建構整合測試模式。此中之研究方法是以人工執行設計科學研究法研發方法論後,實作此方法論開發雛型系統,並針對雛型系統進行可用性測試,證實其在效能和效率方面之可用程度。實行方法論的過程中,測試路徑、限制類別值組與整合測試模式皆可被自動化建構,進而節省測試所需之成本並增進模式測試之執行效率。
Abstract
The main goal of model testing is to find system errors at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development. 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 (CCT). 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 the Sequence Diagram and Class Diagram from the PIM to construct an ITM. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed. A usability evaluation is performed on the prototype to demonstrate its usability in terms of the factors, efficiency and effectiveness. With this methodology, the test paths, CCT and ITM can be generated automatically; thereby reducing the costs and increasing the efficiency of Model-Based Testing.
目次 Table of Contents
目錄
致謝詞................................................................i
摘要....................................................................ii
Abstract.............................................................iii
目錄....................................................................iv
圖目錄................................................................vi
表目錄................................................................x
第一章、緒論...................................................1
第一節、研究背景與動機...............................1
第二節、研究目的與範圍...............................3
第三節、論文架構...........................................4
第二章、文獻探討...........................................6
第一節、軟體測試與模式測試.......................6
第二節、統一塑模語言..................................10
第三節、物件限制語言..................................19
第四節、模式測試整合方法論......................23
第五節、框架控制流程圖與有向圖..............26
第六節、限制類別值組..................................32
第七節、整合測試模式..................................35
第三章、研究方法..........................................37
第一節、軟體工程研究法..............................37
第二節、研究流程..........................................38
第四章、自動建構整合測試模式方法論......44
第一節、自動建構測試路徑..........................44
第二節、自動建構限制類別值組..................56
第三節、自動建構整合測試模式..................62
第五章、可用性測試......................................67
第一節、定義問題與定義評估準則..............67
第二節、案例一:查詢進料鋼捲資料..........70
第三節、案例二:前儲區儲位產生..............90
第四節、案例三:包裝線Preset..................112
第五節、觀察與評估......................................132
第六章、結論..................................................146
第一節、研究成果..........................................146
第二節、研究貢獻..........................................148
第三節、未來研究方向..................................149
參考文獻..........................................................150
中文參考文獻..................................................150
英文參考文獻..................................................150
參考文獻 References
中文參考文獻
吳仁和,物件導向系統分析與設計─結合MDA 與UML,二版,智勝,台北,2007年。
陳易震,「模式測試:測試路徑建構方法論」,國立中山大學資訊管理研究所碩士論文,2008年6月。
陳聖現,「以物件限制語言結合電腦輔助軟體工程工具強化企業邏輯表達之研究」,國立中山大學資訊管理研究所碩士論文,2008年6月。
許令信,「模式測試整合方法論之研究」,國立中山大學資訊管理研究所碩士論文,2008年6月。
英文參考文獻
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-Wesley, Boston, 2005.
Beizer, B., Software Testing Techniques, 2nd Edition, Van Nostrand Reinhold, New York, 1990.
Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language User Guide, 2nd Edition, Addison-Wesley, Reading, Massachusetts, 2005.
Fowler, M. and Scott, K., UML Distilled: A Brief Guide to The Standard Object Modeling Language, 2nd Edition, Addison-Wesley, Reading, Massachusetts, 2000.
IEEE, Institute of Electrical and Electronics Engineers, Standard for Software and System Test Documentation, IEEE Std 829 TM-2008, [Online Information; retrieved 10/12/2008.] http://ieeexplore.ieee.org.ezproxy.lib.nsysu.edu.tw:8080/stamp/stamp.jsp?arnumber=741968&isnumber=16010, March 2008.
Jacobson, I., Christerson, M., Jonsson, P., and Overgaard, G., Object-Oriented Software Engineering: A Use Case Driven Approach, Addion-Wesley, Reading, Massachusetts, 1996.
Nunamaker, J. F., JR., 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.
OMG, Object Management Group, Unified Modeling Language Infrastructure Specification, V2.2, [Online Information; retrieved 04/06/2009.] http://www.omg.org/spec/UML/2.2/Infrastructure, February 2009.
Pilskalns, O., Andrews, A., Knight, A., Ghosh, S., and France, R., “Testing UML Designs,”Information and Software Technology, Vol. 49, 2007, pp. 892-912.
Sun, C. A., “A Transformation-based Approach to Generating Scenario-oriented Test Cases From UML Activity Diagrams for Concurrent Applications,” Annual IEEE International Computer Software and Applications Conference, Turku, Finland, July 4-Aug. 1, 2008, pp. 160-171.
Utting, M., and Legeard B., Practical Model-Based Testing: A Tools Approach, 1st Edition, Morgan Kaufmann, San Francisco, 2007.
Warmer, J., and Kleppe, A., The Object Constraint Language Second Edition-Getting Your Models Ready for MDA, 2nd Edition, 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:校內一年後公開,校外永不公開 campus withheld
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus:永不公開 not available

您的 IP(校外) 位址是 54.242.22.247
論文開放下載的時間是 校外不公開

Your IP address is 54.242.22.247
This thesis will be available to you on Indicate off-campus access is not available.

紙本論文 Printed copies
紙本論文的公開資訊在102學年度以後相對較為完整。如果需要查詢101學年度以前的紙本論文公開資訊,請聯繫圖資處紙本論文服務櫃台。如有不便之處敬請見諒。
開放時間 available 已公開 available

QR Code