Experimental evaluation of FSM-based testing methods

Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005

Volumn , Issue , 2005, Pages 23-32

  Dorofeeva, R ^a   El Fakih, K ^b   Maag, S ^c   Cavalli, A R ^c   Yevtushenko, N ^a  

^a TOMSK STATE UNIVERSITY   (Russian Federation)

^b AMERICAN UNIVERSITY OF SHARJAH   (United Arab Emirates)

^c INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DETECTION CAPABILITY; EXPERIMENTAL EVALUATION; FORMAL SPECIFICATION; NUMBER OF METHODS; REACTIVE SYSTEM; RESEARCH COMMUNITIES; SIMPLE CONNECTION PROTOCOLS; TESTING SOFTWARE;

EXPERIMENTS; FAULT DETECTION; SOFTWARE TESTING; SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 37249060175     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2005.17     Document Type: Conference Paper

References (22)

1. G. v. Bochmann, A. Petrenko, "Protocol testing: review of methods and relevance for software testing," Proc. International Symposium on Software Testing and Analysis, Seattle, 1994, pp. 109-123.
2. I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter. "KVEST: Automated Generation of Test Suites from Formal Specifications". Lecture Notes in Computer Science, N 1708, pp. 608-621, Proceedings of World Congress of Formal Methods, Springer-Verlag, Toulouse, France, 1999.
3. W.-H. Chen, Executable test sequence for the protocol data flow property, Proc. of Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, FORTE/PSTV'01, 2001, Cheju Island, Korea.
4. T. S. Chow, "Test design modeled by finite-state machines," IEEE Trans. SE, vol. 4, no. 3, 1978, pp. 178-187.
5. R. Dorofeeva, K. El-Fakih, N. Yevtushenko, "An improved FSM-based conformance testing method", Proc. of the IFIP 25th International Conference on Formal Methods for Networked and Distributed Systems, Taiwan, Oct. '05 (to appear).
6. S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, "Test selection based on finite state models," IEEE Trans. SE, vol. 17, no. 6, 1991, pp. 591-603.
7. A. Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962.
8. F. C. Hennie, "Fault detecting experiments for sequential circuits", in Proc. of 5th Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, 1964, pp. 95-110.
9. E. P. Hsieh, "Checking experiments for sequential machines", IEEE Trans. on Computers, Vol. 20, No. 10, 1971, pp. 1152-1166.
10. ITU-T, Recommendation Z. 100-Specification and Description Language SDL Geneva, 1992.
11. Z. Kohavi, Switching and Finite Automata Theory. New York, McGraw-Hill, 1978, p. 658.
12. I. Koufareva, M. Dorofeeva. "A novel modification of W-method". Joint Bulletin of the Novosibirsk computing center and A. P. Ershov institute of informatics systems. Series: Computing science, issue: 18, 2002, NCC Publisher, Novosibirsk.-PP. 69-81.
13. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines-a survey", Proceedings of the IEEE, vol. 84, no. 8, 1996, pp. 1090-1123.
14. A. Petrenko, "Checking experiments with protocol machines," Proc. 4th Int. Workshop on Protocol Test Systems (IWPTS), 1991, pp. 83-94.
15. A. Petrenko, N. Yevtushenko, A. Lebedev, and A. Das, " Nondeterministic state machines in protocol conformance testing," Proc. of the IFIP 6th IWPTS, France, 1993, pp. 363-378.
16. A. Petrenko and N. Yevtushenko, "On test derivation from partial specifications", Proceedings of the IFIP Joint International Conference, FORTE/PSTV'2000, on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, Italy, 2000, pp. 85-102.
17. K. Sabnani and A. Dahbura, "A protocol test generation procedure," Computer Networks and ISDN Systems, vol. 15, no. 4, 1988, pp. 285-297.
18. D. P. Sidhu, and T. K. Leung, "Formal methods for protocol testing: a detailed study," IEEE Trans. SE, vol. 15, no. 4, 1989, pp. 413-426.
19. M. P. Vasilevskii, "Failure diagnosis of automata," translated from Kibernetika, No. 4, 1973, pp. 98-108.
20. M. Yannakakis and D. Lee, "Testing finite state machines: fault detection", Journal of Computer and System Sciences, 50, 1995, pp. 209-227.
21. N. Yevtushenko and A. Petrenko, Test derivation method for an arbitrary deterministic automaton, Automatic Control and Computer Sciences, Allerton Press Inc., USA, #5, 1990.
22. S. T. Vuong, W. W. L. Chan, and M. R. Ito, "The UIOvmethod for protocol test sequence generation," Proc. of the IFIP TC6 2nd IWPTS, North-Holland, 1989, pp. 161-175.