Paper Info
Title
A Formal Data-Centric Approach for Passive Testing of Communication Protocols
Abstract
There is currently a high level of consciousness of the importance and impact of formally testing communicating networks. By applying formal description techniques and formal testing approaches, we are able to validate the conformance of implementations to the requirements of communication protocols. In this context, passive testing techniques are used whenever the system under test cannot be interrupted or access to its interfaces is unavailable. Under such conditions, communication traces are extracted from points of observation and compared to the expected behavior formally specified as properties. Since most works on the subject come from a formal model context, they are optimized for testing the control part of the communication with a secondary focus on the data parts. In the current work, we provide a data-centric approach for black-box testing of network protocols. A formalism is provided to express complex properties in a bottom-up fashion starting from expected data relations in messages. A novel algorithm is provided for evaluation of properties in protocol traces. Experimental results on Session Initiation Protocol (SIP) traces for IP Multimedia Subsystem (IMS) services are provided.
Year
DOI
Venue
2013
10.1109/TNET.2012.2210443
Networking, IEEE/ACM Transactions
Keywords
Field
DocType
IP networks,multimedia communication,signalling protocols,IMS services,IP multimedia subsystem services,SIP traces,black-box testing,communicating network testing,communication protocols,communication traces,formal data-centric approach,formal description techniques,formal testing approach,network protocols,passive testing techniques,session initiation protocol traces,Conformance,IP Multimedia Subsystem (IMS),data,passive testing,protocols
System under test,Database-centric architecture,Computer science,Computer network,Implementation,Session Initiation Protocol,IP Multimedia Subsystem,Passive testing,Formalism (philosophy),Communications protocol,Distributed computing
Journal
Volume
Issue
ISSN
21
3
1063-6692
Citations 
PageRank 
References 
26
1.02
32
Authors
2
Name
Order
Citations
PageRank
Felipe Lalanne1566.13
Stephane Maag222927.21