Paper Info
Title
A Formal Monitoring Technique for SIP Conformance Testing.
Abstract
Formal approaches provide many keys to efficiently test the conformance of communicating protocols. Active and passive testing techniques are two main sets of these approaches. Compare to active testing, passive testing techniques are used whenever the system cannot be interrupted, or its interfaces are unavailable to access. Under such conditions, communication traces are extracted from points of observation and compared with the expected conformance requirements formally specified as properties. This paper presents a novel monitoring approach, aiming at formally specifying protocol properties in order to check them on real execution traces. A prototype is developed and experienced based on the algorithms defined in a previous paper. Experiments are presented through a set of IMS/SIP properties and numerous execution traces in order to evaluate and assess our technique. The relevant verdicts and discussions are provided at the end.
Year
DOI
Venue
2012
10.1007/978-3-642-45422-6_6
Communications in Computer and Information Science
Keywords
Field
DocType
Formal Methods,Passive Testing,Monitoring,Protocols,IMS/SIP
Computer science,Conformance testing,Formal methods,Passive testing,Distributed computing
Conference
Volume
ISSN
Citations 
410
1865-0929
0
PageRank 
References 
Authors
0.34
16
3
Name
Order
Citations
PageRank
Xiaoping Che15914.48
Felipe Lalanne2566.13
Stephane Maag322927.21