%0 Conference Proceedings
%T Guiding testers' hands in monitoring tools : application of testing approaches on SIP
%+ School of Software Engineering [Beijing]
%+ Montimage (EURL) [Paris]
%+ Département Réseaux et Services Multimédia Mobiles (TSP - RS2M)
%+ Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR)
%+ Centre National de la Recherche Scientifique (CNRS)
%+ Laboratoire de Recherche en Informatique (LRI)
%A Che, Xiaoping
%A Nguyen, Huu Nghia
%A Maag, Stephane
%A Zaidi, Fatiha
%Z Part 3: Monitoring and Fault Localization
%< avec comité de lecture
%Z 15540
%( Lecture Notes in Computer Science
%B 27th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Sharjah and Dubai, United Arab Emirates
%Y Khaled El-Fakih
%Y Gerassimos Barlas
%Y Nina Yevtushenko
%I Springer international publishing
%3 Testing Software and Systems
%V LNCS-9447
%P 105-123
%8 2015-11-23
%D 2015
%R 10.1007/978-3-319-25945-1_7
%K Formal methods
%K Monitoring
%K SIP
%K Passive testing
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Testing is mainly known as the process of checking that a system possesses a set of desired properties and behavior. Its importance and impact are becoming crucial and strategic for the deployment and use of software and systems. Several techniques have been defined all along the protocol testing process whose formal techniques that allow validating multiple facets of a protocol implementation such as their reliability, scalability, security, and in particular its conformance to the standardized requirements. Among these testing techniques, the ones denoted as passive are currently often applied. Indeed, there are non intrusive and based on network observations. In this paper, we therefore intend to help and guide the protocol testers regarding their testing choices by considering the functional protocol properties to check, and the analysis of testing verdicts obtained by applying passive testing tools. We propose a compared analysis of the application of two efficient passive testing methodologies. The comparison is performed through the study of the Session Initiation Protocol. The results analysis demonstrates that depending on the properties to test, the way to model them, the way of testing (on-line/off-line), the available testing time ressources, tradeoffs are needed. Thus, this analysis aims at guiding the testers when tackling the passive testing of communication protocols
%G English
%Z TC 6
%Z WG 6.1
%2 https://hal.science/hal-01263247/document
%2 https://hal.science/hal-01263247/file/385214_1_En_7_Chapter.pdf
%L hal-01263247
%U https://hal.science/hal-01263247
%~ INSTITUT-TELECOM
%~ CNRS
%~ UNIV-PSUD
%~ TELECOM-SUDPARIS
%~ UMR8623
%~ IFIP-LNCS
%~ IFIP
%~ CENTRALESUPELEC
%~ IFIP-TC
%~ IFIP-WG
%~ LRI-VALS
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9447
%~ UNIV-PARIS-SACLAY
%~ UNIV-PSUD-SACLAY
%~ CENTRALESUPELEC-SACLAY
%~ INSTITUTS-TELECOM