A formal approach to protocol performance testing

This paper proposes a formal approach to protocol performance testing based on the extended concurrent TTCN. To meet the needs of protocol performance testing, concurrent TTCN is extended, and the extended concurrent TTCN's operational semantics is defined in terms of Input-Output Labeled Transition System. An architecture design of protocol performance test system is described, and an example of test cases and its test result are given. This research is supported by National Natural Science Foundation of China under Grant No. 69682002. XU Mingwei received the B.A. and Ph.D. degrees in computer science from Tsinghua University. His research interests include computer network, protocol testing and ATM. WU Jianping is a Professor of Dept. of Computer Science, Tsinghua University, and Director of China Education & Research Network (CERNET). His research interests include computer network, protocol engineering and distributed system.