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

摘要

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