协议的一致性测试是用来检验协议实现是否符合协议规范,其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机E......

为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机（extended finitestate machine,EFSM）为模型描述的协议进行测......