|
Título:
|
Extending EFSMs to specify and test timed systems with action durations and timeouts
|
|
Autores:
|
García Merayo, Mercedes ;
Núñez García, Manuel ;
Rodríguez Laguna, Ismael
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
Springer Verlag, 2006
|
|
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 the 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 to specify timeouts. In addition to present our formalism, we develop a testing theory. First, we define ten timed conformance relations and relate them. Second, we introduce a notion of timed test and define how to apply tests to IUTs.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/15835/1/24.pdf
|
