| 边界网关协议BGP4＋的一致性测试研究 |
| |
| 引用本文： | 丁雪莲,李华,叶新铭.边界网关协议BGP4＋的一致性测试研究[J].计算机科学,2006,33(9):36-39. |
| |
| 作者姓名： | 丁雪莲 李华 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院,呼和浩特,010021 |
| |
| 基金项目： | 国家自然科学基金;内蒙古科技攻关项目;内蒙古自然科学基金 |
| |
| 摘 要： | 随着互联网的快速发展，高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4＋进行了一致性测试研究；对BGP4及其面向IPv6的扩展PGP4＋进行分析，给出了BGP4＋协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4＋的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。
|
| 关 键 词： | 有限状态机 测试例 |
Conformance Test Study of Border Gateway Protocol-BGP4 + |
| |
| DING Xue-Lian,LI Hu,YE Xin-Ming.Conformance Test Study of Border Gateway Protocol-BGP4 +[J].Computer Science,2006,33(9):36-39. |
| |
| Authors: | DING Xue-Lian LI Hu YE Xin-Ming |
| |
| Affiliation: | College of Computer Science, Neimongol University, Hohhot 010021 |
| |
| Abstract: | 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. |
| |
| Keywords: | BGP4 IUT |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
