DocumentCode
322330
Title
An extension to concurrent TTCN
Author
Xu, Mingwei ; Wu, Jianping
Author_Institution
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
Volume
2
fYear
1998
fDate
29 Mar-2 Apr 1998
Firstpage
447
Abstract
This paper proposes an extension to the concurrent tree and tabular combined notation (TTCN) to meet the needs of protocol performance testing. The operational semantics of the extended concurrent TTCN are defined in terms of input-output labeled transition system. Based on the extended concurrent TTCN the architecture of the protocol performance test system is designed, and an example of test cases of throughput is given
Keywords
ISO standards; conformance testing; formal specification; protocols; telecommunication standards; ISO; extended concurrent TTCN; formal specification; input-output labeled transition system; operational semantics; protocol performance testing; throughput; tree and tabular combined notation; Computer science; Delay; Formal specifications; Information processing; Protocols; Sequential analysis; System testing; Throughput;
fLanguage
English
Publisher
ieee
Conference_Titel
INFOCOM '98. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE
Conference_Location
San Francisco, CA
ISSN
0743-166X
Print_ISBN
0-7803-4383-2
Type
conf
DOI
10.1109/INFCOM.1998.665061
Filename
665061
Link To Document