Universidad Complutense de Madrid
E-Prints Complutense

Formal testing from timed finite state machines



Último año

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) Formal testing from timed finite state machines. Computer Networks, 52 (2). pp. 432-460. ISSN 1389-1286

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


URL Oficial: http://www.sciencedirect.com/science/article/pii/S1389128607002812

URLTipo de URL


In this paper we present a formal methodology to test both the functional and temporal behaviors in systems where
temporal aspects are critical. We extend the classical finite state machines model with features to represent timed systems. Our formalism allows three different ways to express the timing requirements of systems. Specifically, we consider that time requirements can be expressed either by means of fix time values, by using random variables, or by considering time intervals. Different implementation relations, depending on both the interpretation of time and on the non-determinism appearing in systems, are presented and related. We also study how test cases are defined and applied to implementations. Test derivation algorithms, producing sound and complete test suites, are also presented. That is, by deriving these test suites we
relate the different notions of passing tests and the different implementation relations. In other words, for a given correctness criterion, a system represents an appropriate implementation of a given model if and only if the system successfully passes all the test belonging to the derived test suite.

Tipo de documento:Artículo
Palabras clave:Conformance testing; Formal methods; Timed systems ;Systems; Automata
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15681
Depositado:19 Jun 2012 09:02
Última Modificación:06 Feb 2014 10:29

Descargas en el último año

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