Responsive image
博碩士論文 etd-0717108-174316 詳細資訊
Title page for etd-0717108-174316
論文名稱
Title
模式測試整合方法論之研究
An Ingetrated Method for Model-Based Testing
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
128
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2008-06-20
繳交日期
Date of Submission
2008-07-17
關鍵字
Keywords
軟體測試、循序圖、模式測試、類別圖、平台獨立模式
Class Diagram, Platform Independent Model, Software Testing, Sequence Diagram, Model-Based Testing
統計
Statistics
本論文已被瀏覽 5899 次,被下載 1
The thesis/dissertation has been browsed 5899 times, has been downloaded 1 times.
中文摘要
測試的主要目的是從系統測試的過程中找出錯誤。在過去的研究中顯示模式測試確實能找出系統中的錯誤,而花費在系統塑模以及由模式自動化產生測試案例所需的時間低於完全由人工進行測試,故能有效降低測試所需的時間與成本。本研究提出一個模式測試的方法論。在此方法中,循序圖與類別圖分別被用來產生測試路徑與測試案例,而物件限制語言則被用來描述商業邏輯限制。並透過三個真實的案例以及電腦輔助軟體工程工具來對本研究所提出之方法論(在概念、實作以及相對優勢上)進行可用性的測試。藉由這個方法,系統中的錯誤可以在系統分析與設計階段被發現,而因此減少軟體測試的成本並增進系統開發的效率。
Abstract
The main goal of testing is to find errors in the System Under Test (SUT). Prior research indicated that Model-Based Testing is indeed good at finding SUT errors, can lead to less time and effort spent on testing if the time needed to write and maintain the model plus the time spent on directing the test generation is less than the cost of manually designing and maintaining a test suite. This study proposed a methodology for Model-Based Testing. In this approach, Sequence Diagrams and Class Diagram are used to determine the testing path and test case and Object Constraint Language is used to specify the business logic constraint. Three real-world cases and a CASE tool are used to test the usability (including the concepts, application, and advantages) of the proposed methodology. With this approach, SUT errors can be found at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development.
目次 Table of Contents
目錄

目錄......................................................................................... i
圖目錄................................................................................... iii
表目錄................................................................................... vi
摘要..................................................................................... viii
Abstract................................................................................. ix
第一章、緒論........................................................................ 1
第一節、研究背景與動機.................................................... 1
第二節、研究目的與範圍.................................................... 2
第三節、論文架構................................................................ 3
第二章、文獻探討................................................................ 4
第一節、統一塑模語言與類別圖........................................ 4
第二節、軟體測試............................................................. 13
第三節、模式測試............................................................. 20
第四節、種類分割法第三章、研究方法......................... 25
第三章、研究方法............................................................. 28
第一節、系統開發研究方法............................................. 28
第二節、研究流程............................................................. 29
第四章、建構測試案例方法論......................................... 35
第一節、產生限制類別值組............................................. 38
第二節、建立整合測試模式............................................. 40
第三節、產生測試案例..................................................... 43
第四節、執行測試案例..................................................... 48
第五節、分析與修正......................................................... 59
第五章、可用性測試......................................................... 62
第一節、擬定評估準則與測試步驟................................. 62
第二節、公司背景-A鋼鐵公司....................................... 64
第三節、案例一:查詢進料鋼捲資料............................. 65
第四節、案例二:前儲區儲位產生規則......................... 80
第五節、案例三:包裝線preset...................................... 95
第六節、觀察與評估....................................................... 109
第六章、結論................................................................... 112
第一節、研究成果........................................................... 112
第二節、研究貢獻........................................................... 113
第三節、未來研究方向................................................... 114
參考文獻........................................................................... 115
中文參考文獻................................................................... 115
英文參考文獻................................................................... 115

圖目錄

