| BGP-4协议一致性测试序列生成 |
| |
| 引用本文： | 葛猛,赵保华.BGP-4协议一致性测试序列生成[J].计算机工程与应用,2005,41(22):108-110. |
| |
| 作者姓名： | 葛猛 赵保华 |
| |
| 作者单位： | 中国科学技术大学计算机系,合肥,230027 |
| |
| 基金项目： | 国家自然科学基金重大研究计划项目（编号：90104010）；国家自然科学基金项目（编号：60241004）；国家973重点基础研究发展规划项目（编号：2003CB314801） |
| |
| 摘 要： | 该文讨论了一种协议测试序列生成的方法,它使用有限状态机模型作为协议的形式化描述规范,然后基于UIO序列和中国乡村邮路算法生成测试序列。该文将其应用于对BGP-4协议的一致性测试中。这种方法以协议的形式化描述为输入,易于自动化实现,同时生成的测试序列较短,提高了测试效率。
|
| 关 键 词： | BGP 协议一致性测试 有限状态机 UIO序列 |
| 文章编号： | 1002-8331-（2005）22-0108-03 |
| 收稿时间： | 2005年9月 |
| 修稿时间： | 2005年9月 |
Conformance Test Sequence Generation of BGP-4 Protocol |
| |
| Ge Meng,ZHAO Baohua.Conformance Test Sequence Generation of BGP-4 Protocol[J].Computer Engineering and Applications,2005,41(22):108-110. |
| |
| Authors: | Ge Meng ZHAO Baohua |
| |
| Abstract: | |
| |
| Keywords: | Border Gateway Protocol(BGP) protocol conformance test FSM UIO sequence |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
