Title :
IntegTTCN, a TTCN language extension for protocol integrated testing
Author :
Yin, Xia ; Zhao, Yixin ; Wu, Jianping
Author_Institution :
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
Abstract :
This paper proposes an extension to TTCN to meet the requirements of protocol integrated testing. Compared with TTCN, the extension of IntegTTCN consists of test data and test behaviour. To test data, IntegTTCN can describe dynamic data and statistical data in addition to static data. To test behaviour, IntegTTCN extends test components, adds concurrent operation statements, and reinforces timer operations. After specifying the syntax of IntegTTCN, its operational semantics is defined in terms of an input-output transition system. Finally, IntegTTCN is compared with other test suite notations
Keywords :
conformance testing; formal languages; formal verification; protocols; IntegTTCN; TTCN language extension; Tree and Tabular Combined Notation; conformance testing; dynamic data; formal description techniques; input-output transition system; operational semantics; protocol integrated testing; statistical data; test behaviour; test components; test data; test suite notations; timer operations; Atherosclerosis; Computer networks; Computer science; Information processing; Internet; Laboratories; Routing protocols; Standardization; System testing; Telecommunication services;
Conference_Titel :
Communications, 2001. ICC 2001. IEEE International Conference on
Conference_Location :
Helsinki
Print_ISBN :
0-7803-7097-1
DOI :
10.1109/ICC.2001.937022
