Please use this identifier to cite or link to this item:
Title: Using genetic algorithms to generate test sequences for complex timed systems
Authors: Nunez, A
Merayo, MG
Nunez, M
Hierons, RM
Keywords: Formal testing;Genetic algorithms;Timed systems
Issue Date: 2013
Publisher: Springer-Verlag
Citation: Soft Computing - A Fusion of Foundations, Methodologies and Applications, 17(2), 301 - 315, 2013
Abstract: The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques.
ISSN: 1432-7643
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
GAs_timed_testing.pdf389.46 kBUnknownView/Open

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