A UNIFIED WEB-BASED FRAMEWORK FOR JAVA CODE ANALYSIS AND EVOLUTIONARY AUTOMATIC TEST-CASES GENERATION

Anastasis A. Sofokleous, Panayiotis Petsas, Andreas S. Andreou

2010

Abstract

This paper describes the implementation and integration of code analysis and testing systems in a unified web-enabled framework. The former analyses basic programs written in Java and constructs the control-flow, data-flow and dependence graph(s), whereas the testing system collaborates with the analysis system to automatically generate and evaluate test-cases with respect to control flow and data flow criteria. The present work describes the design and implementation details of the framework and presents preliminary experimental results.

References

  1. Andrews, J. H., Briand, L. ., Labiche, Y. and Namin, A. S., 2006, Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria, IEEE Transactions on Software Engineering, 32(8), pp. 608- 624.
  2. Bertolino, A., 2007, Software Testing Research: Achievements, Challenges, Dreams, 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 85-103.
  3. BYECYCLE, 2008, byecycle, http:// byecycle.sourceforge.net/ [Date accessed: 2 June 2009].
  4. CLOVER, 2009, clover, http:// www.atlassian.com/software/clover/ [Date accessed: 15 April 2009].
  5. ECLIPSE, 2009, eclipse, http:// www.eclipse.org [Date accessed: 15 May 2009].
  6. 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.
  7. Godefroid, P., Klarlund, N. and Sen, K., 2005, Dart: Directed Automated Random Testing, in: Proceedings of the 2005 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 7805), Chicago, IL, USA, June 2005, (ACM Press: New York, NY, USA), pp 213-223.
  8. ISPACE, 2006, ISPACE, http://ispace.stribor.de/ index.php?n=Ispace.Home [Date accessed: 28 April 2009].
  9. JAVA COVERAGE VALIDATOR, 2002, java coverage VALIDATOR - software verification, http:// www.softwareverify.com/java/coverage/feature.html [Date accessed: 18 April 2009].
  10. JAVA QUALITY SOLUTION, 1996, java quality solution, http://www.parasoft.com/jsp/solutions/java_solution.js p [Date accessed: 5 May 2009].
  11. JCOVER, 2009, JCOVER, http:// www.codework.com/JCover/product.html [Date accessed: 23 May 2009].
  12. JTEST, 2007, jtest, http:// www.parasoft.com/jsp/products/home.jsp?product=Jte st [Date accessed: 18 April 2009].
  13. Ntafos, S. C., 1984, On required element testing, IEEE Transactions on Software Engineering, 10(6), pp. 795- 803.
  14. ONLINE BPAS, 2009, online BPAS, http:// www.cs.ucy.ac.cy/cs04pp2/dist/launch.html [Date accessed: 15 January 2010].
  15. QUILT, 2001, QUILT, http://quilt.sourceforge.net/ [Date accessed: 3 May 2009].
  16. Sofokleous, A. and Andreou, A., 2008a, Dynamic Searchbased test data generation focused on data flow paths, in: Proceedings of the 10th International Conference on Enterprise Information Systems (ICEIS 2006), Barcelona, Spain, June, (INSTICC Press: Porto, Portugal), pp 27-35.
  17. Sofokleous, A. A. and Andreou, A. S., 2008b, Automatic, evolutionary test data generation for dynamic software testing, The Journal of Systems & Software, 81(11), pp. 1883-1898.
  18. Zhu, H., Hall, P. and May, J., 1997, Software Unit Test Coverage and Adequacy, ACM Computing Surveys, 29(4), pp. 366-427.
Download


Paper Citation


in Harvard Style

A. Sofokleous A., Petsas P. and S. Andreou A. (2010). A UNIFIED WEB-BASED FRAMEWORK FOR JAVA CODE ANALYSIS AND EVOLUTIONARY AUTOMATIC TEST-CASES GENERATION . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-8425-04-1, pages 407-410. DOI: 10.5220/0002911704070410


in Bibtex Style

@conference{iceis10,
author={Anastasis A. Sofokleous and Panayiotis Petsas and Andreas S. Andreou},
title={A UNIFIED WEB-BASED FRAMEWORK FOR JAVA CODE ANALYSIS AND EVOLUTIONARY AUTOMATIC TEST-CASES GENERATION},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2010},
pages={407-410},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002911704070410},
isbn={978-989-8425-04-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - A UNIFIED WEB-BASED FRAMEWORK FOR JAVA CODE ANALYSIS AND EVOLUTIONARY AUTOMATIC TEST-CASES GENERATION
SN - 978-989-8425-04-1
AU - A. Sofokleous A.
AU - Petsas P.
AU - S. Andreou A.
PY - 2010
SP - 407
EP - 410
DO - 10.5220/0002911704070410