基于扩展有限状态机（EFSM）的协议一致性测试是一个开放的研究主题。 如何为EFSM指定的协议实施自动测试生成系统是一个具有挑战性的问题。 本文重点介绍测试生成系统的实现技术。 具体来说，提出了一种可行的松耦合系统架构和设计思想。 首先，详细介绍了该系统架构的四个主要功能模块及其之间的关系。 然后，根据系统模块的执行顺序，描述了系统的整个测试生成过程，分为三个关键阶段。 接下来，开发了EFSM中指定的集成自动测试序列生成系统ATSGEN。 最后，给出了一个典型的测试示例来演示系统功能。