搜索筛选:
搜索耗时2.1421秒,为你在为你在102,285,761篇论文里面共找到 19 篇相符的论文内容
发布年度:
[期刊论文] 作者：郝瑞兵,,
来源：电力安全技术 年份：2009
针对煤仓容易发生粘煤的现象,分析了粘煤的原因和粘煤的危害,提出了防范对策,阐述了放空仓试验的注意事项,并对清仓的危险点进行了分析,列出了仓内人力清仓的三大措施要点。...
[期刊论文] 作者：郝瑞兵,
来源：软件学报 年份：1994
测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现......
[期刊论文] 作者：郝瑞兵,吴建平,
来源：计算机学报 年份：1997
对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。...
[期刊论文] 作者：郝瑞兵,吴建平,
来源：通信学报 年份：1996
测试执行是协议一致性测试系统中的主要部分，本文提出一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行了解释执行的测试执行方法，利用这种方法所实现的一致性测试系统具有很强......
[期刊论文] 作者：郝瑞兵,吴建平,
来源：通信学报 年份：
异步传输模式（ＡＴＭ）常被认为是一种解决网络带宽瓶颈的技术，但是应用程序从ＡＴＭ网络获得的带宽受到许多因素的限制。本文通过在ＣＥＲＮＥＴ的ＡＴＭ测试床上的实验，对基于ＡＴＭＡＰＩ的数据交换和基于ＴＣＰ／ＩＰ／ＡＴＭ的数据交换进行了对比。结果表明，原始的ＡＴＭ信元交换其效率是非常好的，但在不同协议栈上的应用所能获得的带宽......
[期刊论文] 作者：郝瑞兵,吴建平,
来源：计算机工程与应用 年份：1998
协议测试技术是保证ＡＴＭ产品互连通的重要手段。该文首先分析了ＡＴＭ协议测试的测试内容和测试需求。基于这些分析，提出了适合于ＡＴＭ协议的测试结构和测试描述技术。最后结合信令协议Ｑ．２９３１的测试......
[期刊论文] 作者：郝瑞兵,吴建平,
来源：软件学报 年份：1997
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节，本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了......
[期刊论文] 作者：郝瑞兵,吴建平,
来源：电子学报 年份：1998
协议一致性测试和互操作性测试是保证不同厂商的ＡＴＭ产品和服务实现完全的互通的重要技术手段，本文分析了ＡＴＭ协议的测试需求，提出了适合的测试结构和测试描述技术，并结合适配层协议ＣＰＡＡＬ５讨论......
[期刊论文] 作者：郝瑞兵,吴建平,
来源：软件学报 年份：1994
测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现......
[期刊论文] 作者：郝瑞兵,吴建平,
来源：Journal of Computer Science and Technology 年份：1998
Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed...
[期刊论文] 作者：郝瑞兵,张文铖,
来源：小型微型计算机系统 年份：1997
协议测试技术是保证不同网络疾病之间互连互通的重要手段。本文提出了一种协议一致性测试、协议互操作性测试和系统互连互通性测试结合在一起的集成测试结构和测试策略，并讨论......
[期刊论文] 作者：郝瑞兵,徐明伟,
来源：小型微型计算机系统 年份：1996
分布式测试方法是对网络产品进行协议一致性测试活动的一种重要的抽象测试方法，在本文中我们提出了分布式抽象测试法的一种骑跨实现技术，并详细讨论了它的测试结构和优缺点，同时......
[期刊论文] 作者：郝瑞兵,吴建平,史美林,
来源：计算机工程与应用 年份：1998
协议测试技术是保证ＡＴＭ产品互连通的重要手段。该文首先分析了ＡＴＭ协议测试的测试内容和测试需求。基于这些分析，提出了适合于ＡＴＭ协议的测试结构和测试描述技术。最后结合信令协议Ｑ．２９３１的测试......
[期刊论文] 作者：郝瑞兵,张文铖,吴建平,
来源：小型微型计算机系统 年份：1997
协议测试技术是保证不同网络产品之间互连互通的重要手段。本文提出了一种协议一致性测试、协议互操作性测试和系统互连通性测试结合在一起的集成测试结构和测试策略，并讨论了......
[期刊论文] 作者：郝瑞兵,吴建平,史美林,
来源：软件学报 年份：1997
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了......
[期刊论文] 作者：郝瑞兵,吴建平,史美林,
来源：通信学报 年份：
测试执行是协议一致性测试系统中的主要部分，本文提出了一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行解释执行的测试执行方法。利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率。另外，我们还介绍了基于这种测试方法所完......
[期刊论文] 作者：眭永波,王忠民,郝瑞兵,
来源：计算机工程与应用 年份：2004
针对EFSM可达性分析过程中的状态空间爆炸问题，提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行，引...
[期刊论文] 作者：郝瑞兵,徐明伟,张志豪,刘方遒,吴建平,
来源：小型微型计算机系统 年份：1996
分布式测试方法是对网络产品进行协议一致性测试活动的一种重要的抽象测试方法。在本文中我们提出了分布式抽象测试法的一种骑跨式实现技术，并详细讨论了它的测试结构和优缺点......
[期刊论文] 作者：吴建平,陈修环,郝瑞兵,徐明伟,杨家海,毕军,尹霞,
来源：清华大学学报(自然科学版) 年份：1998
在协议测试中采用形式化技术将使协议测试更加精确和高效。文中讨论了一种基于形式化方法的协议一致性测试策略，并介绍了根据这种策略设计和实现的一个协议集成测试系统ＰＩＴＳ。这种......
相关搜索：
