Port-synchronizable test sequences for communication protocols
Kuo‐Chung Tai, Yu-Chiou Young · 1996
In conformance testing of a communication protocol, the synchronization between inputs from different testers for the protocol becomes a problem. A synchronizable test sequence of a finite state machine (FSM) is a test sequence for which the synchronization problem either does not exist or can be solved by communication between testers. In this paper, for a multi-port FSM with one tester for each port, we define a necessary and sufficient condition under which a test sequence of the FSM does not have the synchronization problem. Such a test sequence is called a port-synchronizable test sequence . Our empirical results show that an FSM may contain many port-synchronizable test sequences that are not synchronizable according to a previous definition of a synchronizable test sequence.