Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying the well-known TGV tool for protocol conformance testing of a Session Initiation Protocol (SIP) server. arly, we discuss the performed abstractions along with corresponding rationales, and exemplify our novel idea in designing test purposes by relying on structural and fault-based techniques. We present first empirical results obtained from applying our test cases to a commercial implementation and a popular open source implementation of a SIP Registrar. Notably, in both implementations our IOLabeled Transition System model proved successful in revealing severe violations of the protocol.

• Type: Conference
• Year: 2007
• Where: SEFM
• Authors: Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
• Keywords: Model Based Testing, Protocol Conformance Testing, SEFM 2007, Session Initiation Protocol, Software Engineering