FSM-based conformance testing methods: A survey annotated with experimental evaluation

Information and Software Technology

Volumn 52, Issue 12, 2010, Pages 1286-1297

  Dorofeeva, Rita ^a   El Fakih, Khaled ^b   Maag, Stephane ^c   Cavalli, Ana R ^c   Yevtushenko, Nina ^a  

^a TOMSK STATE UNIVERSITY   (Russian Federation)

^b AMERICAN UNIVERSITY OF SHARJAH   (United Arab Emirates)

^c INSTITUT TELECOM   (France)

Author keywords

Conformance testing; Finite state machines; Model based testing; Protocol testing

Indexed keywords

COMMUNICATION PROTOCOLS; CONFORMANCE TESTING; DETECTION CAPABILITY; EXPERIMENTAL EVALUATION; FINITE STATE MACHINES; FORMAL SPECIFICATION; MODEL BASED TESTING; NUMBER OF METHODS; PROTOCOL TESTING; REACTIVE SYSTEM; SIMPLE CONNECTION PROTOCOLS; TEST CASE; TESTING SOFTWARE;

COMMUNICATION; CONTOUR FOLLOWERS; FAULT DETECTION; SPECIFICATIONS;

FINITE AUTOMATA;

EID: 77957350662     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2010.07.001     Document Type: Article

References (42)

