论文部分内容阅读
本文采用通信有限状态机模型描述构件化协议,基于通信有限状态机模型提出了构件化协议一致性测试的测试序列自动生成算法,解决了多状态机协议的测试序列生成的问题.文章应用提出的算法对构件化SIP协议进行了测试实现,生成了相应的测试序列,通过实例说明了采用构件化测试序列自动生成算法生成了比传统算法更少的测试序列.同时本算法还可以用于多层协议测试.