Evolutionary testing of classes

ABSTRACT

Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly open and generic. Correspondingly, the unit testing of classes cannot make too strict assumptions on the actual method invocation sequences, since these vary from application to application.In this paper, a genetic algorithm is exploited to automatically produce test cases for the unit testing of classes in a generic usage scenario. Test cases are described by chromosomes, which include information on which objects to create, which methods to invoke and which values to use as inputs. The proposed algorithm mutates them with the aim of maximizing a given coverage measure. The implementation of the algorithm and its application to classes from the Java standard library are described.

REFERENCES

• 1: André Baresel , Harmen Sthamer , Michael Schmidt, Fitness Function Design To Improve Evolutionary Structural Testing, Proceedings of the Genetic and Evolutionary Computation Conference, p.1329-1336, July 09-13, 2002
• 2: Benoit Baudry , Franck Fleurey , Jean-Marc Jézéquel , Yves Le Traon, Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment, Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE'02), p.195, November 12-15, 2002
• 3: Benoit Baudry , Vu Le Hanh , Jean-Marc Jézéquel , Yves Le Traon, Building Trust into OO Components Using a Genetic Analogy, Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE'00), p.4, October 08-11, 2000
• 4: Chandrasekhar Boyapati , Sarfraz Khurshid , Darko Marinov, Korat: automated testing based on Java predicates, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, July 22-24, 2002, Roma, Italy
• 5: Ugo Buy , Alessandro Orso , Mauro Pezze, Automated Testing of Classes, Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, p.39-48, August 21-24, 2000, Portland, Oregon, United States
• 6: Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Transactions on Software Engineering, v.27 n.2, p.99-123, February 2001 [doi>10.1109/32.908957]
• 7: Roger Ferguson , Bogdan Korel, The chaining approach for software test data generation, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.1, p.63-86, Jan. 1996 [doi>10.1145/226155.226158]
• 8: Matthew J. Gallagher , V. Lakshmi Narasimhan, ADTEST: A Test Data Generation Suite for Ada Software Systems, IEEE Transactions on Software Engineering, v.23 n.8, p.473-484, August 1997 [doi>10.1109/32.624304]
• 9: Mary Lou Soffa , Aditya P. Mathur , Neelam Gupta, Generating Test Data for Branch Coverage, Proceedings of the 15th IEEE international conference on Automated software engineering, p.219, September 11-15, 2000
• 10: Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa, Automated test data generation using an iterative relaxation method, Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, p.231-244, November 01-05, 1998, Lake Buena Vista, Florida, United States
• 11: J. Henkel and A. Diwan. Discovering algebraic specifications from java classes. In Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP), pages 431--456. Springer, July 2003.
• 12: B. Korel, Automated Software Test Data Generation, IEEE Transactions on Software Engineering, v.16 n.8, p.870-879, August 1990 [doi>10.1109/32.57624]
• 13: Bogdan Korel, Automated test data generation for programs with procedures, Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, p.209-215, January 08-10, 1996, San Diego, California, United States
• 14: Vincent Massol , Ted Husted, JUnit in Action, Manning Publications Co., Greenwich, CT, 2003
• 15: C. Michael , G. McGraw, Automated Software Test Data Generation for Complex Programs, Proceedings of the 13th IEEE international conference on Automated software engineering, p.136, October 13-16, 1998
• 16: R. Pargas, M. J. Harrold, and R. Peck. Test-data generation using genetic algorithms. Journal of Software Testing, Verifications, and Reliability, 9:263--282, September 1999.
• 17: H. Sthamer. The Automatic Generation of Software Test Data Using Genetic Algorithms. PhD thesis, University of Glamorgan, Pontyprid, Wales, Great Britain, 1996.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Verification

Keywords:
automated test case generation, genetic algorithms, object-oriented testing