請用此 Handle URI 來引用此文件：
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/29546完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.advisor | 王凡 | |
| dc.contributor.author | Zhi-Wei Lin | en |
| dc.contributor.author | 林志威 | zh_TW |
| dc.date.accessioned | 2021-06-13T01:10:02Z | - |
| dc.date.available | 2007-07-24 | |
| dc.date.copyright | 2007-07-24 | |
| dc.date.issued | 2007 | |
| dc.date.submitted | 2007-07-20 | |
| dc.identifier.citation | [1] TTCN-3 Standard part1: ES 201 873-1 TTCN-3 Core Language.
[2] TTCN-3 Standard part2: ES 201 873-2 TTCN-3 Tabular Presentation Formate. [3] TTCN-3 Standard part3: ES 201 873-3 TTCN-3 Graphical Presentation Formate. [4] TTCN-3 Standard part4: ES 201 873-4 TTCN-3 Operational Semantics. [5] TTCN-3 Standard part5: ES 201 873-5 TTCN-3 Runtime Interface. [6] TTCN-3 Standard part6: ES 201 873-3 TTCN-3 Control Interface. [7] IETF RFC 1035: Domain Names-Implementation and Speci‾cation [8] Tutorial on MSC-92. TIMe Electronic Textbook v.4.0, SINTEF, 1992. [9] Tutorial on MSC-96. TIMe Electronic Textbook v.4.0, SINTEF, 1996. [10] J.Smart, K.Hock, S.Csomo. Cross-Platform GUI Programming with wxWidgets. Prentice Hall PTR, 2005. [11] Michael Ebner. Mapping CORBA IDL to TTCN-3 based on IDL to TTCN-2 map- pings. In Proceedings of the 11,GI/ITG Technical Meeting on Formal Description Techniques for Distributed Systems, Bruchsal, Germany, 21.-22. June 2001. Inter- national University in Germany. [12] R.Alur, R.Grosu. Shared variables interaction diagrams, 16th IEEE International Conference on Automated Software Engineering, 2001 [13] IEEE P802.1-2001:'IEEE Standard for Local and Metropolitan Area Networks - Part 16: Air Interface for ‾xed broadband Wireless Access Systems'. [14] ITU-T: Recommendation: Message Sequence Chart (MSC). International Stan- dard Z.120 (11/99) with Corrigendum 1, ITU-T, International Telecommunication Union - Telecommunication Standardization Sector SG 10 (2001) 67 | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/29546 | - |
| dc.description.abstract | Message Sequence Charts (MSCs) have been widely used in software engineering for
system requirements and test speci‾cations. Since 2005, MSCs also have been adopted as the test speci‾cation of Test and Testing Control Notations-version 3(TTCN-3). We have developed and implemented the front-end part of graphical user-friendly en- vironment for the construction of MSCs test speci‾cations. The paper reports the technology of the part of our whole environment. It accepts test speci‾cations in TTCN-3 core-language and translates it into the graphical information. It also trans- lates graphical information into TTCN-3 core language. Therefore, the writing and generating of TTCN-3 speci‾cations can be e±cient with graphical mode. | en |
| dc.description.provenance | Made available in DSpace on 2021-06-13T01:10:02Z (GMT). No. of bitstreams: 1 ntu-96-R94921098-1.pdf: 371417 bytes, checksum: 27bef95a3300fe9e9d32f682ed2ba9b3 (MD5) Previous issue date: 2007 | en |
| dc.description.tableofcontents | Contents i
List of Figures iii Acknowledgements iv 1 Introduction 1 1.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 Purpose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.4 Thesis framework . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 Message Sequence Charts 5 2.1 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Basic MSCs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2.1 Instance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2.2 Message . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2.3 Timer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.4 MSC reference . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.5 Condition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2.6 Inline expression . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3 Time concept . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 MSC Symbol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3 Testing and Test Control Notation-3 14 i 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.2 The core language and presentation format . . . . . . . . . . . . . . . . 15 3.3 TTCN-3 module . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.3.1 De‾nitions part . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.3.2 Control part . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.3.3 Module summary . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.4 TTCN-3 con‾guration . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.5 TTCN-3 by example . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.6 Graphical presentation format for TTCN-3 . . . . . . . . . . . . . . . . 29 4 Data structure 34 4.1 text table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4.2 event table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 4.3 reference table . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 5 Translation Mechanism 42 5.1 Extension of MSC to support TTCN-3 GFT . . . . . . . . . . . . . . . 42 5.2 Translate TTCN-3 core language into parsing table . . . . . . . . . . . 43 5.2.1 diagram type . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 5.2.2 inline expression type . . . . . . . . . . . . . . . . . . . . . . . . 48 5.2.3 terminal type . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 5.3 Translate parsing table into TTCN-3 core language . . . . . . . . . . . 52 6 Implementation 55 6.1 WxWidgets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 6.2 Pseudo code . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 7 Experiment 60 8 Conclusions and Future Works 62 A C++ Class 64 Bibliography 67 | |
| dc.language.iso | en | |
| dc.subject | 測試以及測試控制語言 | zh_TW |
| dc.subject | 訊息序列圖 | zh_TW |
| dc.subject | 測試自動化 | zh_TW |
| dc.subject | 整合環境 | zh_TW |
| dc.subject | An Integrated Environment | en |
| dc.subject | Testing Automation | en |
| dc.subject | MSC | en |
| dc.subject | TTCN-3 | en |
| dc.title | 以訊息序列圖為基礎之測試自動化整合環境 | zh_TW |
| dc.title | An Integrated Environment for MSC-Based Testing Automation | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 95-2 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 鄭大慶,王勝德,魏宏宇,蔡其達 | |
| dc.subject.keyword | 訊息序列圖,測試自動化,整合環境,測試以及測試控制語言, | zh_TW |
| dc.subject.keyword | MSC,Testing Automation,An Integrated Environment,TTCN-3, | en |
| dc.relation.page | 65 | |
| dc.rights.note | 有償授權 | |
| dc.date.accepted | 2007-07-23 | |
| dc.contributor.author-college | 電機資訊學院 | zh_TW |
| dc.contributor.author-dept | 電機工程學研究所 | zh_TW |
| 顯示於系所單位： | 電機工程學系 | |
文件中的檔案：
| 檔案 | 大小 | 格式 | |
|---|---|---|---|
| ntu-96-1.pdf 未授權公開取用 | 362.71 kB | Adobe PDF |
系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。