A toolset for mobile systems testing

Pierre André 1 Nicolas Rivière 1 Hélène Waeselynck 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : Validation of mobile applications needs taking account of context (such network topology) and interactions between mobile nodes. Scenario-based approaches are well-suited to describe the behavior and interactions to observe in distributed systems. The difficulty to control accurately the execution context of such applications has led us to use passive testing. This paper presents a toolset which supports specification and verification of scenarios. A UML-based formal language, called TERMOS, has been implemented for specifying scenarios in mobile computing systems. These scenarios capture the key properties which are automatically checked on the traces, considering both the spatial configuration of nodes and their communication. We give an overview of the language design choices, its semantics and the implementation of the tool chain. The approach is demonstrated on a case study.
Type de document :
Communication dans un congrès
11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017), Aug 2017, Montréal, Canada. pp.124-138, 2017, Proceedings of the 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017)
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.laas.fr/hal-01499518
Contributeur : Nicolas Riviere <>
Soumis le : vendredi 31 mars 2017 - 15:30:41
Dernière modification le : mercredi 28 février 2018 - 10:23:12
Document(s) archivé(s) le : samedi 1 juillet 2017 - 14:52:19

Fichier

DSN-2016.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • HAL Id : hal-01499518, version 1

Citation

Pierre André, Nicolas Rivière, Hélène Waeselynck. A toolset for mobile systems testing. 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017), Aug 2017, Montréal, Canada. pp.124-138, 2017, Proceedings of the 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017). 〈hal-01499518〉

Partager

Métriques

Consultations de la notice

190

Téléchargements de fichiers

37