In this paper, we propose a method for generating test sequences for ommunication protocols written in ESTELLE.

• 本文提出了从ESTELLE语言规范生成测试序列的方法。