Sciweavers

ICST
2010
IEEE

GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns

13 years 8 months ago
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynamic creation and shutdown of nodes. Interaction scenarios have then to consider the spatial configuration of the nodes as a first class concept. This paper presents GraphSeq, a graph matching tool for sequences of configurations developed in the framework of testing research. It aims to analyze test traces to identify occurrences of the ve spatial configurations described in an abstract scenario. We present the GraphSeq algorithm, as well as first experiments using randomly generated graphs, outputs from a mobility simulator, and test traces from a case study in ad hoc networks. Keywords- Algorithm; graph matching; testing; mobile computing systems; scenarios
Minh Duc Nguyen, Hélène Waeselynck,
Added 13 Feb 2011
Updated 13 Feb 2011
Type Journal
Year 2010
Where ICST
Authors Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere
Comments (0)