论文部分内容阅读
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.
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 effectively 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. Firstly, a formal method to real-time protocol interoperability testing is proposed. 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. test behavior tree from SUT model; a mechanism of executability pre-determination is also inte-grated in the tes t 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.