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

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
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. Particularly, we discuss the performed abstractions along with corresponding rationales. Furthermore, we show how to use structural and fault-based techniques for test purpose design. We present first empirical results
more » ... obtained from applying our test cases to a commercial implementation and to a popular open source implementation of a SIP Registrar. Notably, in both implementations our input output labeled transition system model proved successful in revealing severe violations of the protocol. * The research herein is partially conducted within the competence network Softnet Austria (www.soft-net.at) and funded by the Austrian Federal Ministry of Economics (bm:wa), the province of Styria, the Steirische Wirtschaftsfrderungsgesellschaft mbH. (SFG), and the city of Vienna in terms of the center for innovation and technology (ZIT). † Authors are listed in alphabetical order. Fifth IEEE International Conference on Software Engineering and Formal Methods 0-7695-2884-8/07 $25.00
doi:10.1109/sefm.2007.31 dblp:conf/sefm/AichernigPWW07 fatcat:5ih3iayiebbmfcnw3oqrubrase