国家自然科学基金(69682002)
- 作品数：14 被引量：61H指数：4
- 相关作者：吴建平赵邑新尹霞徐恪江勇更多>>
- 相关机构：清华大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 分布式通用测试结构的形式化研究被引量：3
- 2000年
- 随着分布式系统的不断发展更新 ,CTMF(ISO/IEC 96 46 )所给出的测试方法已经不能满足实际的需要 .提出了用于分布式系统的一致性测试、互操作测试和性能测试的通用测试结构 (generic test architecture) ,并建立了通用测试结构的形式化模型 ,给出了各部件的操作语义 ,为设计开发具有灵活动态的通信结构的分布式测试系统提供了理论基础和依据 .分布式系统通用测试结构扩展了当前基于被测系统类型的测试方法 ,它可以对实际的分布式系统进行整体测试 .
- 王建国吴建平
- 关键词：分布式系统形式化通信协议
- 策略路由的基本关系及其测试被引量：4
- 2002年
- 边界网关协议 (BGP-4 )支持的策略路由在互联网运行效率和安全方面发挥着重要作用 ,并直接涉及经济利益问题。为了对其进行测试 ,首先讨论了策略路由中所涉及的服务提供者与客户之间的基本关系 ;在分析路由属性与路由策略等概念的基础上 ,定义了路由行为与策略的一致性关系及两类违反一致性的情况。为了获得较好的测试效果 ,在测试手段上综合使用了主动的测试方法和被动的测试方法。这些技术和方法的正确性、有效性在实际测试活动中得以证实 ,并为网络的运行。
- 赵邑新尹霞韩博吴建平
- 关键词：策略路由边界网关协议被动测试INTERNETBGP-4
- IP Over SONET/SDH技术在高性能安全路由器中的应用被引量：1
- 2001年
- 广域网接口是网络互联设备的重要模块，ＩＰ ｏｖｅｒ ＳＯＮＥＴ／ＳＤＨ是网络向高容量扩展的重要技术。文章以高性能安全路由器为依托，介绍了 ＩＰ ｏｖｅｒ ＳＯＮＥＴ／ＳＤＨ产生的背景和基本原理，描述了基于Ｃｏｍｐａｃｔ ＰＣＩ底板的路由器上光接口模块的特性、功能和总体结构，说明了在同步传输中的两个重要问题——扰码和时钟同步及其解决办法，最后介绍了光同步传送网的发展趋势。
- 王伟超吴建平徐明伟
- 关键词：网络互连路由器IP同步光纤网同步数字序列
- 基于TTCN的测试序列选择技术研究被引量：1
- 2000年
- 测试序列选择技术一直是协议测试领域中一个研究热点 .本文对此技术进行了深入地探讨 ,建立了测试集动态关系模型 ,并以此为基础提出了综合静态选择和动态选择的一种实现方案 .
- 尹霞吴建平
- 关键词：计算机网络TTCN
- 路由协议测试研究被引量：9
- 2000年
- 路由协议日益成为Ｉｎｔｅｒｎｅｔ的灵魂，而目前路由协议的测试工作非常有限。本文分析了路由协议相对于数据通信协议的特点，指出了路由协议测试应当测试的内容和目的，据此提出并讨论了应用于路由协议测试的技术思想与测试方法．对于现有测试方法、测试系统，文中分析了它们在路由协议测试中的测试能力、适用范围与不足之处，并提出了改进措施或解决方案。作为一个实例，边界网关协议（ＢＧＰ－４）测试贯穿了全文。
- 赵邑新韩博尹霞吴建平
- 关键词：路由协议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域间路由网络管理
- 测试集自动生成方法中的可执行化研究被引量：10
- 2001年
- 自动生成的测试集是可执行的才具有实用意义 .讨论了在测试集自动生成系统 TU GEN中实现的参数化可执行化算法 ,分析了该算法的效果、不足及其原因 ;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题 ,并在此基础上进一步提出并实现了“可执行参数化”的算法 ,克服了前一算法的不足 ,提高了 TU -GEN的实用性和执行效率 ;在进行了讨论分析后 ,以实例进行了对比和说明 。
- 赵邑新王建国吴建平
- 关键词：参数化
- 一个TCP调试系统的设计与实现被引量：1
- 2001年
- TCP软件一般位于操作系统的核心 ,这种情况给 TCP的研究和调试带来了很大的困难 .在 Sun Solaris平台上 ,我们使用系统提供的 DL PI接口和有关多线程的系统调用 ,构建了一个 TCP调试系统 。
- 章淼熊勇强吴建平
- 关键词：TCP协议INTERNET操作系统
