E-Prints Complutense

Formal correctness of a passive testing approach for timed systems

Impacto

Descargas

Último año

García Merayo, Mercedes y Andrés Sánchez, César y Núñez García, Manuel (2009) Formal correctness of a passive testing approach for timed systems. In ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops. IEEE Comp Soc, LOS ALAMITOS. ISBN 978-0-7695-3671-2

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

320kB

URL Oficial: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4976372


URLTipo de URL
http://www.ieee.org/Institución


Resumen

In this paper we extend our previous work on passive
testing of timed systems to establish a formal criterion to determine correctness of an implementation under test. In our framework, an invariant expresses the fact that if 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 a previous paper we gave an algorithm to establish the correctness of an invariant with respect to a specification. In this paper we continue the work by providing an algorithm to check the correctness of a log, recorded form the implementation under test, with respect to an invariant. We show the soundness of our method by relating it to an implementation relation. In addition to the theoretical framework we have developed a tool, called PASTE, that facilitates the automation of our passive testing approach.


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

International Conference on Software Testing, Verification, and Validation Workshops. APR 01-04, 2009. Denver, CO.

Palabras clave:Finite-state machines
Materias:Ciencias > Matemáticas
Ciencias > Matemáticas > Investigación operativa
Código ID:15629
Depositado:14 Jun 2012 08:50
Última Modificación:14 Jun 2012 08:50

Descargas en el último año

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