AUTOMATIC SEARCH-BASED TESTING WITH THE REQUIRED K-TUPLES CRITERION

Anastasis A. Sofokleous, Andria Krokou, Andreas S. Andreou

Abstract

This paper examines the use of data flow criteria in software testing and uses evolutionary algorithms to automate the generation of test data with respect to the required k-tuples criterion. The proposed approach is incorporated into an existing test data generation framework consisting of a program analyzer and a test data generator. The former analyses JAVA programs, creates control and data flow graphs, generates paths in relation to data flow dependencies, simulates test cases execution and determines code coverage on the control flow graphs. The test data generator takes advantage of the program analyzer capabilities and generates test cases by utilizing a series of genetic algorithms. The performance of the framework is compared to similar methods and evaluated using both standard and randomly generated JAVA programs. The preliminary results demonstrate the efficacy and efficiency of this approach.

References

  1. Andreou, A. S., Economides, K. A. and Sofokleous, A. A., 2007, An automatic software test-data generation scheme based on data flow criteria and genetic algorithms, in: Proceedings of the 7th IEEE International Conference on Computer and Information Technology, Fukushima, Japan, October, (IEEE Computer Society: Los Alamitos, CA, USA), pp 867-872.
  2. Clarke, L. A., Podgurski, A., Richardson, D. J. and Zeil, S. J., 1989, A Formal Evaluation of Data Flow Path Selection Criteria, IEEE Transactions on Software Engineering, 15(11), pp. 1318-1332.
  3. Csallner, C. and Smaragdakis, Y., 2004, JCrasher: an automatic robustness tester for Java, Software Practice and Experience, 34(11), pp. 1025-1050.
  4. Frankl, P. G. and Weyuker, E. J., 1988, An applicable family of data flow testing criteria, IEEE Transactions on Software Engineering, 14(10), pp. 1483-1498.
  5. Ghiduk, A. S., Harrold, M. J. and Girgis, M. R., 2007, Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage, in: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 7807), Nagoya, Japan, December, (IEEE Computer Society: Washington, DC, USA), pp 41-48.
  6. Girgis, M. R., 2005, Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm, Journal of Universal Computer Science, 11(6), pp. 898-915.
  7. Harman, M., 2007, The Current State and Future of Search Based Software Engineering, in: Proceedings of the 29th International Conference on Software Engineering (ICSE 2007): Future of Software Engineering (FOSE 7807), Minneapolis, MN, USA, May 2007, (IEEE Computer Society: Los Alamitos, CA, USA), pp 342-357.
  8. Khamis, A., Bahgar, R. and Abdelaziz, R., 2000, Automatic Test Data Generation Using Data Flow Information, Dogus University Journal, (2), pp. 140- 153.
  9. Korel, B., 1996, 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, (ACM Press: pp 209-215.
  10. Laski, J. W. and Korel, B., 1983, Data flow oriented program testing strategy, IEEE Transactions on Software Engineering, 9(3), pp. 347-354.
  11. Michael, C. C., Mcgraw, G. and Schatz, M. A., 2001, Generating Software Test Data by Evolution, IEEE Transactions on Software Engineering, 27(12), pp. 1085-1110.
  12. Michalewicz, Z., 1996, Genetic. Algorithms + Data Structures = Evolution Programs, 3rd edn., (SpringerVerlag: London, UK).
  13. Mitchell, M., 1999, An Introduction to Genetic Algorithms, 1st edn., (MIT Press: London, Uk).
  14. Nebut, C. and Fleurey, F., 2006, Automatic Test Generation: A Use Case Driven Approach, IEEE Transactions on Software Engineering, 32(3), pp. 140- 155.
  15. Ntafos, S. C., 1988, A comparison of some structural testing strategies, IEEE Transactions on Software Engineering, 14(6), pp. 868-874.
  16. Ntafos, S. C., 1984, On required element testing, IEEE Transactions on Software Engineering, 10(6), pp. 795- 803.
  17. Ntafos, S. C., 1981, On testing with required elements, in: Proceedings of IEEE-CS COMPSAC, November 1981, (IEEE CS: pp 132-139.
Download


Paper Citation


in Harvard Style

A. Sofokleous A., Krokou A. and S. Andreou A. (2010). AUTOMATIC SEARCH-BASED TESTING WITH THE REQUIRED K-TUPLES CRITERION . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8425-05-8, pages 250-255. DOI: 10.5220/0002902302500255


in Bibtex Style

@conference{iceis10,
author={Anastasis A. Sofokleous and Andria Krokou and Andreas S. Andreou},
title={AUTOMATIC SEARCH-BASED TESTING WITH THE REQUIRED K-TUPLES CRITERION},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2010},
pages={250-255},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002902302500255},
isbn={978-989-8425-05-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - AUTOMATIC SEARCH-BASED TESTING WITH THE REQUIRED K-TUPLES CRITERION
SN - 978-989-8425-05-8
AU - A. Sofokleous A.
AU - Krokou A.
AU - S. Andreou A.
PY - 2010
SP - 250
EP - 255
DO - 10.5220/0002902302500255