Automatic state-based test generation using genetic algorithms

Proceedings - 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007

Volumn , Issue , 2007, Pages 188-195

  Lefticaru, Raluca ^a   Ipate, Florentin ^a  

^a UNIVERSITY OF PITESTI   (Romania)

Author keywords

Automated test data generation; Evolutionary testing; Finite state machines; Genetic algorithms; Mutation testing; Search based software engineering

Indexed keywords

FINITE AUTOMATA; GENETIC ALGORITHMS; SEARCH ENGINES;

AUTOMATED TEST DATA GENERATION; AUTOMATIC GENERATION; EVOLUTIONARY TESTING; FUNCTIONAL SPECIFICATION; MUTATION TESTING; SEARCH-BASED SOFTWARE ENGINEERING; STATE-BASED TESTING; TEST DATA GENERATION;

SOFTWARE TESTING;

EID: 48049120649     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2007.47     Document Type: Conference Paper

References (30)

1. G. Antoniol, L. C. Briand, M. D. Penta, and Y. Labiche. A case study using the round-trip strategy for state-based class testing. In ISSRE '02. IEEE Computer Society, 2002.
2. A. Baresel, D. Binkley, M. Harman, and B. Korel. Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. In ISSTA, pages 108-118, 2004.
3. R. V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools, Object Technology. Addison-Wesley, 1999.
4. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley Longman, 1999.
5. L. C. Briand, M. D. Penta, and Y. Labiche. Assessing and improving state-based class testing: A series of experiments. IEEE Trans. Softw. Eng., 30(11):770-793, 2004.
6. P. Chevalley and P. Thévenod-Fosse. Automated generation of statistical test cases from UML state diagrams. In COMPSAC '01, pages 205-214. IEEE Computer Society, 2001.
7. T. S. Chow. Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng., 4(3): 178-187, 1978.
8. P. Fröhlich and J. Link. Automated test case generation from dynamic models. In ECOOP '00, pages 472-492. Springer-Verlag, 2000.
9. D. E. Goldberg and K. Deb. A comparative analysis of selection schemes used in genetic algorithms. In FOGA, pages 69-93, 1990.
10. F. Ipate. Testing against a non-controllable stream X-machine using state counting. Theoretical Comput. Sci., 353(1-3):291-316, 2006.
11. B. Jones, H. Sthamer, and D. Eyres. The automatic generation of software test data sets using adaptive search techniques. In Proceedings of 3rd International Conference on Software Quality Management, pages 435-444, 1995.
12. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proceedings of the IEEE, volume 84, pages 1090-1126, 1996.
13. Y-S. Ma, J. Offutt, and Y. R. Kwon. Mujava: an automated class mutation system. Softw. Test., Verif. Reliab., 15(2):97-133, 2005.
14. P. McMinn. Search-based software test data generation: a survey. Softw. Test., Verif. Reliab., 14(2): 105-156, 2004.
15. P. McMinn and M. Holcombe. The state problem for evolutionary testing. In GECCO, pages 2488-2498, 2003.
16. P. McMinn and M. Holcombe. Evolutionary testing of state-based programs. In GECCO, pages 1013-1020, 2005.
17. B. Meyer. Design by contract. IEEE Computer, 25(10):40-51, 1992.
18. Z. Michalewicz. Genetic algorithms + data structures = evolution programs (3rd ed.). Springer-Verlag, London, UK, 1996.
19. M.Mitchell. An Introduction to Genetic Algorithms. MIT Press, Cambridge, MA, USA, 1998.
20. A. J. Offutt and A. Abdurazik. Generating tests from UML specifications. In UML, pages 416-429, 1999.
21. A. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating test data from state-based specifications. Softw. Test., Verif. Reliab., 13(1):25-53, 2003.
22. R. P. Pargas, M.J. Harrold, and R. Peck. Test-data generation using genetic algorithms. Softw. Test., Verif. Reliab., 9(4):263-282, 1999.
23. P. Tonella. Evolutionary testing of classes. In ISSTA, pages 119-128, 2004.
24. N. Tracey, J. Clark, and K. Mander. Automated program flaw finding using simulated annealing. In ISSTA '98, pages 73-81. ACM Press, 1998.
25. N. Tracey, J. A. Clark, K. Mander, and J. A. McDermid. An automated framework for structural test-data generation. In ASE, pages 285-288, 1998.
26. N.J. Tracey. A search-based automated test-data generation framework for safety-critical software. PhD thesis, University of York, 2000.
27. http://jgap.sourceforge.net/. JGAP home page.
28. http://www.ise.gmu.edu/~offutt/mujava/. MuJava home page.
29. D. Whitley. A genetic algorithm tutorial. Statistics and Computing, 4:65-85, 1994.
30. Y. Wu, M.-H. Chen, and J. Offutt. UML-based integration testing for component-based software. In ICCBSS, pages 251-260, 2003.