Biblioteca de la Universidad Complutense de Madrid

Passive Testing of Timed Systems


García Merayo, Mercedes y Andrés Sánchez, César y Núñez García, Manuel (2008) Passive Testing of Timed Systems. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (5311). SPRINGER-VERLAG BERLIN, Berlín, pp. 418-427. ISBN 978-3-540-88386-9

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


URL Oficial:


This paper presents a methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the most
relevant expected properties of the implementation under test. Intuitively, an invariant expresses the fact that each time the implementation under test performs a given
sequence of actions, then it must exhibit a behavior in a lapse of time reflected in the invariant. In particular, the algorithm presented in this paper are fully implemented

Tipo de documento:Sección de libro
Información Adicional:

6th International Symposium on Automated Technology for Verification and Analysis. OCT 20-23, 2008. Seoul, SOUTH KOREA.

Palabras clave:Computer Science, Theory & Methods
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15726

Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Journal of Information and Software Technology 45, 837-852 (2003)

Bayse, E., Cavalli, A., Núñez, M., Zaïdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks 48(2), 247–266 (2005)

Andrés, C., Merayo, M., Núñez, M.: Passive testing of timed systems (2008),http: //

Merayo, M., Núñez, M., Rodríguez, I.: Formal testing of systems presenting soft and hard deadlines. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp.160-174. Springer, Heidelberg (2007)

Depositado:22 Jun 2012 08:20
Última Modificación:06 Feb 2014 10:30

Sólo personal del repositorio: página de control del artículo