检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:丁雪莲[1]
机构地区:[1]内蒙古财经学院计算机信息管理系,内蒙古呼和浩特010070
出 处:《微型机与应用》2011年第15期50-52,56,共4页Microcomputer & Its Applications
摘 要:针对面向IPv6的边界网关协议BGP4+进行了互操作性测试研究。讨论了BGP4+与BGP4的区别,给出了BGP4+协议测试的有限状态机模型。运用形式化与非形式化相结合的方法生成了BGP4+的测试例,并给出了运用测试例对具体的协议实现测试的结果。This paper studies the interoperablity testing of BGP4 + which is aimed at IPv6. The paper firstly discusses the difference between BGP4 and BGP4+. Moreover, FSM model of BGP4+ protocol is presented. Test cases of BGP4+ are generated by combining formal and unformal method. At last, the test result for a real routing software is given.
分 类 号:TP393.06[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222