Research on modeling and development process for passive interoperability testing

Interoperability testing is to confirm that two or more Implementation under Test (IUTs) are able to correctly communicate or interoperate. Passive method does not disturb the components´ normal operation and works over real network environment. In order to improve efficiency of testing in special network environment, this paper presents a generic and systematic development process for automated passive interoperability testing and the development process are language and system technology independent. This method mainly monitors the exchange message between IUTs and checks these message with composite global finite state machines which are generated based on standard and protocol. And the method also considers aspects including system partition, trace verification, verdicts, and limitations of the System under Test (SUT). In addition, this paper also introduces every step of development process for automated testing and some related algorithm which are presented based on the Communication Finite State Machine (CFSM) model. At the last, we present a generic frame for implementation and demonstrate our algorithm and the development process through an application in SIP protocol.