Universidad Complutense de Madrid
E-Prints Complutense

Extending EFSMs to specify and test timed systems with action duration and time-outs



Último año

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) Extending EFSMs to specify and test timed systems with action duration and time-outs. IEEE Transactions on Computers, 57 (6). pp. 835-848. ISSN 0018-9340

[img] PDF
Restringido a Sólo personal autorizado del repositorio


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

URLTipo de URL


In this paper, we introduce a timed extension of the extended finite state machines model. On one hand, we consider that (output) actions take time to be performed. This time may depend on several factors, such as the value of variables. On the other hand, our formalism allows us to specify time-outs. In addition to presenting our language, we develop a testing theory. First, we define 10 timed conformance relations and relate them. Second, we introduce a notion of timed test and define how to apply tests to
implementations. Finally, we give an algorithm to derive sound and complete test suites with respect to the implementation relations presented in the paper. This paper represents an extended and improved version of

Tipo de documento:Artículo
Palabras clave:Testing and debugging; Formal methods; Specification techniques; Specifying and verifying and reasoning about programs; Automata; Computer Science; Hardware & Architecture; Engineering; Electrical & Electronic
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15660
Depositado:18 Jun 2012 08:37
Última Modificación:22 Aug 2018 11:27

Descargas en el último año

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