Abstract
Protocol conformance testing is used to test if the implementation conform to specification. We commonly use the finite state machine (FSM) model to specify protocols. Due to the black box testing feature and the test architecture, a synchronization problem among inputs may occur. In this thesis, we discuss the synchronizable problem of protocol conformance testing and propose a port-specified synchronizable test sequence definition which can include timeout command. We use an O(mn) algorithm to transfer a digraph of a FSM into a multiplex digraph. Every transfer sequence in the multiplex digraph is synchronizable. Then you can apply different test sequence generation methods on the multiplex digraph .