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

A FORMAL APPROACH TO PROTOCOL INTEROPERABILITY TESTING

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

Interoperability testing is an effective means to ensure the interworking between network products. This paper proposes a formal approach to interoperability testing based on concurrent TTCN's operational semantics. Concurrent TTCN is a test notation that can handle concurrent test behaviors. Its operational semantics is defined formally based on labeled transition system, and the interoperability test executing and test verdict are described based on concurrent TTCN. In our view, this approach is very helpful for the research of formal interoperability testing theory.