圖2-1 UML 2.0圖形分類...................................................... 7
圖2-2 類別之表示符號......................................................... 8
圖2-3 實體類別表示符號..................................................... 9
圖2-4 邊界類別表示符號..................................................... 9
圖2-5 控制類別表示符號.................................................. 10
圖2-6 軟體開發過程中修正錯誤成本的示意圖.............. 14
圖2-7 軟體測試的過程...................................................... 17
圖2-8 軟體測試 vs 模式測試對應圖................................ 23
圖2-9 Royal and Loyal System類別圖........................... 26
圖3-1 研究流程.................................................................. 29
圖3-2 評估可用性測試流程.............................................. 32
圖4-1 方法論的流程.......................................................... 35
圖4-2 循序圖範例.............................................................. 38
圖4-3 類別圖範例.............................................................. 39
圖4-4 HMIP230_01類別屬性與操作的OCL表達式...... 40
圖4-5 HMIP230_01類別關聯限制的OCL表達式.......... 40
圖4-6 HMIP230類別限制值組.......................................... 42
圖4-7 查詢包裝線進料鋼捲FCFG轉換圖........................ 44
圖4-8 M2節點有向圖......................................................... 45
圖4-9 M2節點有向圖文件格式......................................... 46
圖4-10 M2節點ITM............................................................ 47
圖4-11 OrderItem屬性限制轉換...................................... 57
圖4-12 OrderItem屬性OCL表達式轉換成JAVA程式碼 57
圖4-13 程式碼執行畫面.................................................... 58
圖4-14 測試案例執行結果................................................ 59
圖5-1 查詢包裝線進料鋼捲之活動圖.............................. 66
圖5-2 查詢包裝線進料鋼捲之循序圖.............................. 67
圖5-3 查詢包裝線進料鋼捲之類別圖.............................. 68
圖5-4 實施人工模擬測試的結果...................................... 69
圖5-5 查詢包裝線進料鋼捲之FCFG................................ 70
圖5-6 M2節點之有向圖表示............................................. 71
圖5-7 HMIP230_01類別之CCT表示法.......................... 72
圖5-8 M2節點之ITM........................................................... 73
圖5-9 查詢包裝線進料鋼捲之類別圖.............................. 75
圖5-10 查詢包裝線進料鋼捲測試案例執行畫面............ 79
圖5-11 前儲區儲位產生規則之活動圖............................ 82
圖5-12 前儲區儲位產生規則之循序圖............................ 83
圖5-13 前儲區儲位產生規則之類別................................ 84
圖5-14 實施人工模擬測試的結果.................................... 85
圖5-15 前儲區儲位產生規則之FCFG............................. 86
圖5-16 M2節點之有向圖表示法....................................... 87
圖5-17 M3節點之有向圖表示法....................................... 87
圖5-18 Compute類別之CCT表示法............................... 88
圖5-19 M2與M3節點之ITM............................................... 89
圖5-20 前儲區儲位產生規則之類別圖............................ 91
圖5-21 前儲區儲位產生規則程式碼執行畫面................ 95
圖5-22 包裝線preset之活動圖........................................ 97
圖5-23 包裝線preset之循序圖........................................ 98
圖5-24 包裝線preset之類別圖........................................ 99
圖5-25 實施人工模擬測試的結果.................................. 100
圖5-26 包裝線preset之FCFG....................................... 101
圖5-27 M4節點之有向圖表示法.................................... 101
圖5-28 SDPKLSendM00類別之CCT表示法............... 102
圖5-29 M4節點之ITM...................................................... 103
圖5-30 包裝線preset之類別圖...................................... 105
圖5-31 包裝線preset程式碼執行畫面.......................... 109
圖5-32 系統專案成本估算報告...................................... 111
圖6-1 系統開發過程比較圖............................................ 113


表目錄

