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 条
  • [31] 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
  • [32] Formal approach to conformance testing of Internet routing protocols
    Bi, Jun
    Wu, Jianping
    [J]. Ruan Jian Xue Bao/Journal of Software, 2000, 11 (04): : 427 - 434
  • [33] Study on conformance testing of Hypertext Transfer Protocol
    Yu, XL
    Wu, HP
    Yin, X
    [J]. 2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 178 - 181
  • [34] Reduced test suite for protocol conformance testing
    Bernhard, Philip J.
    [J]. ACM Transactions on Software Engineering and Methodology, 1994, 3 (03) : 201 - 220
  • [35] 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
  • [36] CONFORMANCE TESTING OF PROTOCOL MACHINES WITHOUT RESET
    YAO, MG
    PETRENKO, A
    VONBOCHMANN, G
    [J]. PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 241 - 256
  • [37] PROBLEMS AND DIFFICULTIES WITH GSM PROTOCOL CONFORMANCE TESTING
    KOSTER, R
    [J]. PROTOCOL TEST SYSTEMS, V, 1993, 11 : 291 - 291
  • [38] NONDETERMINISTIC STATE MACHINES IN PROTOCOL CONFORMANCE TESTING
    PETRENKO, A
    YEVTUSHENKO, N
    LEBEDEV, A
    DAS, A
    [J]. PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 363 - 378
  • [39] Communication protocol conformance testing - Example LIN
    Lawrenz, Wolfhard
    [J]. PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON VEHICULAR ELECTRONICS AND SAFETY, 2006, : 155 - 162
  • [40] Formal Development of Universal Protocol Implementations Conformance Statement Proforma
    El-Gendy, Hazem
    [J]. 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 317 - 321
12345