A UML-based environment for test scenarios in mobile settings

Author

Andre, P. ; Waeselynck, Helene ; Riviere, N.

Author_Institution

LAAS, Toulouse, France

fYear

2013

fDate

7-8 May 2013

Firstpage

1

Lastpage

5

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer, Information and Telecommunication Systems (CITS), 2013 International Conference on

Conference_Location

Athens

Print_ISBN

978-1-4799-0166-1

Type

conf

DOI

10.1109/CITS.2013.6705716

Filename

6705716