A formal method to real-time protocol interoperability testing

作者：Wang ZhiLiang^*; Yin Xia; Jing ChuanMing

来源：Science in China - Series F: Information Sciences , 2008, 51(11): 1723-1744.

DOI：10.1007/s11432-008-0153-7

• protocol testing
• interoperability testing
• real-time testing
• test generation
• timed input output automata (TIOA)

Interoperability testing is an important technique to ensure the quality of implementations 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 integrated 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.

• 出版日期2008-11
• 单位清华大学