|
Título:
|
Extending EFSMs to specify and test timed systems with action duration and time-outs
|
|
Autores:
|
García Merayo, Mercedes ;
Núñez García, Manuel ;
Rodríguez Laguna, Ismael
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Institute of Electrical and Electronics Engineers, 2008-06
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/restrictedAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas: Investigación operativa
,
Tipo = Artículo
|
|
Resumen:
|
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
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/15660/1/13.pdf
|
