国家自然科学基金(69682002) 作品数:14 被引量:61 H指数:4 相关作者: 吴建平 赵邑新 尹霞 徐恪 江勇 更多>> 相关机构: 清华大学 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 “九五”国家科技攻关计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
分布式通用测试结构的形式化研究 被引量:3 2000年 随着分布式系统的不断发展更新 ,CTMF(ISO/IEC 96 46 )所给出的测试方法已经不能满足实际的需要 .提出了用于分布式系统的一致性测试、互操作测试和性能测试的通用测试结构 (generic test architecture) ,并建立了通用测试结构的形式化模型 ,给出了各部件的操作语义 ,为设计开发具有灵活动态的通信结构的分布式测试系统提供了理论基础和依据 .分布式系统通用测试结构扩展了当前基于被测系统类型的测试方法 ,它可以对实际的分布式系统进行整体测试 . 王建国 吴建平关键词:分布式系统 形式化 通信协议 策略路由的基本关系及其测试 被引量:4 2002年 边界网关协议 (BGP-4 )支持的策略路由在互联网运行效率和安全方面发挥着重要作用 ,并直接涉及经济利益问题。为了对其进行测试 ,首先讨论了策略路由中所涉及的服务提供者与客户之间的基本关系 ;在分析路由属性与路由策略等概念的基础上 ,定义了路由行为与策略的一致性关系及两类违反一致性的情况。为了获得较好的测试效果 ,在测试手段上综合使用了主动的测试方法和被动的测试方法。这些技术和方法的正确性、有效性在实际测试活动中得以证实 ,并为网络的运行。 赵邑新 尹霞 韩博 吴建平关键词:策略路由 边界网关协议 被动测试 INTERNET BGP-4 IP Over SONET/SDH技术在高性能安全路由器中的应用 被引量:1 2001年 广域网接口是网络互联设备的重要模块,IP over SONET/SDH是网络向高容量扩展的重要技术。文章以高性能安全路由器为依托,介绍了 IP over SONET/SDH产生的背景和基本原理,描述了基于Compact PCI底板的路由器上光接口模块的特性、功能和总体结构,说明了在同步传输中的两个重要问题——扰码和时钟同步及其解决办法,最后介绍了光同步传送网的发展趋势。 王伟超 吴建平 徐明伟关键词:网络互连 路由器 IP 同步光纤网 同步数字序列 基于TTCN的测试序列选择技术研究 被引量:1 2000年 测试序列选择技术一直是协议测试领域中一个研究热点 .本文对此技术进行了深入地探讨 ,建立了测试集动态关系模型 ,并以此为基础提出了综合静态选择和动态选择的一种实现方案 . 尹霞 吴建平关键词:计算机网络 TTCN 基于虚拟多任务机制的OSPF-2的设计与实现 被引量:1 2001年 OSPF(Open Shortest Path First Protocol)协议是目前Internet上广泛使用的自治系统内部交换路由信息的动态路由协议。文章介绍了在清华大学研制的国产高性能路由器中分布式路由协议OSPF-2的具体实现。为了实现这一复杂的动态协议,文章提出了基于事件驱动的虚拟多任务机制的设计和实现方法。这种机制能够有效支持复杂系统的分解,在实时性要求不高的前提下提供一种简便有效的并行机制,方便基于状态机的软件实现,提高了软件的可移植性。该方法对于其它的Internet高层协议的设计和实现也有一定的参考价值。 朱江 吴建平 毕军关键词:高性能路由器 路由协议 INTERNET 分布式路由器操作维护管理系统的设计与实现 2001年 路由器操作维护管理 (OAM)系统负责对路由器进行操作和管理 ,它是路由器正常运行的保证 ,是路由器中的重要模块 .高性能路由器通常采用分布式体系结构 ,这就对操作维护管理提出了新的要求 .本文对路由器操作管理进行了深入的研究 ,首先介绍了路由器操作管理的设计要求和研究现状 ,然后介绍了清华大学研制的高性能多协议路由器的软硬件体系结构和其对操作维护管理系统的功能要求 ,设计并实现了面向分布式路由器的操作维护管理系统 .最后总结了全文并指出了进一步研究方向 . 江勇 徐恪 吴建平关键词:分布式路由器 INTERNET 路由协议测试研究 被引量:9 2000年 路由协议日益成为Internet的灵魂,而目前路由协议的测试工作非常有限。本文分析了路由协议相对于数据通信协议的特点,指出了路由协议测试应当测试的内容和目的,据此提出并讨论了应用于路由协议测试的技术思想与测试方法.对于现有测试方法、测试系统,文中分析了它们在路由协议测试中的测试能力、适用范围与不足之处,并提出了改进措施或解决方案。作为一个实例,边界网关协议(BGP-4)测试贯穿了全文。 赵邑新 韩博 尹霞 吴建平关键词:路由协议 BGP-4 TCP重传计时器的实现和改进 被引量:4 2000年 传输控制协议(TCP)是Internet上数据传输采用的核心协议.为提高性能和保证数据的可靠传输,TCP使用了重传计时器的概念.文章对Xinu操作系统中的TCP重传计时器管理和往返时间(RTT:Round Trip Time)测量两方面的问题进行了分析,并提出了改进的方案. 章淼 熊勇强 吴建平关键词:传输控制协议 用户数据报协议的一致性测试研究 被引量:3 2002年 Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要介绍用户数据报协议UDP的基础上,依托协议集成测试系统(PITS)给出了用户数据报协议UDP的测试方法、测试组织和测试集结构,最后介绍了利用此系统进行的实际的UDP测试活动,并给出了测试结果和分析。 鱼晓丽 吴建平关键词:用户数据报协议 通信协议 INTERNET 域间路由错误管理 被引量:2 2002年 域间路由是支持因特网的运行关键技术。研究了对域间路由错误管理。错误管理将根据在域间连接上采集路由交互信息构造自治系统级的拓扑结构图 ,通过与实际拓扑结构比较 ,进行错误判别和定位 ,并提供错误恢复所需信息。定义了自治系统、边界路由器、路由和连接等这些域间路由中的基本对象 ,描述了它们之间的关系 ,形式化地定义了自治系统级网络拓扑图。在此基础上提出了拓扑图的构造算法、错误判别算法和错误定位算法 ,并分析了各种算法的复杂性。以应用于实践的“在线智能 BGP- 4分析仪”为例 ,说明了上述理论算法在实际中的具体应用和效果。 赵邑新 尹霞 吴建平 于滨关键词:自治系统 拓扑结构 边界网关协议 INTERNET 域间路由 网络管理