1. T.S. Chow Test design modeled by finite-state machines IEEE Trans. Softw. Eng. 4 3 1978 178 187
2. M.P. Vasilevskii, in: Failure Diagnosis of Automata, Translated from Kibernetika, vol. 4, 1973, pp. 98-108.
3. S. Fujiwara, G.v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi Test selection based on finite state models IEEE Trans. Softw. Eng. 17 6 1991 591 603
4. K. Sabnani, and A. Dahbura A protocol test generation procedure Comput. Networks ISDN Syst. 15 4 1988 285 297
5. S.T. Vuong, W.W.L. Chan, M.R. Ito, The UIOv-method for protocol test sequence generation, in: Proc. of the IFIP TC6 2nd IWPTS, North-Holland, 1989, pp. 161-175.
6. G. Gonenc A method for the design of fault detection experiments IEEE Trans. Comput. C-19 6 1970 551 558
7. A. Petrenko, and N. Yevtushenko Testing from partial deterministic FSM specifications IEEE Trans. Comput. 54 9 2005 1154 1165
8. A. Petrenko, N. Yevtushenko, A. Lebedev, A. Das, Nondeterministic state machines in protocol conformance testing, in: Proc. of the IFIP 6th IWPTS, France, 1993, pp. 363-378.
9. N. Yevtushenko, and A. Petrenko Test derivation method for an arbitrary deterministic automaton Automatic Control and Computer Sciences vol. 5 1990 Allerton Press Inc. USA
10. R. Dorofeeva, K. El-Fakih, N. Yevtushenko, An improved FSM-based conformance testing method, in: Proc. of the IFIP 25th International Conference on Formal Methods for Networked and Distributed Systems, vol. 3731, Taiwan, Lecture Notes in Computer Science, 2005, pp. 204-218.
11. I. Koufareva, and R. Dorofeeva A novel modification of W-method, joint bulletin of the Novosibirsk computing center and A.P. Ershov institute of informatics systems Ser.: Comput. Sci. 18 2002 69 81
12. G.v. Bochmann, A. Petrenko, Protocol testing: review of methods and relevance for software testing, in: Proc. International Symposium on Software Testing and Analysis, Seattle, 1994, pp. 109-123.
13. S.T. Chanson, A.A.F. Loureiro, and S.T. Vuong On tools supporting the use of formal description techniques in protocol development Comput. Networks ISDN Syst. 25 1993 1 5
14. D. Lee, and M. Yannakakis Principles and methods of testing finite state machines - a survey Proc. IEEE 84 8 1996 1090 1123
15. D.P. Sidhu, and T.K. Leung Formal methods for protocol testing: a detailed study IEEE Trans. Softw. Eng. 15 4 1989 413 426
16. M. Yannakakis, and D. Lee Testing finite state machines: fault detection J. Comput. Syst. Sci. 50 1995 209 227
17. R. Lai A survey of communication protocol testing J. Syst. Softw. 62 2002 21 46
18. I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter KVEST: automated generation of test suites from formal specifications Lect. Notes Comput. Sci. 1708 1999 608 621
19. 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.
20. E.P. Hsieh Checking experiments for sequential machines IEEE Trans. Comput. 20 10 1971 1152 1166
21. H. Ural, X. Wu, and F. Zhang On minimizing the lengths of checking experiments IEEE Trans. Comput. 46 1 1997 93 99
22. A. Gill Introduction to the Theory of Finite-state Machines 1962 McGraw-Hill
23. A. Dahbura, K. Sabnani, Experience in estimating fault coverage of a protocol test, in: Proc. INFOCOM, 1988, pp. 71-79.
24. M. Yao, A. Petrenko, G.v. Bochmann, Fault coverage analysis in respect to an FSM specification, in: Proc. INFOCOM, 1994.
25. V. Shevelkov, Development of methods and tools for session interconnection provision in open systems networks, Ph.D. Thesis, Riga, 1991.
26. D.P. Sidhu, T.K. Leung, Experience with test generation for real protocols, in: Proc. SIGCOMM Symp.: Communication Architectures and Protocols, 1988, pp. 257-261.
27. D.P. Sidhu, and T.P. Blumer Verification of NBS class 4 transport protocol IEEE Trans. Softw. Eng. 34 1986 781 789
28. F. Liu, Test generation based on the FSM model with timers and counters. M.Sc. Thesis, Université de Montréal, DIRO, 1993.
29. A. Petrenko, Checking experiments with protocol machines, in: Proc. 4th Int. Workshop on Protocol Test Systems (IWPTS), 1991, pp. 83-94.
30. A.V. Aho et al., An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours, in: Proc. Protocol Specification, Testing, and Verification (PSTV), 1988, pp. 75-86.
31. M.H. Sherif, and M. Uyar Protocol modeling for conformance testing: case study for the ISDN LAPD protocol AT&T Tech. J. 69 1 1990 60 83
32. ITU-T Recommendation V.42, Error-correcting Procedures for DCEs Using Asynchronous-to-synchronous Conversion, AAP29-03/02, 2002.
33. R. Dorofeeva, K. El-Fakih, S. Maag, A.R. Cavalli, N. Yevtushenko, Experimental evaluation of FSM-based testing methods. in: Proc. of the IEEE International Conference on Software Engineering and Formal Methods (SEFM), Germany, 2005, pp. 23-32.
34. Z. Kohavi Switching and Finite Automata Theory 1978 McGraw-Hill New York
35. D. Lee, and M. Yannakakis Testing finite state machines: state identification and verification IEEE Trans. Comput. 43 3 1994 306 320
36. K. Naik Efficient computation of unique input/output sequences in finite-state machines IEEE Trans. Network 5 4 1997 585 599
37. W.H. Chen, Executable test sequence for the protocol data flow property. in: Proc. of Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, FORTE/PSTV, Cheju Island, Korea, 2001, pp. 285-299.
38. ITU-T Recommendation V.76, Generic Multiplexer Using V.42 LAPM-Based Procedures. Series V: Data Communication Over the Telephone Network, 1996.
39. ITU-T Recommendation Z.120, Annexe B: Algebraic Semantics of Message Sequence Charts, Geneva, 1995.
40. ITU-T, Recommendation Z, 100-Specification and Description Language SDL, Geneva, 1992.
41. A. Mathur Foundations of Software Testing 2008 Addison Wesley
42. K. Naik, and P. Tripathy Software Testing and Quality Assurance: Theory and Practice 2008 Wiley