A toolset for mobile systems testingReportar como inadecuado




A toolset for mobile systems testing - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique LAAS - Laboratoire d-analyse et d-architecture des systèmes Toulouse

Abstract : Validation of mobile applications needs taking account of context such network topology and interactions between mobile nodes. Scenario-based approaches are well-suited to describe the behavior and interactions to observe in distributed systems. The difficulty to control accurately the execution context of such applications has led us to use passive testing. This paper presents a toolset which supports specification and verification of scenarios. A UML-based formal language, called TERMOS, has been implemented for specifying scenarios in mobile computing systems. These scenarios capture the key properties which are automatically checked on the traces, considering both the spatial configuration of nodes and their communication. We give an overview of the language design choices, its semantics and the implementation of the tool chain. The approach is demonstrated on a case study.

Keywords : UML profile UML sequence diagrams Scenario-based testing Mobile computing systems Trace analysis





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

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



DESCARGAR PDF




Documentos relacionados