RT Journal Article
T1 Extending EFSMs to specify and test timed systems with action durations and timeouts
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
A1 Rodríguez Laguna, Ismael
AB 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.
PB Springer Verlag
SN 0302-9743
YR 2006
FD 2006
LK https://hdl.handle.net/20.500.14352/50040
UL https://hdl.handle.net/20.500.14352/50040
LA eng
NO Formal Techniques for Networked and Distributed Systems - FORTE 2006.  International Conference on Formal Methods for Networked and Distributed Systems. SEP 26-29, 2006.   Paris, FRANCE.
NO MCYT
NO Junta de Castilla-La Mancha
NO Marie Curie
DS Docta Complutense
RD 20 abr 2025