Issue No. 06 - June (2008 vol. 57)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2008.15
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 language, 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 implementations. Finally, we give an algorithm to derive sound and complete test suites with respect to the implementation relations presented in the paper.
Testing and Debugging, Formal methods, Specification techniques
Manuel Núñez, Mercedes Merayo, Ismael Rodríguez, "Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs", IEEE Transactions on Computers, vol. 57, no. , pp. 835-844, June 2008, doi:10.1109/TC.2008.15