Sciweavers

Share
SEFM
2007
IEEE

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

12 years 2 months ago
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.
Bernhard K. Aichernig, Bernhard Peischl, Martin We
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where SEFM
Authors Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
Comments (0)
books