Ponencia
Lightweight Testing of Communication Networks with e-Motions
Autor/es | 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 de publicación | 2011 |
Fecha de depósito | 2018-04-17 |
Publicado en |
|
ISBN/ISSN | 978-3-642-21767-8 0302-9743 |
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 ... 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. |
Agencias financiadoras | Junta de Andalucía Ministerio de Ciencia e Innovación (MICIN). España |
Identificador del proyecto | P07-TIC-03184
TIN2008-03107 |
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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Lightweight Testing.pdf | 1.219Mb | [PDF] | Ver/ | |