Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.14279/13756
Title: | Symbolic execution for dynamic, evolutionary test data generation | Authors: | Andreou, Andreas S. Sofokleous, Anastasis A. Kourras, Antonis |
Major Field of Science: | Engineering and Technology | Field Category: | Electrical Engineering - Electronic Engineering - Information Engineering | Keywords: | Control flow graphs;Genetic algorithms;Search-based test data generation;Symbolic program transformation | Issue Date: | 1-Dec-2009 | Source: | ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings | Volume: | DISI | 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 | Affiliation : | University of Cyprus | Publication Type: | Peer Reviewed |
Appears in Collections: | Δημοσιεύσεις σε συνέδρια /Conference papers or poster or presentation |
CORE Recommender
Page view(s) 50
277
Last Week
0
0
Last month
0
0
checked on Nov 6, 2024
Google ScholarTM
Check
Altmetric
Items in KTISIS are protected by copyright, with all rights reserved, unless otherwise indicated.