王凡臺灣大學：電機工程學研究所林志威Lin, Zhi-WeiZhi-WeiLin2007-11-262018-07-062007-11-262018-07-062007http://ntur.lib.ntu.edu.tw//handle/246246/53473Message 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.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 67371417 bytesapplication/pdfen-US訊息序列圖測試自動化整合環境測試以及測試控制語言MSCTesting AutomationAn Integrated EnvironmentTTCN-3thesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/53473/1/ntu-96-R94921098-1.pdf