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 条

[41] Hardware testing using a communication protocol conformance testing tool
Kahlouche, H
Viho, C
Zendri, M
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 315 - 329
[42] Combining formal verification and conformance testing for validating reactive systems
Rusu, V
[J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2003, 13 (03): : 157 - 180
[43] Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles
Horel, Jean-Baptiste
Laugier, Christian
Marsso, Lina
Mateescu, Radu
Muller, Lucie
Paigwar, Anshul
Renzaglia, Alessandro
Serwe, Wendelin
[J]. PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 532 - 537
[44] Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
Bourdonov, Igor B.
Kossatchev, Alexander S.
Kuliamin, Victor V.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 83 - 96
[45] Protocol conformance testing of CCSS7 ISUP
[J]. High Technol Letters, 2 (66-70):
[46] PROTOCOL CONFORMANCE TESTING USING MULTIPLE UIO SEQUENCES
SHEN, YN
LOMBARDI, F
DAHBURA, AT
[J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1992, 40 (08) : 1282 - 1287
[47] Experience with formal methods implementing the PROFIBUS FMS and DP protocol for industrial applications
Poschmann, A
Hahniche, J
Deicke, P
Neumann, P
[J]. WFCS '97 - 1997 IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 1997, : 277 - 286
[48] Implementation and-conformance testing of Bluetooth SDP Protocol
Huang, CH
Xiao, Y
Zhou, DT
[J]. 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 1221 - 1224
[49] The Formal Logical Analysis of the Correctness of the Specifications of Network Protocol SIP
Kyaw Myat Thu
Myo Thet Naung
Ye, Kyaw Zaw
Devyatkov, V. V.
[J]. 2016 UKSIM-AMSS 18TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM), 2016, : 279 - 283
[50] A test sequence generation method for protocol conformance testing
Zhang X.
Yang M.
Luo W.
Geng G.
[J]. Gaojishu Tongxin/Chinese High Technology Letters, 2011, 21 (10): : 1034 - 1041

← 1 2 3 4 5 →