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

International audienceConformance 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