Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/9971
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKalaji, AS-
dc.contributor.authorHierons, RM-
dc.contributor.authorSwift, S-
dc.date.accessioned2015-01-27T15:07:43Z-
dc.date.available2010-12-
dc.date.available2015-01-27T15:07:43Z-
dc.date.issued2011-
dc.identifier.citationInformation and Software Technology, 53 (12): 1297 - 1318, (December 2011)en_US
dc.identifier.issn0950-5849-
dc.identifier.urihttp://www.sciencedirect.com/science/article/pii/S095058491100139X-
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/9971-
dc.description.abstractContext: The extended finite state machine (EFSM) is a modelling approach that has been used to represent a wide range of systems. When testing from an EFSM, it is normal to use a test criterion such as transition coverage. Such test criteria are often expressed in terms of transition paths (TPs) through an EFSM. Despite the popularity of EFSMs, testing from an EFSM is difficult for two main reasons: path feasibility and path input sequence generation. The path feasibility problem concerns generating paths that are feasible whereas the path input sequence generation problem is to find an input sequence that can traverse a feasible path. Objective: While search-based approaches have been used in test automation, there has been relatively little work that uses them when testing from an EFSM. In this paper, we propose an integrated searchbased approach to automate testing from an EFSM. Method: The approach has two phases, the aim of the first phase being to produce a feasible TP (FTP) while the second phase searches for an input sequence to trigger this TP. The first phase uses a Genetic Algorithm whose fitness function is a TP feasibility metric based on dataflow dependence. The second phase uses a Genetic Algorithm whose fitness function is based on a combination of a branch distance function and approach level. Results: Experimental results using five EFSMs found the first phase to be effective in generating FTPs with a success rate of approximately 96.6%. Furthermore, the proposed input sequence generator could trigger all the generated feasible TPs (success rate = 100%). Conclusion: The results derived from the experiment demonstrate that the proposed approach is effective in automating testing from an EFSM.en_US
dc.format.extent1297 - 1318-
dc.format.extent1297 - 1318-
dc.languageeng-
dc.language.isoenen_US
dc.publisherElsevieren_US
dc.subjectAutomatic test derivationen_US
dc.subjectFeasible transition pathsen_US
dc.subjectSearch-based testingen_US
dc.subjectEFSMen_US
dc.titleAn integrated search-based approach for automatic testing from extended finite state machine (EFSM) modelsen_US
dc.typeArticleen_US
dc.identifier.doihttp://dx.doi.org/10.1016/j.infsof.2011.06.004-
dc.relation.isPartOfInformation and Software Technology-
dc.relation.isPartOfInformation and Software Technology-
pubs.issue12-
pubs.issue12-
pubs.volume53-
pubs.volume53-
pubs.organisational-data/Brunel-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science/Computer Science-
pubs.organisational-data/Brunel/University Research Centres and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups/Centre for Research into Entrepreneurship, International Business and Innovation in Emerging Markets-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute for Ageing Studies-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute of Cancer Genetics and Pharmacogenomics-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Centre for Systems and Synthetic Biology-
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/Multidisclipary Assessment of Technology Centre for Healthcare (MATCH)-
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf1.82 MBUnknownView/Open


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