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

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