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

作     者：韩博 姬雷生 尹霞 HAN Bo, JI Lei-sheng, YIN Xia (Department of Computer Science and Technic, Tsinghua University, Beijing 100084, China)

作者机构：清华大学计算机科学与技术系北京100084 

基　　金：国家自然科学基金资助项目(69682002 69725003) 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2002年第23卷第11期

页      码：86-91页

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

主 题 词：形式化技术 帧中继 拥塞控制协议 一致性 测试 树表结合表示法 因特网 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1000-436X.2002.11.013

馆 藏 号：203803666...