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

Volume

7

fYear

2001

fDate

2001

Firstpage

2063

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications, 2001. ICC 2001. IEEE International Conference on

Conference_Location

Helsinki

Print_ISBN

0-7803-7097-1

Type

conf

DOI

10.1109/ICC.2001.937022

Filename

937022