Repositorio de producción científica de la Universidad de Sevilla

Lightweight Testing of Communication Networks with e-Motions

Opened Access Lightweight Testing of Communication Networks with e-Motions

Citas

buscar en

Estadísticas
Icon
Exportar a
Autor: Troya Castilla, Javier
Bautista, José M.
López Romero, Fernando
Vallecillo Moreno, Antonio
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2011
Publicado en: TAP 2011: 5th International Conference on Tests and Proofs (2011), p 187-204
ISBN/ISSN: 978-3-642-21767-8
0302-9743
Tipo de documento: Ponencia
Resumen: This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following a Model-Driven Engineering (MDE) approach, we show the benefits of constructing very abstract models of the systems under test, which can then be easily prototyped and analysed to explore their properties. For this purpose we use e-Motions, a language and its supporting toolkit that allows end-user modelling of real-time systems and their analysis in a graphical manner.
Cita: Troya Castilla, J., Bautista, J.M., López Romero, F. y Vallecillo Moreno, A. (2011). Lightweight Testing of Communication Networks with e-Motions. En TAP 2011: 5th International Conference on Tests and Proofs (187-204), Zurich, Switzerland: Springer.
Tamaño: 1.219Mb
Formato: PDF

URI: https://hdl.handle.net/11441/73202

DOI: 10.1007/978-3-642-21768-5_14

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones