【摘要】 绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化，并且生成的测试实例具备一定的诊断数据流错误的能力更多还原

【Abstract】 Most protocols of communication systems are described in EFSM(Extended Finite State Machine) model. In this paper, the formal description of EFSM and the feature of data portion of EFSM are discussed. Then an equivalent transformation method of EFSM and its proof are presented. By protocol transforming, generation of test suite from specifications modeled as EFSM can be simplified and the generated test cases have certain ability to detect errors in data flow of EFSM.更多还原