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

2002 年11 月 通 信 学 报 Vol.23 No.11 第23 卷 第11 期 JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS November 2002 短 文 基于形式化技术的帧中继拥塞控制协议一致性测试 韩博 姬雷生 尹霞 清华大学 计算机科学与技术系 北京 100084 摘 要 帧中继作为重要的广域网协议得到了日益广泛的应用 但是相关的测试活动却非常有 限 本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试 针 对帧中继拥塞控制协议的特点 采用穿越测试法设计生成了基于形式化技术的一致性测试集 并 且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中 关键词 协议一致性测试 帧中继拥塞控制协议 树表结合表示法 协议集成测试系统 中图分类号 TP393 文献标识码 A 文章编号 1000-436X(2002)11-0086-06 Conformance testing on frame relay congestion control protocol based formal technical HAN Bo, JI Lei-sheng, YIN Xia (Department of Computer Science and Technic, Tsinghua University, Beijing 100084, China) Abstract As a very important WAN protocol, frame relay has been widely used, but the relative testing activity is still very limited. After analyzing the congestion control protocol of frame relay, the paper does some research of it ’s conformance testing and practical testing activity, designs the conformance testing suite based on formal technical using traverse testing method, and has made contribution to the development of routers. Key words protocol conformance testing frame relay congestion control TTCN protocol integrated test system 1 引言 随着 Internet 的迅速发展 网络规模不断扩大 结构日趋复杂 拥塞控制成为 Internet 需要解决的典型问题之一 同时也是网络管理员应该努力避免的问题 协议测试是保证协议 1 [1] 实现性能的有效手段 协议测试可以分为三类 一致性测试 性能测试和互操作性测试 收稿日期 2001-05-11 修订日期 2002-09-18 基金项目 国家自然科学基金资助项目69725003) 作者简介 韩博 1978- 男 河南洛阳人 清华大学博士研究生 主要研究领域为计算机网络 协议测 试 分布式系统 姬雷生 1975- 男 山东济南人 工程师 主要研究领域为计算机网络 尹霞 1972- 女 天津人 博士 清华大学讲师 主要研究领域为计算机网络 协议测试 万方数据 第11 期 韩博等 基于形式化技术的帧中继拥塞控制协议一致