TEst Requirement language for MObile Setting (TERMOS)

Testing mobile computing systems is not an easy task. The highly dynamic nature of such systems makes describing interactions between nodes challenging. We developed an approach to define graphical scenarios illustrating key interactions and use these scenarios for verification activities. More specifically, we (i) recommended extensions to UML Sequence Diagrams to handle mobile computing systems, (ii) defined a new language called TERMOS to describe requirements and test purposes, (iii) presented a formal semantics for TERMOS to check execution traces against scenarios, and (iv) implemented two prototype tools to show the feasibility of our approach.

To handle mobile computing systems we proposed the following extensions:

• introduction of a spatial view,
• consideration for spatial configuration change events,
• representation of broadcast communication events.

The following figure illustrates these extensions on a simple scenario.

Further reading

1. Nguyen, M. D., Waeselynck, H., Riviere N.: Testing Mobile Computing Applications: Toward a Scenario Language and Tools, In: Int. Workshop on Dynamic Analysis (WODA 2008), pp 29-35, (2008)
2. Nguyen, M. D., Waeselynck, H., Riviere N.: GraphSeq: a Graph Matching Tool for the Extraction of Mobility Patterns, In: 3rd IEEE Int. Conf. on Software Testing, Verification and Validation (ICST 2010), IEEE CS Press, Paris, France (2010)
3. Waeselynck, H., et al.: Refined Design and Testing Framework, Methodology and Application Results, Hidenets D5.3. http://www.hidenets.aau.dk/Public+Deliverables (2008)
4. Waeselynck, H., Micskei, Z., Nguyen, M. D., Riviere N.: Mobile Systems from a Validation Perspective: a Case Study, In: 6th Int. Symp. on Parallel and Distributed Computing (ISPDC 2007), IEEE Press, Hagenberg, Austria, July 5-8 (2007)
5. Hamvas Aron: Using UML Sequence Diagrams for the Requirement Analysis of Mobile Distributed Systems, MSc thesis, 2010 (PDF)

Last modified: 2013.10.02.