An automated passive testing approach for the IMS PoC service
| Autor: | Arnaud Gonguet, Ana Cavalli, Wissam Mallouli, Edgardo Montes de Oca, Felipe Lalanne, Stephane Maag |
|---|---|
| Přispěvatelé: | Département Logiciels et Réseaux (LOR), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Centre National de la Recherche Scientifique (CNRS), Méthodes et modèles pour les réseaux (METHODES-SAMOVAR), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP)-Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Montimage (EURL) [Paris], Alcatel Lucent Bell Labs [Paris], Alcatel-Lucent |
| Jazyk: | angličtina |
| Rok vydání: | 2009 |
| Předmět: |
010302 applied physics
Service (systems architecture) IMS Computer science business.industry Testing IP Multimedia Subsystem 020206 networking & telecommunications Formal model 02 engineering and technology 01 natural sciences Set (abstract data type) [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] Embedded system Server 0103 physical sciences 0202 electrical engineering electronic engineering information engineering Passive testing business |
| Zdroj: | Proceedings ASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering ASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering ASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535-539, ⟨10.1109/ASE.2009.33⟩ ASE |
| DOI: | 10.1109/ASE.2009.33⟩ |
| Popis: | International audience; 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 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|