摘要
随着互联网的快速发展,高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议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.
出处
《计算机科学》
CSCD
北大核心
2006年第9期36-39,共4页
Computer Science
基金
国家自然基金项目(60263002)
内蒙古科技攻关项目(2002061002)
内蒙古自然科学基金(200308020213)。
