An automated passive testing approach for the IMS PoC service - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

An automated passive testing approach for the IMS PoC service

Résumé

Although the adoption of the IP Multimedia Subsystem (IMS) keeps growing, IMS applications are often integrated to the system without being formally tested. In this work, we are interested in the IMS Push over Cellular (PoC) service, an OMA standard. We propose a conformance passive testing approach to check that its implementation respects the main standard requirements. This approach is based on a set of formal invariants representing the most relevant expected properties to be tested. Two testing phases are applied: the verification of the invariants against the service specification and their testing on the PoC collected execution traces

Mots clés

Dates et versions

hal-01316417 , version 1 (17-05-2016)

Identifiants

Citer

Felipe Lalanne Rojas, Stephane Maag, Edgardo Montes de Oca, Ana Rosa Cavalli, Wissam Mallouli, et al.. An automated passive testing approach for the IMS PoC service. ASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩. ⟨hal-01316417⟩
55 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More