跳到主要內容

臺灣博碩士論文加值系統

(3.236.50.201) 您好!臺灣時間:2021/08/02 00:52
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

: 
twitterline
研究生:蕭世杰
研究生(外文):Hsiao, ShihChieh
論文名稱:基於循序圖的測試案例產生器
論文名稱(外文):A Test Case Generator For Sequence Diagrams
指導教授:林迺衛林迺衛引用關係
指導教授(外文):Lin, NaiWei
口試委員:朱治平貝諾爾林楚迪林迺衛
口試委員(外文):Chu, ChihPingDaniel J. BuehrerLin, ChuTiLin, NaiWei
口試日期:2012-07-25
學位類別:碩士
校院名稱:國立中正大學
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2012
畢業學年度:100
語文別:中文
論文頁數:74
中文關鍵詞:循序圖產生器
外文關鍵詞:Sequence DiagramsGenerator
相關次數:
  • 被引用被引用:0
  • 點閱點閱:199
  • 評分評分:
  • 下載下載:18
  • 收藏至我的研究室書目清單書目收藏:0
軟體測試是確保軟體品質的主要方法之一,然而軟體測試純靠人力,曠日廢時且容易出錯。本篇論文實作一個整合測試的測試案例產生器,可以自動化地產生整合測試的測試案例,以降低軟體開發成本及提高軟體品質。
本工具使用循序圖、類別圖和物件限制語言作為規格輸入,其中循序圖用來描述物件之間函式呼叫的行為;類別圖和物件限制語言描述函式內部的行為。
此工具首先分析類別圖和物件限制語言規格並將這兩個規格轉換成函式限制圖,並將循序圖轉換成函式循序圖。接著在函式循序圖上系統化地條列測試路徑。藉由測試路徑和路徑上呼叫的函式的函式限制圖可以產生這條路徑相對應的限制邏輯敘述。一個限制邏輯敘述表示一條測試路徑所需滿足的限制式。執行這個限制邏輯敘述可解出滿足該測試路徑限制式的測試輸入與預期輸出。最後根據測試輸入與預期輸出可產生Java測試碼。使用者便可使用JUnit平台自動測試所產生出來的Java測試碼。

Software testing is one of the main approaches to ensuring software quality. However, manual software testing incurs high development costs and is prone to errors. This thesis implements a test case generator to automatically generate test cases for integration testing. This test case generator can reduce development costs and upgrade software quality.
This tool uses UML sequence diagrams, UML class diagrams, and the Object Constraint Language (OCL) as specification languages. Sequence diagrams are used to describe the behavior of the method calls among objects. Class diagrams and OCL are used to describe the behavior within a method.
This tool first converts each class diagram and OCL to a method constraint graph. It also converts each sequence diagram to a method sequence graph. This tool then systematically generates test paths on the method sequence graph. This tool then generates a corresponding constraint logic programming predicate for each test path and the method constraint graphs of the called methods in the test path. A constraint logic programming predicate represents the set of constraints in a test path. The solution of the constraint logic programming predicate is the test input and expected output satisfying the constraints on the test path. Finally, the test input and expected output are used to generate a Java test class. Users can then execute the generated Java test class in the JUnit testing framework to automatically test the class under test.

第一章概論 1
1-1 研究動機 1
1-2 研究方法 2
1-3 系統環境 5
1-4 研究貢獻 5
1-5 論文架構 5
第二章相關研究 6
2-1 循序圖 6
2-2 類別圖和物件限制語言 7
2-3 限制邏輯程式 8
2-4 測試覆蓋標準 8
2-5 JUNIT 9
2-6 相關研究 10
第三章循序圖讀取器 11
3-1 循序圖分析器 11
3-2 函式循序圖產生器 17
第四章覆蓋標準管理器 22
4-1 覆蓋標準介面 24
4-2 覆蓋標準管理器類別架構 25
第五章測試路徑產生器 26
第六章測試資料產生器 32
6-1 限制邏輯程式產生器 33
6-1-1 函式限制式 34
6-1-2 函式進入限制式 37
6-1-3 函式離開限制式 38
6-1-4 分支護衛條件限制式 39
6-1-5 路徑限制式 41
6-2 限制邏輯程式執行器 44
第七章測試類別產生器 46
第八章結論與未來展望 49
參考文獻 50
附錄 52

[1]M. Fowler, UML Distilled Third Edition - A Brief Guide to the Standard Object Modeling Language , Addison-Wesley,2005.
[2]S. Skidmore, The V Model, Student Accountant Magazine, 2006.
[3]B. Bezier, Software Testing Techniques 2nd Edition, Van Nostrand, 1990.
[4]K. R. Apt and M. G. Wallace, Constraint Logic Programming Using ECLiPSe, Cambridge University Press,2007.
[5]K. Beck and E. Gamma, JUnit Cookbook, http://junit.sourceforge.net/.
[6]C.Y. Lin, A Black-Box Method Level Test Case Generation Based on Constraint Logic Programming, Master Thesis, National Chung Cheng University,2011.
[7]A.Rountev, S. Kagan, and J. Sawin, Coverage Criteria for Testing of Object Interactions in Sequence Diagrams, Fundamental Approaches to Software Engineering, Springer Berlin,Heidelberg,Vol.3442,2005,pp289-304.
[8]K. Beck, Test-Driven Development: by Example, Addison-Wesley, 2003.
[9]M. Auer, J. Poelz, A. Fuernweger, L. Meyer and T. Tschurtschenthaler, UMLet, http://www.umlet.com/.
[10]J. Warmer and A. Kleppe, The Object Constraint Language: Second Edition-Getting Your Models Ready for MDA, Addison-Wesley, Boston, 2003.
[11]B. Meyer, Design by Contract, Advances in Object-Oriented Software Engineering, eds. D. Mandrioli and B. Meyer, Prentice Hall, 1991, pp. 1-50.
[12]A. Rountev, S. Kagan, and J. Sawin, Coverage Criteria for Testing of Object Interactions in Sequence Diagrams, Proceedings of the International Conference on Fundamental Approaches to Software Engineering, 2005, pp. 289-304.
[13]G. J. Myers, The Art of Software Testing,2ndedition, Wiley,2004.
[14]P. Samuel and A. T. Joseph, Test Sequence Generation from UML Sequence Diagrams, Proceedings of The Ninth ACIS International Conference on Software Engineering,2008.
[15]Z. Li and T. Maibaum, An Approach to Integration Testing of Object-Oriented Programs, Proceedings of Seventh International Conference on Quality Software,2007.
[16]F.Fraikin and T.Leonhardt, SeDiTeC - Testing Based on Sequence Diagrams, Proceedings of the 17th IEEE International Conference on Automated Software Engineering,2002.
[17]T. F. Hu, A Class-Level Unit Testing Tool for Java, Master Thesis, National Chung Cheng University,2011.
[18]Y. C. Lei, A Test Case Generator Based on Sequence Diagrams ,Master Thesis, National Chung Cheng University, 2008.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top