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

IEEE Transactions on Computers

Volumn 57, Issue 6, 2008, Pages 835-848

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

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Formal methods; Specification techniques; Testing and debugging

Indexed keywords

ALGORITHMS; COMPUTER DEBUGGING; COMPUTER TESTING; FINITE AUTOMATA; FORMAL METHODS;

FINITE STATE MACHINES MODEL; SPECIFICATION TECHNIQUES; TIMED SYSTEMS;

COMPUTER SYSTEMS;

EID: 44049095689     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2008.15     Document Type: Article

References (36)

1. M. Merayo, M. Núñez, and I. Rodríguez, "Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts," Proc. 26th IFIP WG 6.1 Int'l Conf. Formal Techniques for Networked and Distributed Systems, pp. 372-387, 2006.
2. B. Bosik and M. Uyar, "Finite State Machine Based Formal Methods in Protocol Conformance Testing," Computer Networks and ISDN Systems vol. 22, pp. 7-33, 1991.
3. D. Lee and M. Yannakakis, "Principles and Methods of Testing Finite State Machines: A Survey," Proc. IEEE, vol. 84, no. 8, pp. 1090-1123, 1996.
4. A. Petrenko, "Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography," Proc. Fourth Summer School on Modeling and Verification of Parallel Processes, pp. 196-205, 2001.
5. E. Brinksma and J. Tretmans, "Testing Transition Systems: An Annotated Bibliography," Proc. Fourth Summer School on Modeling and Verification of Parallel Processes, pp. 187-195, 2001.
6. K. El-Fakih, N. Yevtushenko, and G.v. Bochmann, "FSM-Based Incremental Conformance Testing Methods," IEEE Trans. Software Eng., vol. 30, no. 7, pp. 425-436, July 2004.
7. I. Rodríguez, M. Merayo, and M. Núñez, "HOT L: Hypotheses and Observations Testing Logic," J. Logic and Algebraic Programming, vol. 74, no. 2, pp. 57-93, 2008.
8. J. Sifakis, "Use of Petri Nets for Performance Evaluation," Proc. Third Int'l Symp. Measuring, Modelling and Evaluating Computer Systems pp. 75-93, 1977.
9. G. Reed and A. Roscoe, "A Timed Model for Communicating Sequential Processes," Theoretical Computer Science, vol. 58, pp. 249-261, 1988.
10. W. Yi, "CCS + Time = An Interleaving Model for Real Time Systems," Proc. 18th Int'l Colloquium on Automata, Languages, and Programming, pp. 217-228, 1991.
11. X. Nicollin and J. Sifakis, "An Overview and Synthesis on Timed Process Algebras," Proc. Third Int'l Conf. Computer Aided Verification, pp. 376-398, 1991.
12. J. Quemada, D.d. Frutos, and A. Azcorra, "TIC: A Timed Calculus," Formal Aspects of Computing, vol. 5, pp. 224-252, 1993.
13. R. Alur and D. Dill, "A Theory of Timed Automata," Theoretical Computer Science, vol. 126, pp. 183-235, 1994.
14. M. Hennessy and T. Regan, "A Process Algebra for Timed Systems," Information and Computation, vol. 117, no. 2, pp. 221-239, 1995.
15. J. Davies and S. Schneider, "A Brief History of Timed CSP," Theoretical Computer Science, vol. 138, pp. 243-271, 1995.
16. J. Baeten and C. Middelburg, Process Algebra with Timing, Springer, 2002.
17. M. Núñez and I. Rodríguez, "Conformance Testing Relations for Timed Systems," Proc. Fifth Int'l Workshop Formal Approaches to Software Testing, pp. 103-117, 2006.
18. J. Springintveld, F. Vaandrager, and P. D'Argenio, "Testing Timed Automata," Theoretical Computer Science, vol. 254, no. 1-2, pp. 225-257, 2001.
19. R. Barbuti and L. Tesei, "Timed Automata with Urgent Transitions," Acta Informatica, vol. 40, no. 5, pp. 317-347, 2004.
20. B. Gebremichael and F. Vaandrager, "Specifying Urgency in Timed I/O Automata," Proc. Third IEEE Int'l Conf. Software Eng. and Formal Methods, pp. 64-73, 2005.
21. P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, C.-H. Huang, J.-J. Yeh, H.-Y. Sun, C.-S. Lin, and H.-W. Liao, "Model Checking Timed Systems with Urgencies," Proc. Fourth Int'l Symp. Automated Technology for Verification and Analysis, pp. 67-81, 2006.
22. D. Clarke and I. Lee Automatic Generation of Tests for Timing Constraints from Requirements, Proc. Third Workshop Object-Oriented Real-Time Dependable Systems, pp. 199-206, 1997.
23. T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli, "Generating Test Cases for a Timed I/O Automaton Model," Proc. 12th Int'l Workshop Testing of Communicating Systems, pp. 197-214, 1999.
24. A. En-Nouaary and R. Dssouli, "A Guided Method for Testing Timed Input Output Automata," Proc. 15th Int'l Conf. Testing Communicating Systems, pp. 211-225, 2003.
25. M. Krichen and S. Tripakis, "Black-Box Conformance Testing for Real-Time Systems," Proc. 11th Int'l SPIN Workshop Model Checking of Software, pp. 109-126, 2004.
26. L. Brandán Briones and E. Brinksma, "Testing Real-Time Multi Input-Output Systems," Proc. Seventh Int'l Conf. Formal Eng. Methods pp. 264-279, 2005.
27. H. Fouchal, E. Petitjean, and S. Salva, "An User-Oriented Testing of Real Time Systems," Proc. IEEE Workshop Real-Time Embedded Systems 2001.
28. R. Cardell-Oliver, "Conformance Tests for Real-Time Systems with Timed Automata Specifications," Formal Aspects of Computing, vol. 12, no. 5, pp. 350-371, 2000.
29. R. Cardell-Oliver and T. Glover, "A Practical and Complete Algorithm for Testing Real-Time Systems," Proc. Fifth Int'l Symp. Formal Techniques in Real-Time and Fault-Tolerant Systems, pp. 251-260, 1998.
30. D. Mandrioli, S. Morasca, and A. Morzenti, "Generating Test Cases for Real Time Systems from Logic Specifications," ACM Trans. Computer Systems, vol. 13, no. 4, pp. 356-398, 1995.
31. J. Peleska and M. Siegel, "Test Automation of Safety-Critical Reactive Systems," South African Computer J., vol. 19, pp. 53-77, 1997.
32. M. Núñez and I. Rodríguez, "Encoding PAMR into (timed) EFSMs," Proc. 22nd IFIP WG 6.1 Int'l Conf. Formal Techniques for Networked and Distributed Systems, pp. 1-16, 2002.
33. A. Petrenko and N. Yevtushenko, "Conformance Tests as Checking Experiments for Partial Nondeterministic FSM," Proc. Fifth Int'l Workshop Formal Approaches to Software Testing, pp. 118-133, 2006.
34. J. Tretmans, "Test Generation with Inputs, Outputs and Repetitive Quiescence," Software - Concepts and Tools, vol. 17, no. 3, pp. 103-120, 1996.
35. M. Núñez and I. Rodríguez, "Towards Testing Stochastic Timed Systems," Proc. 23rd IFIP WG 6.1 Int'l Conf. Formal Techniques for Networked and Distributed Systems, pp. 335-350, 2003.
36. M. Merayo, M. Núñez, and I. Rodríguez, "Implementation Relations for Stochastic Finite State Machines," Proc. Third European Performance Eng. Workshop, pp. 123-137, 2006.