检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]清华大学计算机科学与技术系,北京100080
出 处:《小型微型计算机系统》2006年第8期1426-1431,共6页Journal of Chinese Computer Systems
基 金:国家自然科学基金项目(90104002)资助.
摘 要:随着第二代中国教育和科研计算机网(CERNET2)主干网在北京正式开通,我国下一代互联网(ChinaNextGenerationInternet,CNGI)建设已全面拉开序幕.为测试协议实现的一致性,进而确保不同厂家的IPv6实现间的互操作,研发了IPv6协议集成测试系统.文章中基于本系统,使用形式化的一致性测试方法,对目前五款高端IPv6路由器的ND协议实现进行一致性测试,并对测试结果进行比较分析.As the backbone of the Second Generation of Chinese Education and Research Net (CERNET2) is opened formally in Beijing, Internet's construction of China Next Generation Internet (CNGI) has already raised the curtain in an all-round way. In order to test the conformance that the protocol realizes, and then ensure each IPv6 of different producers working on, the IPv6 protocols integration testing system have been developed. This paper use the Formal Specification Method of conformance test, realize testing five kind of ND router at present in the system, and at last analyse the test results.
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38