IDACOM3X协议一致性测试集的研究与分析

• 作者: 毕军
• 来源期刊: 微小型计算机开发与应用
• 学科: 工学
• 关键词: 计算机网络 一致性 测试集 3X协议 网络协议
• 年，卷（期）: 1996,（3）
• 页码范围: 9-11
• 页数: 3页
• 分类号: TP393

摘要

在计算机网络协议一致性测试中，形式化技术是一种重要的理论发展方向。本文在介绍形式化的测试集描述技术的基础上，对加拿大ＩＤＡＣＯＭ的３Ｘ协议一致性测试集进行了分析，指出它在形式化方面的不足和改进的方向。