A logic-based passive testing approach for the validation of communicating protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès ENASE '12 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering Année : 2012

A logic-based passive testing approach for the validation of communicating protocols

Résumé

Conformance testing of communicating protocols is a crucial step to the validation of systems. Formal approaches provide many keys to test efficiently these protocols. These approaches are divided in two main sets: active and passive testing techniques. While they both have their own advantages and drawbacks, passive testing techniques are the only ones that can be applied when the controllability of the system interfaces is unavailable or when the implementation under test cannot be stimulated in runtime. In this paper, we present a novel logic-based passive testing approach. We aim at formally specifying protocol properties in order to check them on real execution traces. Based on algorithms defined in a previous paper, a prototype is here developed and experienced. In order to evaluate and assess our technique, we present experiments through a set of IMS/SIP properties and long-size execution traces. We finally provide relevant verdicts and discussions.

Mots clés

Fichier non déposé

Dates et versions

hal-00738523 , version 1 (04-10-2012)

Identifiants

  • HAL Id : hal-00738523 , version 1

Citer

Xiaoping Che, Felipe Lalanne Rojas, Stephane Maag. A logic-based passive testing approach for the validation of communicating protocols. ENASE '12 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Jun 2012, Wroclaw, Poland. ⟨hal-00738523⟩
101 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More