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 Performance Testing.

A Formal Approach to Protocol Interoperability Testing

An Extension to Concurrent TTCN

Protocol Performance Testing Based On Tiots

An approach to TTCN-based test execution

A Formal Approach to Conformance Testing of Internet Routing Protocols

Test Execution Method Based on TTCN's Operational Semantics

SoC performance modeling methodology and implementation basedon transaction dataflow

A Formal Approach To Conformance Testing Of Distributed Routing Protocols

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

IntegTTCN, a TTCN language extension for protocol integrated testing

Protocol Testing Theory Based on Formal Methods

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

A System Analysis Approach for Protocol Test

Hybrid Performance Modeling And Analyzing Of Parallel Systems

A self-adaptive test framework for concurrent programs

Network Protocol Performance Testing Based on Stochastic Petri Nets

Protocol Integrated Test System Based on Formal Technology——pits

Internet protocol conformance testing by using a TTCN based protocol integrated test system

A Formal Method to Real-Time Protocol Interoperability Testing

Application of a TTCN-based conformance test environment to the Internet email protocol