RT Journal Article
T1 Extending EFSMs to specify and test timed systems with action duration and time-outs
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 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 toimplementations. 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
PB Institute of Electrical and Electronics Engineers
SN 0018-9340
YR 2008
FD 2008-06
LK https://hdl.handle.net/20.500.14352/50016
UL https://hdl.handle.net/20.500.14352/50016
LA eng
NO MEC
DS Docta Complutense
RD 4 abr 2025