Synchronizable Checking Sequences Based on UIO Sequences
S. Guyot, Hasan Ural · 1996
This study addresses the synchronization problem that arises during the application of a predetermined checking sequence in some protocol test architectures that utilize remote testers. The synchronization problem can usually be solved by adding an additional communication channel or an additional protocol for coordination between the remote testers. Such requirements can be eliminated by constructing a synchronizable checking sequence such that the corresponding sequence of transitions causes no synchronization problem. Based on UIO sequences, a synchronizable checking sequence construction method is proposed.