Title :
An extension to concurrent TTCN
Author :
Xu, Mingwei ; Wu, Jianping
Author_Institution :
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
fDate :
29 Mar-2 Apr 1998
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;
Conference_Titel :
INFOCOM '98. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
0-7803-4383-2
DOI :
10.1109/INFCOM.1998.665061
