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

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。

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.