Extended finite state machine based test derivation driven by user defined faults

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 308-317

  El Fakih, Khaled ^a   Kolomeez, Anton ^b   Prokopenko, Svetlana ^b   Yevtushenko, Nina ^b  

^a VERIMAG   (France)

^b TOMSK STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

VERIFICATION;

TEST DERIVATION;

TESTING;

EID: 50649122331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.16     Document Type: Conference Paper

References (27)

1. G. v. Bochmann and A. Petrenko, "Protocol testing: review of methods and relevance for software testing", ISSTA, Seattle, 1994, pp. 109-123.
2. S. Boroday, R. Groz, A. Petrenko, Y.-M. Quemener, "Techniques for Abstracting SDL Specifications", Proc. of the 3rd SAM (SDL and MSC) Workshop, 2003. LNCS, vol. 2599.
3. M. Bozga, J.Cl. Fernandez, L. Ghirvu, "Using statis analysis to improve automatoc test derivation", Software Tools and Technologie Transfer, 2003, 4(2), pp. 142-152.
4. W.-H. Chen. "Executable test sequences for the protocol data flow property", Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2001, pp. 285-299.
5. W. Chun and P. Amer, "Test case generation for protocols specified in ESTELLE", FORTE'90.
6. T. Cormen, C. Leiserson, R. Rivest, Introduction to Algorithms, MIT, 1992.
7. M. Dorofeeva, K. El-Fakih, N. Yevtushenko, "Incremental testing methods for implementations with more states than specifications", N. Vestnik of Tomsk State University Journal, 2004, 9(1), pp. 163-168 (in English).
8. K. El-Fakih, N. Yevtushenko, G. v. Bochmann, "FSM-based incremental testing methods", IEEE Trans. on Software Engineering, 2004, 30(7), pp. 425-436.
9. A. Faro and A. Petrenko, "Sequence Generation from EFSMs for Protocol Testing", COMNET'90.
10. A. Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962.
11. J. -P. Favreau, R. J. Linn, "Automatic generation of test scenario skeletons from protocol specifications written in ESTELLE", Int. Workshop Protocol Specification, Testing and Verification (PSTV), 1986.
12. D. Harel and A. Naamad, "The STATEMATE semantics of statecharts", ACM Trans. Software Engineering and Methodolody, 1996, 5(4) pp. 293-333.
13. ISO/IEC, Information processing systems, Estelle-A formal descripition teachnique based on extended state transition model, ISO 9074, 1997.
14. ITU-T, Recommendation Z.100-Specification and Description Language (SDL), Geneva, 1994.
15. B. Korel, I. Singh, L. Tahat, B. Vaysburg, "Slicing of state-based-models", Int. Conference on Software Maintenance, 2003, pp. 34-43.
16. I. Koufareva, A. Petrenko, N. Yevtushenko, "Test generation driven by user-defined fault models", International Workshop on Testing of Communicating Systems, 1999, pp. 215-23.
17. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines-a survey", Proc. of the IEEE, 84(8), 1996, pp. 1090-1123.
18. OMG, Unified Modelling Language, version 1.4, OMG Standard, Nov. 2002.
19. A. Petrenko, S. Boroday, R. Groz, "Confirming Configurations in EFSM", FORTE XII and PSTV XIX, China, 1999.
20. A. Petrenko, S. Boroday, R. Groz, "Confirming configurations in EFSM testing", IEEE Trans. on Software Engineering, 2004, 30(1), pp. 29-42.
21. A. Petrenko and N. Yevtushenko, "Test suite generation for a FSM with a given type of implementation errors", PSTV '92.
22. A. Petrenko and N. Yevtushenko, "Testing from Partial Deterministic FSM Specifications", IEEE Trans. on Computers, 2005, 54(9), pp. 1154-1165.
23. M. Weiser, "Program slicing", IEEE Trans. on Software Engineering, 1982, 10(4), pp. 352-357.
24. S. T. Vuong, W. L. Chan, M. R. Ito, "The UIOv-method for Protocol Test Sequence Generation", PSTV'89.
25. M. Dorofeeva, K. El-Fakih, S. Maag, A.R. Cavalli, N. Yevtushenko, "Experimental evaluation of FSM-based testing methods", Proc. IEEE Software Engineering and Formal Methods, 2005, pp. 23-32.
26. D. P. Sidhu and T. K. Leung, "Formal methods for protocol testing: a detailed study", IEEE Trans. on Software Engineering, 1989, 15(4), pp. 413-426.
27. R. Lai, "A survey of communication protocol testing", Journal of Systems and Software, 2002, pp. 21-46.