Synchronizable test sequence generation for protocol conformance testing.

Zhiping. Wang
This study addresses the synchronization problem that arises during the application of a predetermined test sequence in some test architectures used for protocol conformance testing. A solution to this problem is to construct synchronizable test sequences. For FSM-based protocol specifications, a necessary and sufficient condition is given for the existence of a synchronizable test sequence for a given FSM. A polynomial time algorithm is then developed to determine the existence of such a sequence for...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.