Extending EFSMs to specify and test timed systems with action durations and timeouts
| dc.contributor.author | García Merayo, María De Las Mercedes | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.contributor.author | Rodríguez Laguna, Ismael | |
| dc.date.accessioned | 2023-06-20T09:37:00Z | |
| dc.date.available | 2023-06-20T09:37:00Z | |
| dc.date.issued | 2006 | |
| dc.description | 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. | |
| dc.description.abstract | 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. | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | MCYT | |
| dc.description.sponsorship | Junta de Castilla-La Mancha | |
| dc.description.sponsorship | Marie Curie | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/15835 | |
| dc.identifier.doi | 10.1007/11888116_27 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.officialurl | http://www.springerlink.com/content/b773612268uk3128/fulltext.pdf?MUD=MP | |
| dc.identifier.relatedurl | http://www.springerlink.com/ | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/50040 | |
| dc.journal.title | Lecture Notes in Computer Science | |
| dc.language.iso | eng | |
| dc.page.final | 387 | |
| dc.page.initial | 372 | |
| dc.publisher | Springer Verlag | |
| dc.relation.projectID | TIC2003-07848-C02-01 | |
| dc.relation.projectID | PAC-03-001 | |
| dc.relation.projectID | MRTN-CT-2003-505121/TAROT | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 519.8 | |
| dc.subject.keyword | Automata | |
| dc.subject.ucm | Investigación operativa (Matemáticas) | |
| dc.subject.unesco | 1207 Investigación Operativa | |
| dc.title | Extending EFSMs to specify and test timed systems with action durations and timeouts | |
| dc.type | journal article | |
| dc.volume.number | 4229 | |
| dcterms.references | Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994) Bosik, B.S., Uyar, M.U.: Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems 22, 7–33 (1991) Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 187–195. Springer, Heidelberg (2001) Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems (1997) El-Fakih, K., Yevtushenko, N., von Bochmann, G.: FSM-based incremental conformance testing methods. IEEE Transactions on Software Engineering 30(7), 425–436 (2004) En-Nouaary, A., Dssouli, R.: A guided method for testing timed input output automata. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 211–225. Springer, Heidelberg (2003) Fecko, M.A., Uyar, M.Ü., Duale, A.Y., Amer, P.D.: A technique to generate feasible tests for communications systems with multiple timers. IEEE/ACM Transactions on Networking 11(5), 796–809 (2003) Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating test cases for a timed I/O automaton model. In: 12th Workshop on Testing of Communicating Systems, pp. 197–214. Kluwer Academic Publishers, Dordrecht (1999) Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE 84(8), 1090–1123 (1996) Núñez, M., Rodríguez, I.: Encoding PAMR into (timed) EFSMs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 1–16. Springer, Heidelberg (2002) Núñez, M., Rodríguez, I.: Towards testing stochastic timed systems. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 335–350. Springer, Heidelberg (2003) Núñez, M., Rodríguez, I.: Conformance testing relations for timed systems. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 103–117. Springer, Heidelberg (2006) Park, J.C., Miller, R.E.: Synthesizing protocol specifications from service specifications in timed extended finite state machines. In: 17th IEEE Int. Conf. on Distributed Computing Systems, ICDCS 1997, pp. 253–260. IEEE Computer Society, Los Alamitos (1997) Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 196–205. Springer, Heidelberg (2001) Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theoretical Computer Science 254(1-2), 225–257 (2001) Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software – Concepts and Tools 17(3), 103–120 (1996) | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 28ca46b8-d1eb-42e6-a6e2-f31b193b055b | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication | 28429d40-53cb-4bb3-a3f6-82ec557a34ed | |
| relation.isAuthorOfPublication.latestForDiscovery | 26825d32-1d0a-4bbb-b145-e014e22f1a88 |
Download
Original bundle
1 - 1 of 1