An improved conformance testing method

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

Volumn 3731 LNCS, Issue , 2005, Pages 204-218

  Dorofeeva, Rita ^a   El Fakih, Khaled ^b   Yevtushenko, Nina ^a  

^a TOMSK STATE UNIVERSITY   (Russian Federation)

^b AMERICAN UNIVERSITY OF SHARJAH   (United Arab Emirates)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER SCIENCE; FINITE AUTOMATA; IDENTIFICATION (CONTROL SYSTEMS); SPECIFICATIONS; TESTING;

HIS METHOD; NONDETERMINISTIC SPECIFICATION; STATE IDENTIFIERS; TRANSITION CHECKING;

HARMONIC ANALYSIS; SPECIFICATIONS;

APPLICATION EXAMPLES; NONDETERMINISTIC SPECIFICATION; NUMBER OF STATE; ON THE FLIES; STATE IDENTIFICATION; TESTING METHOD;

EID: 33646423521     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11562436_16     Document Type: Conference Paper

References (17)

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. T. S. Chow, 'Test design modeled by finite-state machines," IEEE Trans. SE, vol. 4, no.3, 1978, pp. 178-187.
3. 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.
4. A.Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962.
5. 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.
6. 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.
7. G. L. Luo, G. v. Bochmann, and A. Petrenko, "Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-method", IEEE Transactions on Software Engineering, 20(2):149-161, 1994.
8. G. Luo, A. Petrenko, G. v. Bochmann, "Selecting Test Sequences for Partially Specified Nondeterministic Finite State Machines", Proc. 7th IWPTS, Japan, 1994.
9. A. Petrenko, "Checking experiments with protocol machines," Proc. 4th Int. Workshop on Protocol Test Systems, 1991, pp. 83-94.
10. 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.
11. A. Petrenko and N. Yevtushenko, "On Test Derivation from Partial Specifications", Proc. of the IFIP Joint International Conference, FORTE/PSTV'2000, Italy, 2000, pp. 85-102.
12. K. Sabnani and A. Dahbura, "A protocol test generation procedure," Computer Networks and ISDN Systems, vol. 15, no. 4, 1988, pp. 285-297.
13. 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.
14. M. P. Vasilevskii, "Failure diagnosis of automata," translated from Kibemetika, No.4, 1973, pp. 98-108.
15. S. T. Vuong, W.W.L. Chan, and M.R. Ito, "The UIOv-method for protocol test sequence generation," Proc. of the IFIP TC6 2nd IWPTS, North-Holland, 1989,pp.161-175.
16. M. Yannakakis and D. Lee, "Testing finite state machines: fault detection", Journal of Computer and System Sciences, 50, 1995, pp. 209-227.
17. N. Yevtushenko and A. Petrenko, Test derivation method for an arbitrary deterministic automaton, Automatic Control and Computer Sciences, Allerton Press Inc., USA, #5, 1990.