An invariant based passive testing approach for protocol data parts - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

An invariant based passive testing approach for protocol data parts

Résumé

Conformance of implementations to protocol specifications is essential to assure interoperability between peers in network communications. Monitoring or passive testing techniques are used when no access to the communication interfaces is available or when the normal operation of the system cannot be interrupted. Most monitoring techniques only consider control portion of exchanged messages, usually ignoring the data part. However, as protocols become more complex and message exchange more data intensive, testing for data relations and constraints between exchanged messages becomes essential. In this paper we propose a novel approach for defining such relations as properties called invariants and show how they can be tested directly on traces using logic programming. Experimental results for SIP protocol traces are provided
Fichier non déposé

Dates et versions

hal-01303547 , version 1 (18-04-2016)

Identifiants

  • HAL Id : hal-01303547 , version 1

Citer

Felipe Lalanne Rojas, Stephane Maag. An invariant based passive testing approach for protocol data parts. AICT 2011 : 7th Advanced International Conference on Telecommunications, Mar 2011, St. Maarten, Netherlands Antilles. pp.94 - 101. ⟨hal-01303547⟩
35 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More