A Formal Approach to Protocol Performance Testing

This paper proposes a formal approach to protocol performance test- ing based on the extended concurrent TTCN. To meet the needs of protocol perfor- mance testing, concurrent TTCN is extended, and the extended concurrent TTCN's operational semantics is defined in terms of input-Output Labeled Thansition Sys- tem. An architecture design of protocol performance test system is described, and an example of test cases and its test result are given.