Functional search-based testing from state machines

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 525-528

  Lefticaru, Raluca ^a   Ipate, Florentin ^a  

^a UNIVERSITY OF PITESTI   (Romania)

Author keywords

Finite state machine; Genetic algorithms; Particle swarm optimization; Search based testing; Simulated annealing

Indexed keywords

FINITE AUTOMATA; GENETIC ALGORITHMS; INFORMATION ANALYSIS; PARTICLE SWARM OPTIMIZATION (PSO); SIMULATED ANNEALING; SPECIFICATIONS; TEST FACILITIES; VERIFICATION;

FITNESS FUNCTIONS; FUNCTIONAL TESTING; INDIVIDUAL PATHS; META-HEURISTIC SEARCH TECHNIQUES; SEARCH TECHNIQUE; SEARCH-BASED TESTING; STRUCTURAL TESTING; TEST DATA GENERATION;

SOFTWARE TESTING;

EID: 50649117345     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.32     Document Type: Conference Paper

References (28)

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. B. Birge. PSOt - a particle swarm optimization toolbox for use with Matlab. In IEEE Swarm Intelligence Symposium, pages 182-186, 2003.
3. 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.
4. O. Bühler and J. Wegener. Evolutionary functional testing. Computers and Operations Research, 2007. doi:10.1016/j.cor.2007.01.015.
5. P. Chevalley and P. Thévenod-Fosse. Automated generation of statistical test cases from UML state diagrams. In COMP-SAC' 01, pages 205-214. IEEE Computer Society, 2001.
6. T. S. Chow. Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng., 4(3):178-187, 1978.
7. P. Fröhlich and J. Link. Automated test case generation from dynamic models. In ECOOP'00, pages 472-492. Springer-Verlag, 2000.
8. http://psotoolbox.sourceforge.net/. PSOtoolbox.
9. http://www.mathworks.com/products/gads/. Genetic Algorithm and Direct Search Toolbox 2.2.
10. 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.
11. S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi. Optimization by simulated annealing. Science, 220(4598):671-680, 1983.
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. R. Lefticaru and F. Ipate. Automatic state-based test generation using genetic algorithms. In SYNASC 2007, pages 188-195, 2007.
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. Z. Michalewicz. Genetic algorithms + data structures = evolution programs (3rd ed.). Springer-Verlag, 1996.
18. M. Mitchell. An Introduction to Genetic Algorithms. MIT Press, Cambridge, MA, USA, 1998.
19. A. J. Offutt and A. Abdurazik. Generating tests from UML specifications. In UML, pages 416-429, 1999.
20. 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.
21. R. P. Pargas, M. J. Harrold, and R. Peck. Test-data generation using genetic algorithms. Softw. Test., Verif. Reliab., 9(4):263-282, 1999.
22. Y. Shi and R. Eberhart. Empirical study of particle swarm optimization. In CEC, pages 1945-1950, 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. J. Wegener and O. Bühler. Evaluation of different fitness functions for the evolutionary testing of an autonomous parking system. In GECCO (2), pages 1400-1412, 2004.
28. Y. Wu, M.-H. Chen, and J. Offutt. UML-based integration testing for component-based software. In ICCBSS, pages 251-260, 2003.