kirancodes.me
To Proof Maintenance & Beyond!
ASE 2009

An Automated Passive Testing Approach for the IMS PoC Service

Felipe Lalanne, Stéphane Maag, Edgardo Montes de Oca, Ana R. Cavalli, Wissam Mallouli, Arnaud Gonguet

DOI 10.1109/ase.2009.33dblp

Abstract

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.

BibTeX
@inproceedings{Lalanne-al:ASE09,
  author    = {Felipe Lalanne and
               St{\'{e}}phane Maag and
               Edgardo Montes de Oca and
               Ana R. Cavalli and
               Wissam Mallouli and
               Arnaud Gonguet},
  title     = {An Automated Passive Testing Approach for the {IMS} {PoC} Service},
  booktitle = {ASE},
  pages     = {535--539},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
}

Related papers