Title :
A UML-based environment for test scenarios in mobile settings
Author :
Andre, P. ; Waeselynck, Helene ; Riviere, N.
Author_Institution :
LAAS, Toulouse, France
Abstract :
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.
Keywords :
Unified Modeling Language; formal languages; mobile computing; program diagnostics; program testing; program verification; Eclipse plugin; TERMOS profile; TERMOS semantics; UML support technology; UML-based environment; UML-based formal language; ad hoc networks; automated checking; forbidden interactions; group membership protocol; mandatory interactions; mobile computing systems; mobile settings; test scenarios; test traces verification; Ad hoc networks; Mobile communication; Mobile computing; Pattern matching; Semantics; Testing; Unified modeling language; Mobile computing systems; UML profile; UML sequence diagrams; trace analysis;
Conference_Titel :
Computer, Information and Telecommunication Systems (CITS), 2013 International Conference on
Conference_Location :
Athens
Print_ISBN :
978-1-4799-0166-1
DOI :
10.1109/CITS.2013.6705716
