Extending EFSMs to specify and test timed systems with action durations and timeouts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4229 LNCS, Issue , 2006, Pages 372-387

  Merayo, Mercedes G ^a   Núñez, Manuel ^a   Rodríguez, Ismael ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA; FORMAL LOGIC; INFORMATION ANALYSIS; MATHEMATICAL MODELS; LOGIC CIRCUITS; TIME SHARING SYSTEMS;

FINITE STATES; MACHINES MODELS; TEST TIMED SYSTEMS; TIMED EXTENSIONS; EXTENDED FINITE STATE MACHINE; TESTING THEORIES; TIMED SYSTEMS; TIMED TESTS;

SYSTEMS ENGINEERING; FORMAL METHODS;

EID: 33750569791     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_27     Document Type: Conference Paper

References (16)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. B.S. Bosik and M.U. Uyar. Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems, 22:7-33, 1991.
3. E. Brinksma and J. Tretmans. Testing transition systems: An annotated bibliography. In 4th Summer School, MOVEP 2000, LNCS 2067, pages 187-195. Springer, 2001.
4. D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems, 1997.
5. K. El-Fakih, N. Yevtushenko, and G. von Bochmann. FSM-based incremental conformance testing methods. IEEE Transactions on Software Engineering, 30(7):425-436, 2004.
6. A. En-Nouaary and R. Dssouli. A guided method for testing timed input output automata. In TestCom 2003, LNCS 2644, pages 211-225. Springer, 2003.
7. M.A. Fecko, M.U. Uyar, A.Y. Duale, and P.D. Amer. A technique to generate feasible tests for communications systems with multiple timers. IEEE/ACM Transactions on Networking, 11(5):796-809, 2003.
8. T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating test cases for a timed I/O automaton model. In 12th Workshop on Testing of Communicating Systems, pages 197-214. Kluwer Academic Publishers, 1999.
9. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(8):1090-1123, 1996.
10. M. Núñez and I. Rodríguez. Encoding PAMR into (timed) EFSMs. In FORTE 2002, LNCS 2529, pages 1-16. Springer, 2002.
11. M. Núñez and I. Rodríguez. Towards testing stochastic timed systems. In FORTE 2003, LNCS 2767, pages 335-350. Springer, 2003.
12. M. Núñez and I. Rodríguez. Conformance testing relations for timed systems. In 5th Int. Workshop on Formal Approaches to Software Testing (FATES 2005), LNCS 3997, pages 103-117. Springer, 2006.
13. J.C. Park and R.E. Miller. Synthesizing protocol specifications from service specifications in timed extended finite state machines. In 17th IEEE Int. Conf. on Distributed Computing Systems, ICDCS'97, pages 253-260. IEEE Computer Society, 1997.
14. A. Petrenko. Fault model-driven test derivation from finite state models: Annotated bibliography. In 4th Summer School, MOVEP 2000, LNCS 2067, pages 196-205. Springer, 2001.
15. J. Springintveld, F. Vaandrager, and P.R. D'Argenio. Testing timed automata. Theoretical Computer Science, 254(1-2):225-257, 2001.
16. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.