论文部分内容阅读
随着网络技术的发展，通信协议变得日益复杂，人们对协议实现质量的要求不断提高。因此，确保各种协议实现的正确性和有效性的协议测试技术有待进一步深化研究。该文介绍了协议测试的基础：协议一致性测试技术及其测试描述语言TTCN-3，分析了TTCN-3在同步描述上存在的不足，以及扩展TTCN-3的必要性，引入了一种互通性测试框架，并在此框架的基础上提出新的状态量的概念。通过对TTCN-3的同步机制进行完善，使得协议一致性测试在分布式测试环境中的应用更为方便，范围更加广泛。