Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/7929
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Nunez, A | - |
dc.contributor.author | Merayo, MG | - |
dc.contributor.author | Nunez, M | - |
dc.contributor.author | Hierons, RM | - |
dc.date.accessioned | 2014-01-21T12:14:34Z | - |
dc.date.available | 2014-01-21T12:14:34Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | Soft Computing - A Fusion of Foundations, Methodologies and Applications, 17(2), 301 - 315, 2013 | en_US |
dc.identifier.issn | 1432-7643 | - |
dc.identifier.uri | http://link.springer.com/article/10.1007%2Fs00500-012-0894-5# | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/7929 | - |
dc.description.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. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Springer-Verlag | en_US |
dc.subject | Formal testing | en_US |
dc.subject | Genetic algorithms | en_US |
dc.subject | Timed systems | en_US |
dc.title | Using genetic algorithms to generate test sequences for complex timed systems | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://www.dx.doi.org/10.1007/s00500-012-0894-5 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel Active Staff | - |
pubs.organisational-data | /Brunel/Brunel Active Staff/School of Info. Systems, Comp & Maths | - |
pubs.organisational-data | /Brunel/Brunel Active Staff/School of Info. Systems, Comp & Maths/IS and Computing | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Centre for Information and Knowledge Management | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
GAs_timed_testing.pdf | 389.46 kB | Unknown | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.