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

• 作者: 葛猛 赵保华
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: BGP 协议一致性测试 有限状态机 UIO序列
• 年，卷（期）: 2005,（22）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 108-110
• 页数: 3页
• 分类号: TP393.04
• 字数: 3015字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.22.035

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵保华	中国科学技术大学计算机系	152	1481	21.0	28.0
2	葛猛	中国科学技术大学计算机系	4	37	2.0	4.0