计算机科学 ›› 2006, Vol. 33 ›› Issue (9): 36-39.
• 计算机网络与信息安全 • 上一篇 下一篇
丁雪莲 李华 叶新铭
出版日期:
发布日期:
基金资助:
DING Xue-Lian, LI Hua, YE Xin-Ming（College of Computer Science, Neimongol University, Hohhot 010021）
Online:
Published:
摘要： 随着互联网的快速发展，高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4＋进行了一致性测试研究；对BGP4及其面向IPv6的扩展PGP4＋进行分析，给出了BGP4＋协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4＋的测试例。最后给出了运用测试例对具体的协议实现进行测试的结果。
关键词: BGP4＋ 有限状态机 测试例 IUT
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 o
Key words: BGP4＋, FSM, Test case, IUT
丁雪莲 李华 叶新铭. 边界网关协议BGP4＋的一致性测试研究[J]. 计算机科学, 2006, 33(9): 36-39. https://doi.org/
DING Xue-Lian, LI Hua, YE Xin-Ming（College of Computer Science, Neimongol University, Hohhot 010021）. [J]. Computer Science, 2006, 33(9): 36-39. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I9/36
Cited
首页