Data-centric property formulation for passive testing of communication protocols - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Data-centric property formulation for passive testing of communication protocols

Résumé

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 with 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 syntax and semantics are provided to express and evaluate complex properties in a bottom-up fashion starting from expected data relations in messages. The approach has been implemented into a framework, and some experimental results are briefly discussed
Fichier non déposé

Dates et versions

hal-01303064 , version 1 (15-04-2016)

Identifiants

  • HAL Id : hal-01303064 , version 1

Citer

Felipe Lalanne Rojas, Xiaoping Che, Stephane Maag. Data-centric property formulation for passive testing of communication protocols. ACC 2011 : 4th Applied Computing Conference, Nov 2011, Angers, France. pp.176 - 181. ⟨hal-01303064⟩
49 Consultations
0 Téléchargements

Partager

More