云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60572082)

国家自然科学基金(60572082): 作品数：12被引量：26H指数：4; 导出分析报告; 相关作者：尹霞王之梁施新刚景传明范伦挺更多>>; 相关机构：清华大学北京林业大学更多>>; 相关期刊：《计算机应用研究》《计算机工程》《Tsinghua Science and Technology》《厦门大学学报（自然科学版）》更多>>; 相关主题：BGPTTCN-3OSPF拓扑边界网关协议更多>>; 相关领域：自动化与计算机技术电子电信更多>>

基于TTCN-3的LDP一致性测试研究被引量：2: 《计算机应用研究》2009年第1期286-288,共3页陈元尹霞王之梁; 国家自然科学基金资助项目(60572082); 为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP...; 关键词：一致性测试测试和测试控制表示法v3 协议集成测试系统v3 标记分发协议

OSPFv3路由监控系统的设计与实现被引量：1: 《计算机工程》2008年第24期124-127,共4页范伦挺王之梁尹霞崔赛华; 国家自然科学基金资助项目(60572082); OSPFv3是IPv6下使用最多的域内路由协议之一。该文针对OSPFv3路由监控问题,设计并实现一种基于被动监听模式的OSPFv3路由监控系统。系统通过分析从目标网络采集到的OSPFv3路由协议报文,实现了报文统计、报文解析、当前和历史拓扑展现、...; 关键词：OSPFv3协议路由监控拓扑

A TTCN-3-based protocol testing system and its extension被引量：4: 《Science in China(Series F)》2008年第11期1703-1722,共20页YIN Xia1,3,WANG ZhiLiang2,3,JING ChuanMing1,3 & SHI XinGang2,3 1 Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China 2 Network Research Center,Tsinghua University,Beijing 100084,China 3 Tsinghua National Laboratory for Information Science and Technology(TNList) ,Beijing 100084,China; the National Basic Research Program of China (973 Program) (Grant No. 2003CB314801);the National Natural Science Foundation of China (Grant No. 60572082); The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3 is ...; 关键词：protocol testing TTCN-3 PITSv3 robustness testing

A formal method to real-time protocol interoperability testing被引量：6: 《Science in China(Series F)》2008年第11期1723-1744,共22页WANG ZhiLiang1,3,YIN Xia2,3 & JING ChuanMing2,3 1 Network Research Center,Tsinghua University,Beijing 100084,China 2 Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China 3 Tsinghua National Laboratory for Information Science and Technology(TNList) ,Beijing 100084,China; the National Basic Research Program of China (973 Program) (Grant No. 2003CB314801);the National Natural Science Foundation of China (Grant No. 60572082); Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effec...; 关键词：protocol testing interoperability testing real-time testing test generation timed input output automata（TIOA）

一种基于TTCN-3的协议测试系统及其扩展研究被引量：7: 《中国科学（E辑）》2008年第10期1594-1613,共20页尹霞王之梁景传明施新刚; 国家重点基础研究发展计划(批准号:2003CB314801);国家自然科学基金(批准号:60572082)资助项目; 用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络.为下一代互联网服务的协议测试技术需要适应这些测试需求.文中重点研究了协议测试中的测试集描述法和测试实现技术.选取了TTCN-3作为测试集描述法,并针...; 关键词：协议测试 TTCN-3 PITSv3 鲁棒性测试

一种形式化的实时协议互操作性测试方法被引量：1: 《中国科学（E辑）》2008年第10期1614-1635,共22页王之梁尹霞景传明; 国家重点基础研究发展计划(批准号:2003CB314801);国家自然科学基金(批准号:60572082)资助项目; 协议互操作性测试是一种保证网络通信协议实现质量的重要技术.下一代互联网协议需要提供对实时应用的有效支持,然而已有互操作性测试相关研究中并没有考虑协议中的时间约束,现有互操作性测试技术很难应用于实时协议互操作性测试中.文中...; 关键词：协议测试互操作性测试实时测试测试生成时间输入输出自动机TIOA

MED欺骗与域间出口选择: 《计算机应用研究》2008年第10期3136-3138,共3页张卫国吴建平尹霞; 国家自然科学基金资助项目(60572082); BGP(边界网关协议)是目前用于广域网中最主要的域间分布式动态路由协议,具有丰富的路由控制机制。BGP MED(multi-exit-disc)属性的正确使用可以避免热土豆路由和MED振荡。提出了一种称之为MED欺骗的路由策略技术,用于实现域间的出口选...; 关键词：热土豆路由边界网关协议 MED欺骗域间出口选择仿真

结合AS层次关系的域间路由收敛时间分析: 《中国海洋大学学报（自然科学版）》2008年第S1期175-178,共4页吴鑫尹霞王之梁唐敏; 国家自然科学基金项目(60572082)资助; 域间路由系统存在慢收敛现象,已有研究表明该现象与不同路由事件及AS之间的商业关系有关。文中结合AS层次关系推导算法及路由事件分类算法对路由事件进行细分,分析比较了各类细分路由事件收敛时间的特征。实验结果表明:将AS商业关系作...; 关键词：域间路由收敛时间边界网关协议(BGP) 自治系统(AS)

MED路由策略研究: 《中国海洋大学学报（自然科学版）》2008年第S1期195-198,共4页张卫国尹霞吴建平; 国家自然科学基金重点项目(60572082)资助; 边界网关协议是目前用于广域网中最主要的域间分布式动态路由协议,具有丰富的路由控制机制。MED属性的使用不当通常会引起热土豆路由和MED振荡。介绍热土豆路由和MED振荡,总结分析了避免热土豆路由和MED振荡的方法,并针对广域网和专网...; 关键词：热土豆路由 BGP MED 路由策略仿真

路由监控分析系统的设计和实现被引量：1: 《计算机科学》2008年第1期56-59,共4页唐敏施新刚喻星尹霞; 国家自然科学基金资助项目(60572082); BGP和OSPF是目前网络中普遍使用的域间和域内路由协议,路由协议的运行状态直接影响网络性能。本文设计和实现了一个通用的路由监控分析系统,能实时收集路由信息,自动生成域间域内拓扑,提供历史拓扑信息的浏览和重放、拓扑图的比较、路...; 关键词：路由监控 BGP OSPF 拓扑稳定性

国家自然科学基金(60572082)