WiMAX 通訊協定符合性測試案例之程式碼產生器之研發

全球微波存取互通 (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++程式碼格式。此外，我們不僅成功的提升編譯效能，更提供使用者更多的程序來建構測試案例。

關鍵字

WiMAX協定一致性測試；測試案例；程式碼產生器；軟體測試；語法剖析程式；編譯器

並列摘要

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.

並列關鍵字

WiMAX PCT ； TTCN-3 ； testcase ； code generation ； software testing ； parser ； compiler

參考文獻

[18] C.-C. Lee. Automatic Software Profiling for Software Testing. Thesis of Graduate Institute of Electronic Engineering of National Taiwan University, July 2007.

[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.

[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.

Bibliography

Google Scholar

國際替代計量

WiMAX 通訊協定符合性測試案例之程式碼產生器之研發

全文下載

主題瀏覽