边界网关协议BGP4+的一致性测试研究  

Conformance Test Study of Border Gateway Protocol-BGP4+

作　　者：丁雪莲[1] 李华[1] 叶新铭[1] 

机构地区：[1]内蒙古大学计算机学院,呼和浩特010021

出　　处：《计算机科学》2006年第9期36-39,共4页Computer Science

基　　金：国家自然基金项目(60263002);内蒙古科技攻关项目(2002061002);内蒙古自然科学基金(200308020213)。

摘　　要：随着互联网的快速发展,高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4+进行了一致性测试研究；对BGP4及其面向IPv6的扩展BGP4+进行分析,给出了BGP4+协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4+的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。With the development of Internet, effective and steady routing protocol will be an important factor to ensure performance of network. Protocol Testing is an effective method to ensure performance of protocol implementation. We first analysis the feature of BGP4 and the extension of BGP4 oriented to IPv6, BGP4＋. Moreover, FSM model of BGP4＋ protocol is presented. Test cases of BGP4＋ are generated by combining formal and informal method. At last, the test results for a real routing software,Zebra,are given.

关 键 词：BGP4+ 有限状态机 测试例 IUT 

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