一种形式化的协议互操作性测试方法

摘要

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段.在本文中我们提出了一种基于并发TTCN操作语义的互操作性测试系统的构造方法.并发TTCN是一种能够处理并发测试行为描述的语言,我们通过使用标号变迁系统形式化地定义了它的操作语义,并描述了基于这种语言的操作语义的互操作性测试系统的测试执行和测试判决过程.我们认为这种方法对研究形式化的协议互操作性测试理论是很有帮助的.