Protocol Performance Testing Based On Tiots

Mw Xu,Jp Wu
1997-01-01
Abstract:This paper proposes a formal approach to protocol performance testing based on Timed Input-Output Transition System (TIOTS). To meet the needs of protocol performance testing, TIOTS is proposed as an extension to labeled transition system. Moreover TIOTS is used to describe protocol performance parameters and protocol performance testing. An architecture design of protocol performance test system is also described, and the description language of protocol performance test suite is discussed. Finally, an example of test cases and its test result are given.
What problem does this paper attempt to address?