| 1 | Anastasis A. Sofokleous and Andreas S. Andreou Automatic, Evolutionary Test Data Generation for Dynamic Software Testing Journal of Systems and Software, 81(11), 2008. |
|
| | Abstract: This paper proposes a dynamic test data generation framework based on genetic algorithms. The framework houses a Program Analyser and a Test Case Generator, which intercommunicate to automatically generate test cases. The Program Analyser extracts statements and variables, isolates code paths and creates control flow graphs. The Test Case Generator utilises two optimisation algorithms, the Batch-Optimistic (BO) and the Close-Up (CU), and produces a near to optimum set of test cases with respect to the edge/condition coverage criterion. The efficacy of the proposed approach is assessed on a number of programs and the empirical results indicate that its performance is significantly better compared to existing dynamic test data generation methods. |
| | @ARTICLE{SofokleousA08,
author = {Anastasis A. Sofokleous and Andreas S. Andreou},
title = {Automatic, Evolutionary Test Data Generation for Dynamic Software Testing},
journal = {Journal of Systems and Software},
year = {2008},
month = {},
volume = {81},
number = {11},
pages = {1883-1898}
} |
| 2 | Anastasis A. Sofokleous and Andreas S. Andreou Dynamic Search-based Test Data Generation Focused on Data Flow Paths Proceedings of the 10th International Conference on Enterprise Information Systems (ICEIS '08)Barcelona, Spain, 12-16 June 2008. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{SofokleousA08b,
author = {Anastasis A. Sofokleous and Andreas S. Andreou},
title = {Dynamic Search-based Test Data Generation Focused on Data Flow Paths},
booktitle = {Proceedings of the 10th International Conference on Enterprise Information Systems (ICEIS '08)},
year = {2008},
address = {Barcelona, Spain},
month = {12-16 June},
pages = {27-35}
} |
| 3 | Anastasis A. Sofokleous and Andreas S. Andreou Batch-Optimistic Test-Cases Generation Using Genetic Algorithms Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007)Patras, Greece, 29-31October 2007. |
|
| | Abstract: This paper proposes a dynamic software testing framework, which is able to analyse the source code of a program, create the necessary data structures for automatic testing, such as control flow graphs, and generate a near to optimum set of test cases with reference to a test coverage criterion. The framework consists of two sub-systems: The first is a program analysis system that identifies the type of statements and the complexity of conditions, performs analysis of variables, extracts code paths and creates the control flow graph (CFG) of the program under testing. The second is a test system that uses the CFG for automatically generating test data based on evolutionary computing. The latter system utilises a specially designed genetic algorithm to produce the set of test cases satisfying the selected coverage criterion. The efficacy and performance of the proposed testing approach is assessed and validated using a variety of sample programs. |
| | @INPROCEEDINGS{SofokleousA07,
author = {Anastasis A. Sofokleous and Andreas S. Andreou},
title = {Batch-Optimistic Test-Cases Generation Using Genetic Algorithms},
booktitle = {Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007)},
year = {2007},
address = {Patras, Greece},
month = {29-31October},
pages = {157-164}
} |
| 4 | Andreas S. Andreou and Kypros A. Economides and Anastasis A. Sofokleous An Automatic Software Test-Data Generation Scheme Based on Data Flow Criteria and Genetic Algorithms Proceedings of the 7th IEEE International Conference on Computer and Information Technology (CIT '07)Fukushima, Japan, 16-19 October 2007. |
|
| | Abstract: Software test-data generation research primarily focuses on using control flow graphs for producing an optimum set of test cases. This paper proposes the integration of a data flow graph module with an existing testing framework and the utilisation of a specially designed genetic algorithm for automatically generating test cases based on data flow coverage criteria. The enhanced framework aims to explore promising aspects of software testing that have not yet received adequate research attention, by exploiting the data information of a program and provide a different testing coverage approach compared to existing control flow-oriented ones. The performance of the proposed approach is assessed and validated on a number of sample programs of different levels of size and complexity. The associated experimental results indicate successful performance in terms of testing coverage, which is significantly better when compared to those of existing dynamic data flow-oriented test data generation methods. |
| | @INPROCEEDINGS{AndreouES07,
author = {Andreas S. Andreou and Kypros A. Economides and Anastasis A. Sofokleous},
title = {An Automatic Software Test-Data Generation Scheme Based on Data Flow Criteria and Genetic Algorithms},
booktitle = {Proceedings of the 7th IEEE International Conference on Computer and Information Technology (CIT '07)},
year = {2007},
address = {Fukushima, Japan},
month = {16-19 October},
pages = {867-872}
} |