Extending EFSMs to specify and test timed systems with action duration and time-outs



Downloads per month over past year

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2008) Extending EFSMs to specify and test timed systems with action duration and time-outs. IEEE Transactions on Computers, 57 (6). pp. 835-848. ISSN 0018-9340

[thumbnail of 13.pdf] PDF
Restringido a Repository staff only


Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4433986


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

Item Type:Article
Uncontrolled Keywords:Testing and debugging; Formal methods; Specification techniques; Specifying and verifying and reasoning about programs; Automata; Computer Science; Hardware & Architecture; Engineering; Electrical & Electronic
Subjects:Sciences > Mathematics > Operations research
ID Code:15660
Deposited On:18 Jun 2012 08:37
Last Modified:22 Aug 2018 11:27

Origin of downloads

Repository Staff Only: item control page