Please use this identifier to cite or link to this item:
Title: Symbolic execution for dynamic, evolutionary test data generation
Authors: Andreou, Andreas S. 
Sofokleous, Anastasis A. 
Kourras, Antonis 
Keywords: Control flow graphs;Genetic algorithms;Search-based test data generation;Symbolic program transformation
Category: Electrical Engineering - Electronic Engineering - Information Engineering
Field: Engineering and Technology
Issue Date: 1-Dec-2009
Source: ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings
Conference: International Conference on Enterprise Information Systems 
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.
ISBN: 9789898111845
DOI: 10.5220/0001992701440150
Rights: © 2018 SciTePress
Type: Conference Papers
Appears in Collections:Δημοσιεύσεις σε συνέδρια/Conference papers

Show full item record

Page view(s)

Last Week
Last month
checked on Sep 17, 2019

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.