Use this URL to cite or link to this record in EThOS:
Title: Search-based software engineering : a search-based approach for testing from extended finite state machine (EFSM) models
Author: Kalaji, Abdul Salam
ISNI:       0000 0004 2697 7274
Awarding Body: Brunel University
Current Institution: Brunel University
Date of Award: 2010
Availability of Full Text:
Access from EThOS:
Access from Institution:
The extended finite state machine (EFSM) is a powerful modelling approach that has been applied to represent a wide range of systems. Despite its popularity, testing from an EFSM is a substantial problem for two main reasons: path feasibility and path test case generation. The path feasibility problem concerns generating transition paths through an EFSM that are feasible and satisfy a given test criterion. In an EFSM, guards and assignments in a path‟s transitions may cause some selected paths to be infeasible. The problem of path test case generation is to find a sequence of inputs that can exercise the transitions in a given feasible path. However, the transitions‟ guards and assignments in a given path can impose difficulties when producing such data making the range of acceptable inputs narrowed down to a possibly tiny range. While search-based approaches have proven efficient in automating aspects of testing, these have received little attention when testing from EFSMs. This thesis proposes an integrated search-based approach to automatically test from an EFSM. The proposed approach generates paths through an EFSM that are potentially feasible and satisfy a test criterion. Then, it generates test cases that can exercise the generated feasible paths. The approach is evaluated by being used to test from five EFSM cases studies. The achieved experimental results demonstrate the value of the proposed approach.
Supervisor: Hierons, R. M. ; Swift, S. Sponsor: Aleppo University, Syria
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Search-based software engineering ; ) ; Generating feasible transition paths (FTPs) ; Fitness metric ; Test data generation for testing from EFSMs