您的位置： 专家智库 > >

姬雷生

作品数：2 被引量：6H指数：1
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇一致性
  • 2篇帧中继
  • 2篇中继
  • 1篇信令
  • 1篇信令协议
  • 1篇因特网
  • 1篇拥塞
  • 1篇拥塞控制
  • 1篇拥塞控制协议
  • 1篇树表结合表示...
  • 1篇网络
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络

机构

  • 2篇清华大学

作者

  • 2篇姬雷生
  • 2篇尹霞
  • 2篇韩博

传媒

  • 1篇通信学报
  • 1篇小型微型计算...

年份

  • 2篇2002
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于形式化技术的帧中继信令协议一致性测试研究被引量：1
2002年
帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 。
韩博姬雷生尹霞
关键词：帧中继信令协议计算机网络
基于形式化技术的帧中继拥塞控制协议一致性测试被引量：5
2002年
帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式化技术的一致性测试集,并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中。
韩博姬雷生尹霞
关键词：帧中继拥塞控制协议一致性树表结合表示法因特网
全选 清除 导出
共1页<1>
聚类工具0