基于形式化技术的帧中继信令协议一致性测试研究

• 作者: 姬雷生 尹霞 韩博
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 协议一致性测试 帧中继信令协议 TTCN(tree and table combined notation) 协议集成测试系统
• 年，卷（期）: 2002,（12）
• 页码范围: 1425-1429
• 页数: 5页
• 分类号: TP393
• 字数: 5359字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2002.12.003

摘要

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