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

作     者：韩博 姬雷生 尹霞 

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

基　　金：国家自然科学基金支持 ( No.69682 0 0 2 No.6972 5 0 0 3) 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2002年第23卷第12期

页      码：1425-1429页

摘      要：帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 。

主 题 词：形式化技术 帧中继 信令协议 一致性测试 帧中继信令协议 协议集成测试系统 计算机网络 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 081001[081001] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2002.12.003

馆 藏 号：203367230...