一个嵌入式设备接入服务器中CFSM的研究

提出了一个面向嵌入式设备的接入服务器,并为此设备接入服务器建立了一个通信有限状态机模型,而且对这个模型进行了分析和研究,实际的运行效果验证了该模型的可行性和正确性。

基于CFSM的一致性测试序列生成方法

本文采用通信有限状态机模型描述通信协议，基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法，解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法，通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。

一个基于知识的通信有限状态机生成器

通信有限状态机(CFSM)是一种直观、易懂且描述能力较强的形式描述工具。它被广泛地用来描述通信协议等。但是,由于描述对象的复杂性和缺少适当的支援工具,通信有限状态机的生成一般依靠手工完成。这除了效率低外,也使得所产生的CFSM的性能取决于描述人员的习惯、经验、能力等。本文描述一个基于知识的CFSM半自动生成器。该生成器用专家系统开发语言OPS83构成,能交互地生成两个不含常见逻辑错误的互相传递消息的CFSM。另外,该生成器还以友好的用户接口:(图形、颜色、文字等方式)向用户展示CFSM的生成过程和生成结果。