跳到主要內容

臺灣博碩士論文加值系統

(34.204.169.230) 您好!臺灣時間:2024/02/21 23:04
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:陳盈如
研究生(外文):Ying-ju Chen
論文名稱:由PIM自動建構整合測試模式之研究:方法論與雛型系統
論文名稱(外文):Automatic Construction of Integrated Testing Model from PIM: Methodology and Prototype
指導教授:吳仁和吳仁和引用關係
指導教授(外文):Jen-her Wu
學位類別:碩士
校院名稱:國立中山大學
系所名稱:資訊管理學系研究所
學門:電算機學門
學類:電算機一般學類
論文種類:學術論文
論文出版年:2009
畢業學年度:97
語文別:中文
論文頁數:163
中文關鍵詞:模式驅動架構平台獨立模式物件限制語言模式測試測試路徑整合測試模式限制類別值組
外文關鍵詞:Integrated Testing ModelConstrained Class TuplesUMLPlatform Independent ModelModel-Based Testing
相關次數:
  • 被引用被引用:0
  • 點閱點閱:195
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
模式測試的主要目的在於找出系統分析與設計階段的錯誤,可節省軟體測試成本並增進系統開發效率。先前研究依此提出了一套整合方法論,利用人工產出之平台獨立模式 (Platform Independent Model, PIM) 建構測試路徑與限制類別值組後 (Constrained Class Tuples, CCT),整合兩資訊建構整合測試模式 (Integrated Testing Model, ITM),提供後續進行模式測試時發展測試值與測試案例所需資訊。
本研究提出了一套方法論,可在擷取PIM 循序圖與類別圖資訊後建構整合測試模式。此中之研究方法是以人工執行設計科學研究法研發方法論後,實作此方法論開發雛型系統,並針對雛型系統進行可用性測試,證實其在效能和效率方面之可用程度。實行方法論的過程中,測試路徑、限制類別值組與整合測試模式皆可被自動化建構,進而節省測試所需之成本並增進模式測試之執行效率。
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.
目錄
致謝詞................................................................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
中文參考文獻
吳仁和,物件導向系統分析與設計─結合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.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top