协议测试套自动生成系统的设计与研究

摘要：

该文讨论了一种协议测试套的自动生成方法及测试套生成系统的实现.该系统使用E-LOTOS作为协议的形式化描述规范,然后基于UIO序列和Dijkstra算法等技术自动生成基于TTCN-3描述的测试套.将该系统应用于对BGP-4协议的一致性测试中,自动生成了BGP-4协议状态机的测试套,提高了效率并且扩大了覆盖面.

关键词：测试套、BGP-4、UIO、TTCN-3

所属期刊栏目：6

分类号：TF311(冶金机械、冶金生产自动化)

在线出版日期：2011-01-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：8018-8020