Abstract: The strategy of automatically generating executable test sequences is presented. First, we draw up the information of EFSM from the UML model and then using transition executability analysis, the executable test sequences are generated. The generation strategy combines the merits of both data flow test and control flow test, having both higher fault coverage of tests and complete test for the data part of the communication protocol so as to advance the efficiency of conformance test.