Batch-optimistic test-cases generation using genetic algorithms

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 1, Issue , 2007, Pages 157-164

  Sofokleous, Anastasis A ^a   Andreou, Andreas S ^b  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOW GRAPH; CONTROL-FLOW GRAPHS; EVOLUTIONARY COMPUTING; INTERNATIONAL CONFERENCES; PROGRAM ANALYSIS; SOURCE CODING; SUB-SYSTEMS; TEST CASES; TEST DATA; TEST SYSTEMS; TEST-COVERAGE;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; AUTOMATIC TEST PATTERN GENERATION; AUTOMATIC TESTING; CHLORINE COMPOUNDS; CODES (STANDARDS); CODES (SYMBOLS); COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEMS; CYBERNETICS; DATA STRUCTURES; DIESEL ENGINES; FILE ORGANIZATION; GENETIC ALGORITHMS; GRAPH THEORY; SOFTWARE TESTING; STRUCTURAL OPTIMIZATION; TESTING;

CONCURRENCY CONTROL;

EID: 48649103354     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2007.113     Document Type: Conference Paper

References (22)

1. C. Kaner and J. H. Falk H.Q., Testing Computer Software, John Wiley & Sons, Inc, New York, NY, USA, 1999.
2. M. J. Gallagher and V. Lakshmi Narasimhan, "ADTEST: a test data generation suite for Ada software systems," IEEE Trans. Software Eng., Vol. 23, No. 8, pp. 473-484, 1997.
3. J. H. Holland, Adaptation in Natural and Artificial Systems, MIT Press, Cambridge, MA, USA, 1992.
4. S. Kirkpatrick, C. Gellat and M. Vecchi, "Optimization by simulated annealing," Science, Vol. 220, No. 4598, pp. 671-680, 1983.
5. F. Glover, "Tabu search - Part I, II," ORSA Journal on Computing, Vol. 1, No. 3, pp. 190-260, 1989.
6. L. A. Clarke, "A system to generate test data symbolically," IEEE Transactions on Software Engineering, Vol. 2, No. 3, pp. 215-222, 1976.
7. C. C. Michael, G. McGraw and M. A. Schatz, "Generating Software Test Data by Evolution," IEEE Transactions on Software Engineering, Vol. 27, No. 12, pp. 1085-1110, 2001.
8. B. Korel, "Automated test data generation for programs with procedures," in Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and analysis, San Diego, California, United States, 1996, pp. 209-215.
9. C. Michael and G. McGraw, "Automated software testdata generation for complex programs," in Proceedings of 13th IEEE International Conferance on Automated Software Engineering, Honolulu, HI, USA, 1998, pp. 136-146.
10. D. J. Berndt and A. Watkins, "Investigating the performance of genetic algorithm-based software test case generation," in Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), Tampa Florida, 2004, pp. 261-262.
11. A. Watkins, D. Berndt, K. Aebischer, J. Fisher and L. Johnson, "Breeding software test cases for complex systems," in Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS 37), Hawaii, 2004.
12. T. Barr, "Architectural overview of the computational intelligence testing tool CI-tool," in Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), Tampa Florida, 2004, pp. 269-270.
13. R. M. Patton, A. S. Wu and G. H. Walton, A Genetic Algorithm Approach to Focused Software Usage Testing, Kluwer Academic Publishers, Boston, USA, pp.259-286, 2003.
14. R. P. Pargas, M. J. Harrold and R. R. Peck, "Test-Data Generation using genetic algorithms," Journal of Software Testing, Verification and Reliability, Vol. 9, No. 4, pp. 263-282, 1999.
15. P. McMinn, M. Harman, D. Binkley and P. Tonella, "The species per path approach to SearchBased test data generation," in Proceedings of the 2006 International Symposium on Software Testing and Analysis (ISSTA 2006), London, UK, 2006, pp. 13-24.
16. A. Baresel and H. Sthamer, "Evolutionary testing of flag conditions," in Lecture Notes in Computer Science 2724: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2003), Chicago, IL, USA, 2003, pp. 2442-2454.
17. L. Bottaci, "Instrumenting programs with flag variables for test data search by genetic algorithms," in Proceedings of the Genetic and Evolutionary Computation Conference, New York, USA, 2002, pp. 1337-1342.
18. A. Baresel, D. Binkley, M. Harman and B. Korel, "Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach," in Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, Boston, Massachusetts, USA, 2004, pp. 108-118.
19. A. A. Sofokleous, A. S. Andreou, C. Schizas and G. Ioakim, "Extending and enhancing a basic program analysis system," in Proceedings of the IADIS International Conference, Applied Computing 2006 (AC2006), San Sebastian, Spain, 2006, pp. 353-361.
20. G. M. Kapfhammer, Software Testing, CRC Press, Boca Raton, FL, 2004.
21. H. Zhu, P. Hall and J. May, "Software Unit Test Coverage and Adequacy," ACM Computing Surveys (CSUR), Vol. 29, No. 4, pp. 366-427, 1997.
22. S. Schach, Object-Oriented and Classical Software Engineering, McGraw-Hill, New York, USA, 2005.