自动OSPF协议测试的形式化及算法

• 作者: 吴建平 尹霞 李中杰 王之梁
• 来源期刊: 清华大学学报(自然科学版)
• 学科: 工学
• 关键词: 计算机网络测试 路由协议测试 开放最短路径优先(OSPF协议) OSPF形式化
• 年，卷（期）: 2003,（7）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 968-971,976
• 页数: 5页
• 分类号: TP393.06
• 字数: 4004字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-0054.2003.07.030

摘要

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴建平	清华大学计算机科学与技术系	298	5155	36.0	63.0
2	王之梁	清华大学计算机科学与技术系	19	87	5.0	9.0
3	尹霞	清华大学计算机科学与技术系	52	329	9.0	16.0
4	李中杰	清华大学计算机科学与技术系	6	33	3.0	5.0