论文部分内容阅读
协议测试理论是从软件测试的基础上发展起来的,协议一致性测试是互操作性测试和性能测试等其它类型的协议测试的基础,它依据协议规范对协议的实现进行测试,以提高协议实现之间互通的概率.ISO制定的ISO/IEC9646标准是最为成熟的协议一致性测试理论,本文结合GSM-R互联互通测试的要求,对该标准中提出的理论进行了综述和分析.本文采用了ISO/IEC9646标准所提出的树表结合的表示方法TTCN来描述GSM-R的协议一致性测试套,并介绍了开发测试系统时常用的功能规格描述语言SDL.