A UML-based environment for test scenarios in mobile settingsReportar como inadecuado




A UML-based environment for test scenarios in mobile settings - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.



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 : Mobile computing systems UML sequence diagrams UML profile trace analysis





Autor: Pierre André Hélène Waeselynck Nicolas Rivière

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados