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