Abstract:Interoperability testing is an important technique to ensure the quality of imple-mentations of network communication protocol. In the next generation Internet protocol,real-time applications should be supported effectively. However,time constraints were not considered in the related studies of protocol interoperability testing,so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper,a formal method to real-time protocol interoperability testing is proposed. Firstly,a formal model CMpTIOA(communicating multi-port timed input output automata) is defined to specify the system under test(SUT) in real-time protocol interoperability testing;based on this model,timed interoperability relation is then defined. In order to check this relation,a test generation method is presented to generate a parameterized test behavior tree from SUT model;a mechanism of executability pre-determination is also inte-grated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.

A Formal Approach to Protocol Interoperability Testing

Test Execution Method Based on TTCN's Operational Semantics

A Formal Approach to Protocol Performance Testing.

An approach to TTCN-based test execution

Interoperability Test Approach Based on ISM

A Formal Approach to Conformance Testing of Internet Routing Protocols

A Formal Method to Real-Time Protocol Interoperability Testing

A Survey on Protocol Interoperability Testing

Realization of Protocol Interoperability Testing Using TTCN-3 Language Based on Property

A Formal Approach To Conformance Testing Of Distributed Routing Protocols

Research on interoperability testing between operating systems

Protocol Testing Theory Based on Formal Methods

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems

A Concurrent TTCN Based Approach to Conformance Testing of Distributed Routing Protocol OSPF V2.

Towards Interoperability Test Generation of Time Dependent Protocols: a Case Study.

Research Of Ttcn-3 Test Method For Protocol Conformance Verification In Gsm-R Interoperability Testing

Protocol Interoperability Test Generation Based on Communicating Multi-Port FSMs

A TTCN-3-based Protocol Testing System and Its Extension.

Research and Practice on Testing Tunnel Protocol

IntegTTCN, a TTCN language extension for protocol integrated testing

An Extension to Concurrent TTCN