BGP-4协议一致性测试序列生成

摘要：

该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列.该文将其应用于对BGP-4协议的一致性测试中.这种方法以协议的形式化描述为输入,易于自动化实现,同时生成的测试序列较短,提高了测试效率.

关键词：BGP、协议一致性测试、有限状态机、UIO序列

所属期刊栏目：41

分类号：TP393.04(计算技术、计算机技术)

资助基金：国家自然科学基金90104010;国家自然科学基金60241004;国家重点基础研究发展计划973计划2003CB314801

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

页数：共3页

页码：108-110