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 条
  • [1] A Formal Monitoring Technique for SIP Conformance Testing
    Che, Xiaoping
    Lalanne, Felipe
    Maag, Stephane
    [J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2012, 2013, 410 : 79 - 94
  • [2] FORMAL METHODS IN CONFORMANCE TESTING - RESULTS AND PERSPECTIVES
    CAVALLI, AR
    FAVREAU, JP
    PHALIPPOU, M
    [J]. PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 3 - 17
  • [3] FORMAL METHODS IN CONFORMANCE TESTING - STATUS AND EXPECTATIONS
    FAVREAU, JP
    HOGREFE, D
    KROON, J
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 299 - 316
  • [4] FORMAL METHODS FOR GENERATING PROTOCOL CONFORMANCE TEST SEQUENCES
    DAHBURA, AT
    SABNANI, KK
    UYAR, MU
    [J]. PROCEEDINGS OF THE IEEE, 1990, 78 (08) : 1317 - 1326
  • [5] Standardization of formal methods in conformance testing of communication protocols
    Cavalli, AR
    Favreau, JP
    Phalippou, M
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01): : 3 - 14
  • [6] FINITE STATE MACHINE BASED FORMAL METHODS IN PROTOCOL CONFORMANCE TESTING - FROM THEORY TO IMPLEMENTATION
    BOSIK, BS
    UYAR, MU
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 22 (01): : 7 - 33
  • [7] PROTOCOL CONFORMANCE TESTING - A FORMAL PERSPECTIVE ON ISO IS-9646
    TRETMANS, J
    KARS, P
    BRINKSMA, E
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 3 : 131 - 142
  • [8] FORMAL PROTOCOL SPECIFICATION AND CONFORMANCE TESTING - 4 TUTORIAL PAPERS
    RUDIN, H
    WEST, CH
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 1 - 2
  • [9] Ready for testing: ensuring conformance to industrial standards through formal verification
    Feo-Arenis, Sergio
    Westphal, Bernd
    Dietsch, Daniel
    Muniz, Marco
    Andisha, Siyar
    Podelski, Andreas
    [J]. FORMAL ASPECTS OF COMPUTING, 2016, 28 (03) : 499 - 527
  • [10] A FORMAL APPROACH TO CONFORMANCE TESTING
    TRETMANS, J
    [J]. PROTOCOL TEST SYSTEMS, VI, 1994, 19 : 257 - 276
12345