First, we draw up the information of EFSM from the UML model and then using transition executability analysis, the executable test sequences are generated.

• 先从UML模型中提取出协议模型的EFSM信息，然后利用变迁可执行性分析自动生成可执行的测试序列。