loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Xiaoping Che ; Felipe Lalanne and Stephane Maag

Affiliation: Telecom SudParis and CNRS UMR 5157, France

ISBN: 978-989-8565-13-6

Keyword(s): Formal Methods, Passive Testing, Monitoring, Protocols, IMS/SIP.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Formal Methods ; Requirements Engineering Frameworks and Models ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: 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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.84.139.101

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Che, X.; Lalanne, F. and Maag, S. (2012). A Logic-based Passive Testing Approach for the Validation of Communicating Protocols.In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-13-6, pages 53-64. DOI: 10.5220/0003990100530064

@conference{enase12,
author={Xiaoping Che. and Felipe Lalanne. and Stephane Maag.},
title={A Logic-based Passive Testing Approach for the Validation of Communicating Protocols},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2012},
pages={53-64},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003990100530064},
isbn={978-989-8565-13-6},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Logic-based Passive Testing Approach for the Validation of Communicating Protocols
SN - 978-989-8565-13-6
AU - Che, X.
AU - Lalanne, F.
AU - Maag, S.
PY - 2012
SP - 53
EP - 64
DO - 10.5220/0003990100530064

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.