Protocol conformance testing a SIP registrar: an industrial application of formal methods

被引：9

作者：

Aichernig, Bernhard K. ^{[1
]}

Peischl, Bernhard ^{[2
]}

Weiglhofer, Martin ^{[2
]}

Wotawa, Franz ^{[1
]}

机构：

[1] Graz Univ Technol, Inst Software Technol, A-8010 Graz, Austria

[2] Graz Univ Technol, Inst Software Technol, Competence Network Softnet, A-8010 Graz, Austria

来源：

SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS | 2007年

关键词：

D O I：

10.1109/SEFM.2007.29

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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 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.

引用

页码：215 / +

页数：2

共 50 条

[21] Process Mining Techniques in Conformance Testing of Inventory Processes: An Industrial Application
Paszkiewicz, Zbigniew
[J]. BUSINESS INFORMATION SYSTEMS WORKSHOPS, BIS 2013, 2013, 160 : 302 - 313
[22] Conformance testing methodology of Internet protocols - Internet application-layer protocol testing - the hypertext transfer protocol
Gecse, R
[J]. TESTING OF COMMUNICATING SYSTEMS, 1998, : 35 - 48
[23] CONFORMANCE EVALUATION METHODOLOGY AND PROTOCOL TESTING
LINN, RJ
[J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1989, 7 (07) : 1143 - 1158
[24] The role of education and training in the industrial application of formal methods
Ralston, T
Gerhart, S
Craigen, D
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 41 - 49
[25] Integrating formal verification and conformance testing for reactive systems
Constant, Camille
Jeron, Thierry
Marchand, Herve
Rusu, Vlad
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2007, 33 (08) : 558 - 574
[26] ON THE DEVELOPMENT OF A STANDARD FOR CONFORMANCE TESTING BASED ON FORMAL SPECIFICATIONS
HOGREFE, D
[J]. COMPUTER STANDARDS & INTERFACES, 1992, 14 (03) : 185 - 190
[27] ON THE DEVELOPMENT OF A STANDARD FOR CONFORMANCE TESTING BASED ON FORMAL SPECIFICATIONS
HOGREFE, D
[J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 3 : 59 - 66
[28] Using OpenAIS for building highly available Session Initiation Protocol (SIP) Registrar
Kamalvanshi, Ajay
Jokiaho, Timo
[J]. SERVICE AVAILABILITY, 2006, 4328 : 217 - +
[29] A formal approach to conformance testing of distributed routing protocols
Bi, J
Wu, JP
[J]. FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 151 - 163
[30] The fault coverage estimation for protocol conformance testing
Kolomeez, AV
Prokopenko, SA
[J]. 2004 INTERNATIONAL SIBERIAN WORKSHOPS AND TUTORIALS ON ELECTRON DEVICES AND MATERIALS, EDM 2004, PROCEEDINGS, 2004, : 112 - 114

← 1 2 3 4 5 →