SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION

Anastasis A. Sofokleous, Andreas S. Andreou, Antonis Kourras

2009

Abstract

This paper combines the advantages of symbolic execution with search based testing to produce automatically test data for JAVA programs. A framework is proposed comprising two systems which collaborate to generate test data. The first system is a program analyser capable of performing dynamic and static program analysis. The program analyser creates the control flow graph of the source code under testing and uses a symbolic transformation to simplify the graph and generate paths as independent control flow graphs. The second system is a test data generator that aims to create a set of test cases for covering each path. The implementation details of the framework, as well as the relevant experiments carried out on a number of JAVA programs are presented. The experimental results demonstrate the efficiency and efficacy of the framework and show that it can outperform the performance of related approaches.

Paper Citation

in Harvard Style

Sofokleous A., Andreou A. and Kourras A. (2009). SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION . In Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-8111-84-5, pages 144-150. DOI: 10.5220/0001992701440150

in Bibtex Style

@conference{iceis09,
author={Anastasis A. Sofokleous and Andreas S. Andreou and Antonis Kourras},
title={SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION},
booktitle={Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2009},
pages={144-150},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001992701440150},
isbn={978-989-8111-84-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - SYMBOLIC EXECUTION FOR DYNAMIC, EVOLUTIONARY TEST DATA GENERATION
SN - 978-989-8111-84-5
AU - Sofokleous A.
AU - Andreou A.
AU - Kourras A.
PY - 2009
SP - 144
EP - 150
DO - 10.5220/0001992701440150