Please use this identifier to cite or link to this item:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/37213Full metadata record
| ???org.dspace.app.webui.jsptag.ItemTag.dcfield??? | Value | Language |
|---|---|---|
| dc.contributor.advisor | 王凡(Fran Wang) | |
| dc.contributor.author | Ju-Hung Hsiao | en |
| dc.contributor.author | 蕭儒鴻 | zh_TW |
| dc.date.accessioned | 2021-06-13T15:21:34Z | - |
| dc.date.available | 2008-07-23 | |
| dc.date.copyright | 2008-07-23 | |
| dc.date.issued | 2008 | |
| dc.date.submitted | 2008-07-23 | |
| dc.identifier.citation | Bibliography
[1] WiMAX. http://www.wimaxforum.org/. [2] TTCN-3. http://www.ttcn-3.org/. [3] OpenTTCN. http://openttcn.com/. [4] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part 1: TTCN-3 Core Language. ETSI ES 201873-1 v3.3.2 2008. [5] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part 2: TTCN-3 Tabular presentation Format (TFT). ETSI ES 201873-2 v3.1.1 2005-06. [6] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part 3: TTCN-3 Graphical Presentation Format (GFT). ETSI ES 201873-3 v3.1.1 2005-06. [7] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part 4: TTCN-3 Operational Semantics. ETSI ES 201873-4 v3.3.1 2008. [8] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part 5: TTCN-3 Runtime Interface (TRI). ETSI ES 201873-5 v3.3.1 2008. [9] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part 6: TTCN-3 Control Interface (TCI). ETSI ES 201873-6 v3.3.1 2008. [10] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part 7: Using ASN.1 with TTCN-3. ETSI ES 201873-7 v3.3.1 2008. [11] ETSI: Methods for Testing and Specification (MTS) The Testing and Test Control Notation version 3, Part10: Documentation Comment Specification. ETSI ES 201873-10 v3.2.1 2007 [12] T. Vassiliou-Gioles. The TTCN-3 Language－An Introduction. http://www.ttcn-3org/Turorials.htm [13] T. Vassiliou-Gioles. The execution of TTCN-3 tests. http://www.ttcn-3org/Turorials.htm [14] T.-J. Yang. TTCN-3 Test Compilation and Execution. Thesis of Electronic Engineering Department of National Taiwan University, July 2007. [15] M.-C. Tung. SUT Profiling and TTCN-3 Adaptor Construction for a Mobile Phone Simulator. Thesis of Electronic Engineering Department of National Taiwan University, July 2007. [16] W.-Y. Lin. The Design and Analysis of Black-box Test plan for a Message-baseedCommunication system. Thesis of Electronic Engineering Department of National Taiwan University, July 2007. [17] L.-P. Lin. Rule-based Adaptive Test Plan Generation. Thesis of Electronic Engineering Department of National Taiwan University, July 2007. [18] C.-C. Lee. Automatic Software Profiling for Software Testing. Thesis of Graduate Institute of Electronic Engineering of National Taiwan University, July 2007. [19] J. Levine, T. Mason, D. Brown. Lex&Yacc, Second Edition. O’Reilly & Associates, Inc, October 1992. [20] Lesk. Lex－A Lexical Analyzer Generator. Computing Science Technical Report No39, Bell Laboratories, Murray Hill, New Jersey, 1975. [21] Johnson. Yacc: Yet Another Compiler. Computing Science Technical Report No.32, Bell Laboratories, Murray Hill, New Jersey, 1975. [22] S.-C. Yang Compilation of TTCN-3 Testers for a 802.16e BS MAC Emulator. Thesis of Electronic Engineering Department of National Taiwan University, July 2008. | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/37213 | - |
| dc.description.abstract | 全球微波存取互通 (Worldwide Interoperability for Microwave Access, WiMAX) 係由全球微波存取互通協會 (WiMAX Forum)根據IEEE 802.16e 所制定的標準電信技術，此技術可供資料以不同的方式來做無線存取。
為了推廣WiMAX技術，並方便廠商可針對WiMAX設備做測試，WiMAX Forum提供了以TTCN-3測試語言所建構的協定一致性之測試案例 (Protocol Conformance Testing, PCT)；然而，TTCN-3測試語言並無法經由自身進行執行之動作。由台大電機自動軟體測試實驗室所開發的軟體測試工作平台(Software Testing Workbench)係一個整合性的測試工具，可針對此問題將TTCN-3測試語言轉換成可執行的C/C++程式。 本研究針對STW的編譯效能提出了幾項限制，並且發展出了一個全新的程式碼產生器來幫助STW解決此問題。首先我們透過Lex以及Yacc兩個工具，依TTCN-3測試案例建構出一顆語法分析樹，並利用程式碼產生器追蹤樹的節點來獲取必要資訊，最後再產生對應的可執行之C/C++程式碼格式。此外，我們不僅成功的提升編譯效能，更提供使用者更多的程序來建構測試案例。 | zh_TW |
| dc.description.abstract | Worldwide Interoperability for Microwave Access (WiMAX) is a telecommunications technology based on IEEE 802.16, and it provides wireless data in a variety of ways, from point-to-point links to full cellular type access.
Protocol Conformance Testing (PCT) is provided by WiMAX Forum for the development of WiMAX. PCT executes the testcases designed in TTCN-3 for estimating whether the devices are designed according to the protocol. However, TTCN-3 core language can’t execute itself, and an integrating testing tool named Software Testing Workbench (STW) is developed to translate TTCN-3 into executable C/C++ code. We address the limitations of the STW, and successfully develop a new code generator for STW to solve the restrictions. We first translate the TTCN-3 core language into a parsing tree by Lex&Yacc. Therefore, the code generator can trace the parsing tree to extract the essential information, and generate the corresponding executable C/C++ code formats. Moreover, our approach enhances the compilation performance and supports more functions for users. | en |
| dc.description.provenance | Made available in DSpace on 2021-06-13T15:21:34Z (GMT). No. of bitstreams: 1 ntu-97-R95943169-1.pdf: 1006139 bytes, checksum: 099fbca49c9bbeabcceacfe63b7f6acb (MD5) Previous issue date: 2008 | en |
| dc.description.tableofcontents | Contests
Contents i List of Figures iii List of Tables iv 1 Introduction 1 1.1 WiMAX 1 1.2 Testing of WiMAX 2 2 Testing and Test Control Notation Version 3 4 2.1 An Overview of TTCN-3 4 2.2 TTCN-3 Core Language 5 2.2.1 Definition part 8 2.2.2 Control Part 10 2.3 TTCN-3 Communication 11 2.3.1 Send operation 11 2.3.2 Receive operation 11 2.4 TTCN-3 Runtime Interface 12 2.5 TTCN-3 presentation formats 12 3 Software Testing Workbench 14 3.1 An Overview of STW 14 3.2 limitations of STW 17 4 Implementation of new code generator 19 4.1 Parser and Parsing tree 21 4.2 Code generator 21 4.2.1 Declaration 24 4.2.2 Testcase Configuration 26 4.2.3 Function Local Instance 28 4.2.4 Function Statements 28 4.2.4.1 Map Statement 29 4.2.4.2 Timer Statements 30 4.2.4.3 Communication Statements 32 4.2.4.4 Basic Statements 35 4.2.4.5 Function Instance 35 4.2.4.6 AltConstruct 36 4.2.4.7 Verdict Statements 40 5 Experiment 43 6 Conclusions and Future Works 47 Bibliography 49 A Cell618 51 B tsspec1_1.ttcn 53 C tsspec1_1.cpp 55 List of Figures 2.1 Difference between TTCN-2 and TTCN-3 4 2.2 TTCN-3 test configuration 7 2.3 message-based communication 12 2.4 The core language and other presentation formats 13 3.1 the architecture of STW 15 3.2 STW Graphical User Interface 16 3.3 the main flow of STW 18 4.1 the new work flow of compilation 20 4.2 structure of the parsing tree 22 4.3 test system configuration 27 4.4 architecture of Function Statement in Parsing tree 29 4.5 illustration of alternative behavior 36 4.6 the graphical presentation format of Table 4.15 38 5.1 the interface of Cell618 44 5.2 power-on state 44 5.3 after code generation 45 5.4 testcase fail 45 5.5 testcase pass 45 List of Tables 2.1 a TTCN-3 module 6 2.2 the elements in module definition part 8 2.3 the definition of port and component 9 2.4 a TTCN-3 testcase example 10 4.1 the translate algorithm 23 4.2 TTCN-3 user defined structure and corresponding C/C++ code segments 24 4.3 an example of UInt2 and corresponding code segments 26 4.4 declaration of components and ports and corresponding code segments 27 4.5 grammar of function local instance 28 4.6 TTCN-3 function local instance and the corresponding pseudo code 28 4.7 grammar of Function Statement 29 4.8 an example of Map Statement and corresponding pseudo code 30 4.9 grammar of Timer Statements 30 4.10 the examples of start and stop timer and corresponding pseudo code 31 4.11 an example of timeout and its corresponding algorithm 32 4.12 grammar of communication statements 33 4.13 an example of send statement and corresponding pseudo code 33 4.15 an example of log statement and corresponding pseudo code 35 4.14 an example of receive statement and corresponding pseudo code 34 4.16 an example of Function Instance 35 4.17 an example of TTCN-3 AltConstruct 36 4.18 the algorithm of alt construct 39 4.19 Overwriting rules for the verdict 40 4.20 TTCN-3 verdict statements and the corresponding pseudo code 41 4.21 implementation comparison between two methods 41 5.1 the compilation time between two methods 46 A.1 the input key messages of the Cell618 52 A.2 the state identity of Cell618 53 | |
| dc.language.iso | en | |
| dc.subject | WiMAX協定一致性測試 | zh_TW |
| dc.subject | 測試案例 | zh_TW |
| dc.subject | 程式碼產生器 | zh_TW |
| dc.subject | 軟體測試 | zh_TW |
| dc.subject | 語法剖析程式 | zh_TW |
| dc.subject | 編譯器 | zh_TW |
| dc.subject | WiMAX PCT | en |
| dc.subject | compiler | en |
| dc.subject | parser | en |
| dc.subject | software testing | en |
| dc.subject | code generation | en |
| dc.subject | testcase | en |
| dc.subject | TTCN-3 | en |
| dc.title | WiMAX 通訊協定符合性測試案例之程式碼產生器之研發 | zh_TW |
| dc.title | Development of code-generator for WiMAX PCT TTCN-3 testcases | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 96-2 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 雷欽隆(Chin-Laung Lei),江介宏(Jie-Hong Jiang),張耿銘(Geng-Ming Chang) | |
| dc.subject.keyword | WiMAX協定一致性測試,測試案例,程式碼產生器,軟體測試,語法剖析程式,編譯器, | zh_TW |
| dc.subject.keyword | WiMAX PCT,TTCN-3,testcase,code generation,software testing,parser,compiler, | en |
| dc.relation.page | 67 | |
| dc.rights.note | 有償授權 | |
| dc.date.accepted | 2008-07-23 | |
| dc.contributor.author-college | 電機資訊學院 | zh_TW |
| dc.contributor.author-dept | 電子工程學研究所 | zh_TW |
| Appears in Collections: | 電子工程學研究所 | |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| ntu-97-1.pdf Restricted Access | 982.56 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.