From the IMS PoC service monitoring to its formal conformance testing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Mobility '09 : 6th International Conference on Mobile Technology, Application & Systems Année : 2009

From the IMS PoC service monitoring to its formal conformance testing

Résumé

Because of the increased industrial and research communities interest in the IP Multimedia Subsystem (IMS), the needs of formal testing for IMS applications are becoming critical. In this work we take as a case study the IMS Push over Cellular (PoC) service, an OMA standard, and propose a formal testing approach to check that its implementation respects the standard requirements. The approach considers a formal model of the service as well a set of formal invariants representing the most relevant properties expected from the implementation. The invariants are verified on the PoC formal specification and then automatically checked on the execution traces of the implementation. Experimental results are then processed to provide testing verdicts on the implementation under test. Besides, we discuss the results analysis that show false positives essentially raised by inter-working SIP services.
Fichier non déposé

Dates et versions

hal-00801196 , version 1 (15-03-2013)

Identifiants

Citer

Felipe Lalanne Rojas, Stephane Maag. From the IMS PoC service monitoring to its formal conformance testing. Mobility '09 : 6th International Conference on Mobile Technology, Application & Systems, Sep 2009, Nice, France. ⟨10.1145/1710035.1710043⟩. ⟨hal-00801196⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More