基于形式化技术的帧中继拥塞控制协议一致性测试

• 作者: 姬雷生 尹霞 韩博
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 协议一致性测试 帧中继拥塞控制协议 树表结合表示法 协议集成测试系统
• 年，卷（期）: 2002,（11）
• 所属期刊栏目: 短文
• 页码范围: 86-91
• 页数: 6页
• 分类号: TP393
• 字数: 3798字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2002.11.013

摘要

帧中继作为重要的广域网协议得到了日益广泛的应用,但是相关的测试活动却非常有限.本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试.针对帧中继拥塞控制协议的特点,采用穿越测试法设计生成了基于形式化技术的一致性测试集,并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹霞	清华大学计算机科学与技术系	52	329	9.0	16.0
2	韩博	清华大学计算机科学与技术系	12	58	6.0	7.0
3	姬雷生	清华大学计算机科学与技术系	1	6	1.0	1.0