一种n个通信有限状态机的交互式生成法

摘要

通信有限状态机是一种直观，易懂且描述能力较强的形式描述工具，它被广泛地用于协议的形式描述，验证及测试、协议变换等，但是，由于描述对象的复杂性和缺少适当的支援工具，ＣＦＳＭ的产生一般依靠手工完成，这除了描述效率低之外，更重要的是所产生的ＣＦＳＭ的性能取于描述人员的习惯、经验，能力等，本文提出了一种由协议文本交互式地产生ｎ个ＣＦＳＭ的生成方法。使用该方法，描述人员可得到ｎ个不包含常见逻辑错误的互相传递