检索结果-南通市图书馆

电子学报 1998年第11期26卷 89-91页

作者：郝瑞兵吴建平清华大学计算机系网络实验室北京1000084

协议一致性测试和互操作性测试是保证不同厂商的ATM产品和服务实现完全的互通的重要技术手段本文分析了ATM协议的测试需求，提出了适合的测试结构和测试描述技术。

关键词：异步传输模式一致性测试计算机网络

在线全文

学校读者我要写书评

暂无评论

测试集自动生成工具TUGEN的设计与实现

软件学报 1994年第5期5卷 26-28页

作者：郝瑞兵吴建平清华大学计算机系

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形... 详细信息

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ的正确性和有效性进行了验证并得到了满意的结果．我们相信，ＴＵＧＥＮ完全可以成为一个测试集自动生成的有力工具．

关键词：通信协议测试 TUGEN 设计

在线全文

学校读者我要写书评

暂无评论

一种形式化的协议互操作性测试方法

计算机学报 1997年第4期20卷 350-359页

作者：郝瑞兵吴建平清华大学计算机科学与技术系

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段．在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法．并发ＴＴＣＮ是一种能够处理并发测试行为描述的语言，我们通过使用标号变迁系统形式... 详细信息

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段．在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法．并发ＴＴＣＮ是一种能够处理并发测试行为描述的语言，我们通过使用标号变迁系统形式化地定义了它的操作语义，并描述了基于这种语言的操作语义的互操作性测试系统的测试执行和测试判决过程．我们认为这种方法对研究形式化的协议互操作性测试理论是很有帮助的．

关键词：协议互操作性测试协议一致性测试标号变迁系统

在线全文

学校读者我要写书评

暂无评论

基于TTCN的测试执行方法及其应用

通信学报 1996年第5期17卷 9-14页

作者：郝瑞兵吴建平史美林清华大学

测试执行是协议一致性测试系统中的主要部分，本文提出了一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行解释执行的测试执行方法。利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率。... 详细信息

测试执行是协议一致性测试系统中的主要部分，本文提出了一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行解释执行的测试执行方法。利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率。另外，我们还介绍了基于这种测试方法所完成的协议一致性测试系统（ＰＣＴＳ）的总体结构、设计思想以及测试配置。

关键词：一致性测试测试执行 TTCN 网络协议计算机网络

在线全文

学校读者我要写书评

暂无评论

一种形式化的基于TTCN的测试执行方法

软件学报 1997年第5期8卷 367-375页

作者：郝瑞兵吴建平史美林清华大学计算机系

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的... 详细信息

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统。

关键词：协议一致性测试 TTCN 测试执行计算机

在线全文

学校读者我要写书评

暂无评论

协议集成测试系统的设计与实现

小型微型计算机系统 1997年第10期18卷 7-13页

作者：郝瑞兵张文铖吴建平清华大学计算机系网络实验室

协议测试技术是保证不同网络产品之间互连互通的重要手段。本文提出了一种协议一致性测试、协议互操作性测试和系统互连通性测试结合在一起的集成测试结构和测试策略，并讨论了它的一个具体实现，协议集成测试系统ＰＩＴＳ的设计和实现... 详细信息

协议测试技术是保证不同网络产品之间互连互通的重要手段。本文提出了一种协议一致性测试、协议互操作性测试和系统互连通性测试结合在一起的集成测试结构和测试策略，并讨论了它的一个具体实现，协议集成测试系统ＰＩＴＳ的设计和实现技术。实际测试表明ＰＩＴＳ可以极大地提高测试活动的效率并降低测试开销。

关键词：协议集成测试计算机网络 TCP/IP协议设计

ATM协议的测试研究及其在信令协议上的应用

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 1998年第11期34卷 11-13页

作者：郝瑞兵吴建平史美林清华大学计算机系网络实验室

协议测试技术是保证ＡＴＭ产品互连通的重要手段。该文首先分析了ＡＴＭ协议测试的测试内容和测试需求。基于这些分析，提出了适合于ＡＴＭ协议的测试结构和测试描述技术。最后结合信令协议Ｑ．２９３１的测试讨论了协议集成测试系统（... 详细信息

协议测试技术是保证ＡＴＭ产品互连通的重要手段。该文首先分析了ＡＴＭ协议测试的测试内容和测试需求。基于这些分析，提出了适合于ＡＴＭ协议的测试结构和测试描述技术。最后结合信令协议Ｑ．２９３１的测试讨论了协议集成测试系统（ＰＩＴＳ）在ＡＴＭ信令协议测试中的应用。

关键词： ATM 协议测试信令协议计算机网络

在线全文

学校读者我要写书评

暂无评论

ATM局域网性能测试与分析

通信学报 1998年第11期19卷 44-48页

作者：郝瑞兵吴建平清华大学计算机系网络实验室

异步传输模式（ＡＴＭ）常被认为是一种解决网络带宽瓶颈的技术，但是应用程序从ＡＴＭ网络获得的带宽受到许多因素的限制。本文通过在ＣＥＲＮＥＴ的ＡＴＭ测试床上的实验，对基于ＡＴＭＡＰＩ的数据交换和基于ＴＣＰ／ＩＰ／ＡＴＭ的... 详细信息

异步传输模式（ＡＴＭ）常被认为是一种解决网络带宽瓶颈的技术，但是应用程序从ＡＴＭ网络获得的带宽受到许多因素的限制。本文通过在ＣＥＲＮＥＴ的ＡＴＭ测试床上的实验，对基于ＡＴＭＡＰＩ的数据交换和基于ＴＣＰ／ＩＰ／ＡＴＭ的数据交换进行了对比。结果表明，原始的ＡＴＭ信元交换其效率是非常好的，但在不同协议栈上的应用所能获得的带宽受系统软件、传统的网络协议和端系统等诸多方面的限制。通过调整这些因素，可以提高应用程序可获得的带宽。

关键词： ATM网络性能测试 ATMAPI 局域网

A Formal Approach to Protocol Interoperability Testing

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 1998年第1期13卷 79-90页

作者：郝瑞兵吴建平 DepartmentofComputerScience TsinghuaUniversityBeijing100084P.R.China DepartmentofComputerScience Ts

Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN. We define Concurrent TTCN's operational semantics by using Labeled transition System, and describe the interoperability test execution and test verdict based on Concurrent TTCN. This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.

关键词： Interoperability testing concurrent semantics concurrent TTCN FDT-based application.

在线全文

学校读者我要写书评

暂无评论

煤仓粘煤原因、危害及清仓安全措施

电力安全技术 2009年第2期11卷 7-9页

作者：郝瑞兵射阳港发电有限责任公司江苏盐城224346

针对煤仓容易发生粘煤的现象,分析了粘煤的原因和粘煤的危害,提出了防范对策,阐述了放空仓试验的注意事项,并对清仓的危险点进行了分析,列出了仓内人力清仓的三大措施要点。

关键词：煤仓粘煤放空仓人力清仓安全措施