Skip to Main content Skip to Navigation

Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios

Minh Duc Nguyen 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
Abstract : Advances in wireless networking have yielded the development of mobile computing applications. Their unique characteristics provide new challenges for verification. This dissertation elaborates on the testing technology for mobile systems. As a first step, a review of the state-of-the-art is performed together with a case study - a group membership protocol (GMP) in mobile ad hoc settings - that allowed us to gain insights into testing problems. We present, then, a testing approach which bases on the descriptions of scenarios. We note that the scenario interactions must take into account the spatial configurations of nodes as first class concepts. To cover new specificities of mobile systems in description languages, we introduce some extensions that focus on spatio-temporal relations between nodes and on broadcast communication. The processing of spatial aspect leads to the development of the tool GraphSeq. GraphSeq aims to analyze test traces in order to identify occurrences of successive spatial patterns described in an abstract scenario. The application of GraphSeq (support to implementation of test cases, verification of trace coverage) is shown with the analysis of outputs of a simulator and execution traces of the case study GMP.
Document type :
Complete list of metadata

Cited literature [115 references]  Display  Hide  Download
Contributor : Arlette Evrard <>
Submitted on : Thursday, February 25, 2010 - 1:15:31 PM
Last modification on : Thursday, June 10, 2021 - 3:02:18 AM
Long-term archiving on: : Friday, June 18, 2010 - 7:09:36 PM


  • HAL Id : tel-00459848, version 1


Minh Duc Nguyen. Méthodologie de test de systèmes mobiles : Une approche basée sur les sénarios. Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨tel-00459848⟩



Record views


Files downloads