EFSM的等价转换和通信协议一致性测试

摘要

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