A UML-based environment for test scenarios in mobile settings

Pierre André , Hélène Waeselynck , Nicolas Rivière

TERMOS is an UML-based formal language for specifying scenarios in mobile computing systems. TERMOS scenarios are used for the verification of test traces: they represent mandatory or forbidden interactions that are searched for in the trace. Building upon previous work on the semantics of TERMOS, this paper presents the complete integration of the language into UML support technology. A TERMOS profile has been developed for the editing of scenarios, as well as an Eclipse plugin for the automated checking of traces. We demonstrate the approach on a case study, a group membership protocol in ad hoc networks.

Mots clés: Mobile computing systems; UML sequence diagrams; UML profile; trace analysis

Domaines: Informatique mobile

Pierre André, Hélène Waeselynck, Nicolas Rivière. A UML-based environment for test scenarios in mobile settings. 2013 International Conference on Computer, Information and Telecommunication Systems (CITS), May 2013, Athens, Greece. pp.1 - 5, ⟨10.1109/CITS.2013.6705716⟩. ⟨hal-01075121⟩