Protocol data parts inclusion in a formal passive testing approach

Felipe Lalanne Rojas (1, 2, 3) , Stephane Maag (4, 1, 2, 3)

1 LOR - Département Logiciels et Réseaux
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 CNRS - Centre National de la Recherche Scientifique
4 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux

Commonly, two main classes of formal testing techniques are applied to check the conformance of protocols and software: active and passive testing (monitoring) techniques. Because of many industrial constraints such as the necessity to achieve implementation black box testing, passive testing techniques become highly relevant in several cases. Besides, most of the passive testing techniques only consider control portions of exchanged packets and ignores data parts. However, since systems become more complex, testing for data constraints and relations between packets is now essential. In this paper we propose a novel approach for defining data oriented invariants and show how they can be tested in a trace set by using logic programming. Experimental results on SIP protocol traces are provided

Mots clés: Invariants; Logic programming; Monitoring; Passive testing; Protocol data

Domaines: Logique en informatique [cs.LO]; Réseaux et télécommunications [cs.NI]

Felipe Lalanne Rojas, Stephane Maag. Protocol data parts inclusion in a formal passive testing approach. FINA 2011 : 7th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2011, Singapore, Singapore. pp.569 - 573, ⟨10.1109/WAINA.2011.21⟩. ⟨hal-01303598⟩