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

Formalization and algorithms for automatic OSPF testing

作　　者：李中杰[1] 尹霞[1] 王之梁[1] 吴建平[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《清华大学学报（自然科学版）》2003年第7期968-971,976,共5页Journal of Tsinghua University(Science and Technology)

基　　金：国家自然科学基金资助项目(90104002);国家"八六三"高科技计划(2001AA121015)

摘　　要：针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程。首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试。在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足。将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量。Testing of routing protoco ls requires the generation of a large quantity of test data and automization of th e test process. Test algorithms were developed for the special case of an Interi or Gateway Protocol OSPF (Open Shortest Path First). Routing information processing in the OSPF protocol was formalized for further d iscussions of routing information generation algorithms, neighboring router simu lations and automatic test execution strategies. The test method compensates for the shortage of existing test methods with OSPF intra-area, inter-area and AS external routing information processing functions. The test speed is increased greatly by automatic test execution. With router products tested by other means, the algorithms identify more OSPF implementation errors t o improve product quality.

关 键 词：路由协议测试 计算机网络测试 OSPF协议 开放路径最短优先协议 形式化 

分 类 号：TP393.06[自动化与计算机技术—计算机应用技术]