表2-1 UML 2.0圖形種類及說明.......................................... 5
表2-2 類別間之關係與表示符號...................................... 11
表2-3 類別圖與循序圖之測試準則.................................. 20
表3-1 類別圖與循序圖測試準則...................................... 31
表4-1 查詢包裝線進料鋼捲FCFG個節點功能表............ 45
表4-2 CioNo、OrderItem與LabelNo屬性限制............. 49
表4-3 CioNo屬性分割表................................................... 50
表4-4 OrderItem屬性分割表一........................................ 51
表4-5 OrderItem屬性分割表二........................................ 52
表4-6 LabelNo屬性分割表一........................................... 53
表4-6 LabelNo屬性分割表二........................................... 53
表4-7 測試案例篩選表...................................................... 54
表4-8 測試案例與預期結果.............................................. 56
表5-1 查詢包裝線進料鋼捲之使用個案.......................... 65
表5-2 CoilNo、OrderItem與LabelNo有效範圍值........ 76
表5-3 CoilNo、OrderItem與LabelNo之分割值範圍.... 76
表5-4 查詢包裝線進料鋼捲測試案例產生表.................. 78
表5-5 查詢包裝線進料鋼捲測試案例執行結果預期表.. 78
表5-6 前儲區儲位產生規則之使用個案.......................... 80
表5-7 CoilOD與CoilWidth有效範圍值........................... 92
表5-8 CoilOD與CoilWidth之分割值範圍....................... 92
表5-9 前儲位儲位產生規則測試案例產生表.................. 93
表5-10 前儲區儲位產生規則測試案例預期表................ 94
表5-11、包裝線preset之使用個案................................. 96
表5-12 CoilOD、PackingCode與CoilWidth有效範圍值..... 106
表5-13 CoilOD、PackingCode與CoilWidth之分割值範圍..... 106
表5-14 包裝線preset測試案例產生表...........................107
參考文獻 References
中文參考文獻
吳仁和,「物件導向系統分析與設計:結合MDA 與UML」,二版,智勝,台北,2007年。
陳易震,「模式測試:建構測試路徑方法論與應用」,國立中山大學資訊管理所碩士論文,高雄,2008年。
陳聖現,「以OCL結合CASE TOOL強化企業邏輯表達之研究」,國立中山大學資訊管理所碩士論文,高雄,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.
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, Addison-Wesley, Massachusetts, 1999.
Boehm, B., Software Engineering Economics, Prentice-Hall, New Jersey , 1982.
Broy, M., Jonsson, B., Katoen, J. P., and Leucker, M., Model-Based Testing of Reactive Systems, Springer, New York, 2005.
Fowler, M., and Scott, K., UML Distilled: A Brief Guide to The Standard Object Modeling Language, 2nd Edition, Addison-Wesley, Massachusetts, 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, Dorset House, New York, 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.
Jacobson, I., Christerson, M., Jonsson, P., and Övergaard, G., Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, Reading, Massachusetts, 1994.
Jacobson, I., Booch, G., and Rumbaugh, J., The Unified Modeling Language for Object-Oriented Development Documentation Set Version 0.9, Addendum, 1996.
Kit, E., Software Testing in The Real World: Improving The Process, Addison-Wesley, New York, 1995.
Myers, G. J., Badgett, T., Sandler, C., and Thomas, T. M., The Art of Software Testing, 2nd Edition, John Wiley and Sons, New York, 2004.
Naur, P., Randell, B., and Buxton, N., Software Engineering: Concepts and Techniques, Mason/Charter Publishers, Inc., 1976.
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, pp.89-106, 1991.
Ostrand, T., and Balcer, M., “The Category-Partition Method for Specifying and Generating Functional Tests,” Communication of the ACM, Vol. 31, No. 6, 1988, pp. 676–686.
Pilskalns, O., and Andrews, A., “Rigorous Testing by Merging Structural and Behavioral UML Representations,” 6th International Conference on the Unified Modeling Language (UML/MODELS), Vol. 6, 2005, pp. 234-248.
Pilskalns, O., Andrews, A., Knight, A., Ghosh, S., and France, R., “Testing UML designs,” Information and Software Technology, Vol. 49, 2006, pp. 892-912.
Pilskalns, O. and Andrews, A., “Regression Testing UML Designs,” 22nd IEEE International Conference on Software Maintenance, 2006, pp. 254-264.
Pressman, R., Software Engineering A Practitioner’s Approach, 6th Edition, McGraw Hill, 2004.
Rosenberg, D., and Scott, K., Applying Use Case Driven Object Modeling with UML: An Annotated e-Commerce Example, Addison-Wesley, Massachusetts, 2001.
Rountev, A., Kagan, S., and Sawin, J., “Coverage Criteria for Testing of Object Interactions in Sequence Diagram,” In Fundamental Approaches to Software Engineering, Vol. 3442, 2005, pp. 289-304.
Utting, M., and Legeard B., Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann, Boston, 2007.
Vick, C. R., and Ramamoorthy, C. V., Handbook of Software Engineering, Van Nostrand Reinhold, New York, 1984.
Wegner, P., Paradigms of Information Engineering, The Study of Information, John Wiley & Sons, New York, 1983, pp. 163-175.
Wu, J. H., Shin, S. S., and Heng, M. S. H., “A Methodology for ERP Misfits 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(校外) 位址是 54.224.124.217
論文開放下載的時間是 校外不公開

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

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

QR Code