Automated unique input output sequence generation or conformance testing of FSMs

Computer Journal

Volumn 49, Issue 3, 2006, Pages 331-344

  Derderian, Karnig ^a   Hierons, Robert M ^a   Harman, Mark ^b   Guo, Qiang ^c  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Conformance testing; Finite state machine; Genetic algorithm; State verification; Unique input output sequence

Indexed keywords

COMPUTER SIMULATION; GENETIC ALGORITHMS; INPUT OUTPUT PROGRAMS; SEQUENTIAL MACHINES; STATE ASSIGNMENT;

CONFORMANCE TESTING; STATE VERIFICATION; UNIQUE INPUT OUTPUT SEQUENCE;

FINITE AUTOMATA;

EID: 33646244287     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxl003     Document Type: Article

References (47)

1. Hennie, F. C. (1964) Fault-detecting experiments for sequential circuits. In Proc. Fifth Annual Symp. Switching Circuit Theory and Logical Design, Princeton, NJ, November, pp. 95-110.
2. Chow, T. S. (1978) Testing software design modelled by finite state machines. IEEE Trans. Softw. Eng., 4, 178-187.
3. Aho, A., Dahbura, A., Lee, D. and Uyar, M. U. (1991) An optimization technique for protocol conformance test generation based on UIO sequences and rural chinise postman tour. IEEE Trans. Commun., 39, 1604-1615.
4. Lee, D. and Yannakakis, M. (1994) Testing finite state machines: State identification and verification. IEEE Trans. Comput., 43, 306-320.
5. Sidhu, D. P. and Leung, T. K. (1989) Formal methods for protocol testing: A detailed study. IEEE Trans. Softw. Eng., 15, 413-426.
6. Shen, Y., Lombardi, F. and Dahbura, T. (1989) Protocol conformance testing using multiple UIO sequences. In Proc. IFIP WG6.1 9th Int. Symp. Protocol Specification Testing and Verification, Amsterdam, Holland, pp. 131-144.
7. Yang, B. and Ural, H. (1990) Protocol conformance test generation using multiple uio sequences with overlapping. In Proc. ACM Symp. Communications Architectures & protocols (SIGCOMM '90), pp. 118-125.
8. Miller, R. E. and Paul, S. (1993) On the generation of minimal-length conformance tests for communication protocols. IEEE/ACM Trans. Netw., 1, 116-129.
9. Shen, X. and Li, G. (1992) A new protocol conformance test generation method and experimental results. Proc. 1992 ACM/SIGAPP Symp. Applied Computing (SAC '92), pp. 75-84. ACM Press.
10. Tanenbaum, A. S. (1996) Computer Networks (3rd edn). Prentice Hall, Upper Saddle River, NJ, USA.
11. Gonenc, G. (1970) A method for the design of fault detection experiments. IEEE Trans. Comput., 19, 551-558.
12. Ural, H., Wu, X. and Zhang, F. (1997) On minimizing the lengths of checking sequences. IEEE Trans. Comput., 46, 93-99.
13. Hierons, R. M. and Ural, H. (2002) Reduced length checking sequences. IEEE Trans. Comput., 51, 1111-1117.
14. Rezaki, A. and Ural, H. (1995) Construction of checking sequences based on characterization sets. Comput. Commun., 18, 911-920.
15. Sabnani, K. K. and Dahbura, A. T. (1988) A protocol test generation procedure. Comput. Netw. ISDN Syst., 15, 285-297.
16. Lee, D. and Yannakakis, M. (1996) Principles and methods of testing finite state machines - a survey. Proc. IEEE, 84, 1090-1123.
17. Goldberg, D. E. (1989) Genetic Algorithms in Search, Optimisation and Machine Learning. Addison-Wesley Publishing Company, Reading, MA.
18. Guo, Q., Hierons, R. M., Harman, M. and Derderian, K. (2004) Computing unique input/output sequences using genetic algorithms. In Proc. Formal Approaches to Software Testing: Third Int. Workshop, FATES 2003, LNCS 2931, pp. 169-184. Springer, New York.
19. Jones, B. F., Eyres, D. E. and Sthamer, H.-H. (1998) A strategy for using genetic algorithms to automate branch and fault-based testing. Comput. J., 41, 98-107.
20. Jones, B. P., Sthamer, H.-H. and Eyres, D. E. (1996) Automatic structural testing using genetic algorithms. Softw. Eng. J., 11, 299-306.
21. Beizer, B. (1990) Software Testing Technique (2nd edn). Van Nostard Reinhold, New York.
22. Petrenko, A., Yevtushenko, N. and v. Bochmann, G. (1996) Testing deterministic implementations from nondeterministic FSM specifications. In Proc. IFIP TC6 9th Int. Workshop on Testing of Communicating Systems, Darmstadt, Germany, September 9-11, pp. 125-140. Chapman & Hall, Ltd.
23. Hwang, I., Kim, T., Hong, S. and Lee, J. (2001) Test selection for a nondeterministic FSM. Comput. Commun., 24, 1213-1223.
24. Hierons, R. M. (2004) Testing from a non-deterministic finite state machine using adaptive state counting. IEEE Trans. Comput., 53, 1330-1342.
25. Moore, E. (1956) Gedanken-experiments on sequential machines. Automata Studies, 34, 129-153.
26. Kohavi, Z. (1978) Switching and Finite Automata Theory. McGraw-Hill, New York.
27. Luo, G., Petrenko, A. and von Bochmann, G. (1993) Selecting test sequences for partially-specified nondeterministic finite state machines. Technical Report IRO-864. Department d'Informatique et de Recherche Opérationnelle, Université de Montŕeal.
28. Luo, G., von Bochmann, G. and Petrenko, A. (1994) Test selection based on communicating nondeterministic finite-state machines using a generalized WP-method. IEEE Tran. Softw. Eng., 20, 149-162.
29. Inan, K. and Ural, H. (1999) Efficient checking sequences for testing finite state machines. Inform. Softw. Technol., 41, 799-812.
30. Naik, K. (1995) Fault-tolerant UIO sequences in finite state machines. In Proc. 8th IFIP Int. Workshop on Protocol Test Systems, Evry, France, September, pp. 201-214.
31. Son, H., Nyang, D., Lim, S., Park, J., Choe, Y.-H., Chin, B. and Song, J. (1998) An optimized test sequence satisfying the completeness criteria. In Proc. 12th Int. Conf. Information Networking (ICOIN-12), Tokyo, Japan, January, pp. 621-625. IEEE.
32. Wang, B. and Huthinson, D. (1987) Protocol testing techniques. Comput. Commun., 10,79-87.
33. Shen, Y., Scoggins, S. and Tang, A. (1991) An improved RCP-method for protocol test generation using backward UIO sequences. In Proc. ACM Symp. Applied Computing (SAC 1991), Kansas City, MO, April, pp. 284-293. ACM Press, New York.
34. Srinivas, M. and Patnaik, L. M. (1994) Genetic algorithms: A survey. IEEE Comput., 27, 17-27.
35. Pargas, R. P., Harrold, M. J. and Peck, R. R. (1999) Test-data generation using genetic algorithms. J. Softw. Test. Verif. Rel., 9, 263-282.
36. Michael, C. C., McGraw, G. and Schatz, M. A. (2001) Generating software test data by evolution. IEEE Trans. Softw. Eng., 27, 1085-1110.
37. Tracey, N., dark, J., Mander, K. and McDermid, J. (2000) Automated test-data generation for exception conditions. Softw. Pract. Exper., 30, 61-79.
38. Whitley, D. (1999) A free lunch proof for gray versus binary encodings. In Proc. Genetic and Evolutionary Computation Conf., Orlando, EL, USA, July, pp. 726-733. Morgan Kaufmann, CA, USA.
39. Beasley, D., Bull, D. R. and Martin, R. R. (1993) An overview of genetic algorithms. Part 1: Fundamentals. Univ. Comput., 15, 58-69.
40. Beasley, D., Bull, D. R. and Martin, R. R. (1993) An overview of genetic algorithms. Part 2: Research topics. Univ. Comput., 15, 170-181.
41. Michalewicz, Z. (1996) Genetic Algorithms + Data Structures = Evolution Programs (3rd revised and extended edn). Springer-Verlag, Berlin, Heidelberg, New York.
42. Derderian, K. (2002) General Genetic Algorithm Tool. Technical Report. Available at www.karnig.co.uk/ga/ggat.html.
43. Goldberg, D., Deb, K. and Theirens, D. (1993) Toward a better understanding of mixing in genetic algorithms. Soc. Instrum. Cont. Eng. J., 32, 10-16.
44. LGSynth91 (1991) Logic synthesis and Optimization Benchmarks. Technical Report 3, University of California. Available at www.ece.pdx.edu/polo/ function/LGSynth91.
45. Sun, D.,Vinnakota, B. and Jiang, W. Fast state verification. In Proc. 35th Annual Conf. Design Automation, San Francisco, CA, USA, June, pp. 619-624. ACM Press, New York.
46. Sun, H., Gao, M. and Liang, A. (2001) Study on UIO sequence generation for sequential machine's functional test. In Proc. 4th Int. Conf. ASIC, Shanghai, China, October 23-25, pp. 628-632. IEEE.
47. Trakhtenbrot, B. A. and Barzdin, Y. M. (1973) Finite Automata: Behavior and Synthesis. North-Holland, Amsterdam.