請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/29307
完整後設資料紀錄
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.advisor | 王凡(Farn Wang) | |
dc.contributor.author | Tsung-Ju Yang | en |
dc.contributor.author | 楊宗儒 | zh_TW |
dc.date.accessioned | 2021-06-13T01:04:15Z | - |
dc.date.available | 2007-07-26 | |
dc.date.copyright | 2007-07-26 | |
dc.date.issued | 2007 | |
dc.date.submitted | 2007-07-22 | |
dc.identifier.citation | [1] TTCN-3. http: // www. ttcn-3. org/ .
[2] C. Willcock, T. Deis, S. Tobies, S. Keil, F. Engler, S. Schulz. An Introduction to TTCN-3. John Wiley & Sons, Ltd, 2005. [3] ETSI: Methods for Testing and Speci cation (MTS) The Testing and Test Control Notation version 3, Part 1: TTCN-3 Core Language. ETSI ES 201873-1 v3.1.1 2005-06. [4] ETSI: Methods for Testing and Speci cation (MTS) The Testing and Test Control Notation version 3, Part 2: TTCN-3 Tabular presentation Format (TFT). ETSI ES 201873-1 v3.1.1 2005-06. [5] ETSI: Methods for Testing and Speci cation (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. [6] ETSI: Methods for Testing and Speci cation (MTS) The Testing and Test Control Notation version 3, Part 4: TTCN-3 Operational Semantics. ETSI ES 201873-4 v3.1.1 2005-06. [7] ETSI: Methods for Testing and Speci cation (MTS) The Testing and Test Control Notation version 3, Part 5: TTCN-3 Runtime Interface (TRI). ETSI ES 201873-5 v3.1.1 2005-06. [8] ETSI: Methods for Testing and Speci cation (MTS) The Testing and Test Control Notation version 3, Part 6: TTCN-3 Control Interface (TCI). ETSI ES 201873-5 v3.1.1 2005-06. [9] ETSI: Methods for Testing and Speci cation (MTS) The Testing and Test Control Notation version 3, Part 7: Using ASN.1 with TTCN-3. ETSI ES 201873-5 v3.1.1 2005-06. [10] A.-L. Wendt. Fast code generation using automatically-generated decision trees. Proceedings of the ACM SIGPLAN conference on Programming language design and implementation, 1990. [11] A.-V. Aho, M. Ganapathi, S.-W. K. Tjiang. Code generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems (TOPLAS), 1989. [12] M.-J. Rutherford, A.-L. Wolf. A Case for Test-Code Generation in Model-Driven Systems. Proceedings of the 2nd international conference on Generative programming and component engineering, 2003. [13] F.-J. Budinsky, M.-A. Finnie, J.-M. Vlissides, P.-S. Yu. Automatic Code Generation from Design Patterns. IBM Systems Journal, Volume 35, 1996. [14] C.-H. Chang, J.-P. Wang, F. Wang. A User-friendly Environment for the Construction TTCN-3 Test Specification. Taiwan Conference of Software Engineering 2006. [15] M.-C. Tung. SUT Pro ling and TTCN-3 Adaptor Construction for a Mobile Phone Simulator. Thesis of Electronic Engineering Department of National Taiwan University, July 2007. [16] Z.-W. Lin. MSC-based Testing Automation Flow Experiment in Internet. Thesis of Electronic Engineering Department of National Taiwan University, July 2007. [17] W.-Y. Lin. The Design and Analysis of Black-box Test plan for a Message-based Communication system. Thesis of Electronic Engineering Department of National Taiwan University, July 2007. [18] D.-J. Mosley, B.-A. Posey. Just Enough Software Test Automation. Publishing as Prentice Hall PTR, 2002. [19] H. James. When to Automate Testing A Cost-Bene t Analysis. Testers' Network, www. veritest. com/ testers'network , June 1998. [20] Sedna XML Database. http: // modis. ispras. ru/ sedna/ index. htm . [21] XML Tutorial. http: // www. w3schools. com/ xml/ default. asp . [22] XPath Tutorial. http: // www. w3schools. com/ xpath/ default. asp . [23] XQuery Tutorial. http: // www. w3schools. com/ xquery/ default. asp . [24] SQL Tutorial. http: // www. w3schools. com/ sql/ default. asp . [25] T. Niemann. A COMPACT GUIDE TO LEX & YACC. http: // epaperpress.com/ index. html . [26] J. Levine, T. Mason, D. Brown. lex & yacc, Second Edition. O'Reilly & Associates, Inc, October 1992. [27] Lesk. Lex|A Lexical Analyzer Generator. Computing Science Technical Report No. 39, Bell Laboratories, Murray Hill, New Jersey, 1975. [28] Johnson. Yacc: Yet Another Compiler Compiler. Computing Science Technical Report No. 32, Bell Laboratories, Murray hill, New Jersey, 1975. [29] OpenTTCN. http: // www. openttcn. com/ . [30] ExhaustiF/TTCN. http: // www. mtp. es/ productos. php? id= 1&idioma=ingles . [31] MessageMagic. http: // messagemagic. elvior. ee/ . [32] Telelogic. http: // www. telelogic. com/ index. cfm . [33] Telelogic Tester. http: // www. telelogic. com/ products/ tau/ tester/index. cfm . [34] TTworkbench. http: // www. testingtech. de/ products/ ttwb_ intro. php . | |
dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/29307 | - |
dc.description.abstract | 隨著軟體系統規模日益複雜,測試程序的正確性也更複雜。我們建立一個軟體測試的平台,幫助程式設計師測試所發展的程式。達到方便、高效率、有系統的測試功能。我們採用國際標準化的測試語言---TTCN-3當作我們的開發主軸。就如同一般的程式語言一樣,TTCN-3程式本身不能執行,必須經過直譯或是編譯的過程,轉成可執行的目的碼,才能真正和待測物進行溝通。首先,我們利用語法剖析程式,將TTCN-3程式碼轉成XML格式。XML為國際標準的可擴充式標記語言,我們之所以會選擇XML當作編譯的中間程式,是由於XML主要是用來做資料的交換,且其樹狀結構剛好可以對應TTCN-3的BNF文法,讓我們可以完整地保留原來TTCN-3的資料。接著,我們便可以使用XQuery去擷取我們所需要的資訊並將其轉成適當的C/C++程式碼。TTCN-3的測試案例提供了許多型態的敘述,像是送出訊息、啟動或是停止計時器等,可以直接透過執行介面的函示呼叫來實做。而比較複雜的敘述向是接收、超時控制、選擇語句敘述等。我們利用兩種佇列來實做。由於測試案例和待測程式是兩個獨立的程序,因此在實做凍結敘述句時需要使用信號機來保護程式間的同步行為以及死結的避免。 | zh_TW |
dc.description.abstract | TTCN-3 is an internationally standardized language for defining test specifications for a wide range of computer and telecommunication systems. MSC is one of TTCN-3 presentation formats. We have already developed a user-friendly environment for constructing MSC test specifications before. Like any other programming language, TTCN-3 code is not executable by itself. It either needs to be interpreted or translated into some executable formats. For the sake of allowing testcases in TTCN-3 to execute against the real software system, first we parse the TTCN-3 code into XML documents and then extract the critical information and translate it into appropriate C/C++ code by XQuery. Consequently testers do not have to write long-winded testcases by themselves. They just need to draw MSC test speci cations and run testcases to achieve the goal of software test automation. In this thesis, we present the implementation technology of TTCN-3 compilation and execution. | en |
dc.description.provenance | Made available in DSpace on 2021-06-13T01:04:15Z (GMT). No. of bitstreams: 1 ntu-96-R94921088-1.pdf: 736991 bytes, checksum: 438d446d43bc98ee4759432ea19c4975 (MD5) Previous issue date: 2007 | en |
dc.description.tableofcontents | Contents .............................................i
List of Figures ....................................iii List of Tables .......................................v Acknowledgements ....................................vi 1 Introduction .......................................1 2 Testing and Test Control Notation Version 3 ........4 2.1 An Overview ......................................4 2.2 TTCN-3 Core Language .............................7 2.2.1 TTCN-3 Module ..................................7 2.2.2 Component and Port .............................8 2.2.3 Testcases .....................................10 2.3 TTCN-3 Communication ............................11 2.4 TTCN-3 Configuration ............................13 2.5 TTCN-3 Presentation Formats .....................14 3 TTCN-3 Executable .................................16 3.1 XML Parser ......................................17 3.1.1 Lex and Yacc ..................................19 3.1.2 Implementation ................................19 3.2 TTCN-3 Compiler .................................21 3.2.1 XQuery and Sedna ..............................26 3.2.2 Testcase Configuration ........................27 3.2.3 Function Local Instance .......................29 3.2.4 Function Statements ...........................29 3.2.4.1 Map Statement ...............................29 3.2.4.2 Basic Statement .............................31 3.2.4.3 Timer Statement .............................31 3.2.4.4 Communication Statement .....................33 3.2.4.5 Setverdict Statement ........................35 3.2.4.6 Alt Statement ...............................36 3.2.5 Comment and Log File ..........................40 4 Experiment ........................................41 4.1 System under Test (SUT) .........................41 4.2 Example .........................................41 5 Related Works .....................................49 6 Conclusions and Future Works ......................51 A tsspec1 1 in TTCN-3 core language .................52 B tsspec1 1 in C/C++ Code Segment ...................55 C The Log File of tsspec1 1 .........................70 Bibliography ........................................73 | |
dc.language.iso | en | |
dc.title | TTCN-3 之測試案例編譯與執行 | zh_TW |
dc.title | TTCN-3 Test Compilation and Execution | en |
dc.type | Thesis | |
dc.date.schoolyear | 95-2 | |
dc.description.degree | 碩士 | |
dc.contributor.oralexamcommittee | 雷欽隆(Chin-Laung Lei),江介宏(Jie-Hong Jiang),蔡其達(Chee-Da Tsai) | |
dc.subject.keyword | 測試和測試控制表示法第三版,測試案例,測試自動化,消息序列圖組,剖析器,編譯器, | zh_TW |
dc.subject.keyword | TTCN-3,testcase,test automation,MSC,parser,compiler, | en |
dc.relation.page | 75 | |
dc.rights.note | 有償授權 | |
dc.date.accepted | 2007-07-24 | |
dc.contributor.author-college | 電機資訊學院 | zh_TW |
dc.contributor.author-dept | 電機工程學研究所 | zh_TW |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-96-1.pdf 目前未授權公開取用 | 719.72 kB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。