| 自动OSPF协议测试的形式化及算法 |
| |
| 引用本文： | 李中杰,尹霞,王之梁,吴建平. 自动OSPF协议测试的形式化及算法[J]. 清华大学学报(自然科学版), 2003, 43(7): 968-971 |
| |
| 作者姓名： | 李中杰 尹霞 王之梁 吴建平 |
| |
| 作者单位： | 清华大学,计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家自然科学基金资助项目(90104002);国家"八六三"高科技计划(2001AAl21015) |
| |
| 摘 要： | 针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.
|
| 关 键 词： | 计算机网络测试 路由协议测试 开放最短路径优先(OSPF协议) OSPF形式化 |
| 文章编号： | 1000-0054(2003)07-0968-04 |
| 修稿时间： | 2002-09-25 |
Formalization and algorithms for automatic OSPF testing |
| |
| LI Zhongjie,YIN Xia,WANG Zhiliang,WU Jianping. Formalization and algorithms for automatic OSPF testing[J]. Journal of Tsinghua University(Science and Technology), 2003, 43(7): 968-971 |
| |
| Authors: | LI Zhongjie YIN Xia WANG Zhiliang WU Jianping |
| |
| Abstract: | |
| |
| Keywords: | computer network testing routing protocol test Open Shortest Path First (OSP F) OSPF formalization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
