Generating feasible transition paths for testing from an extended finite state machine (EFSM)
AS Kalaji, RM Hierons, S Swift - 2009 international conference …, 2009 - ieeexplore.ieee.org
AS Kalaji, RM Hierons, S Swift
2009 international conference on software testing verification and …, 2009•ieeexplore.ieee.orgThe problem of testing from an extended finite state machine (EFSM) can be expressed in
terms of finding suitable paths through the EFSM and then deriving test data to follow the
paths. A chosen path may be infeasible and so it is desirable to have methods that can direct
the search for appropriate paths through the EFSM towards those that are likely to be
feasible. However, generating feasible transition paths (FTPs) for model based testing is a
challenging task and is an open research problem. This paper introduces a novel fitness …
terms of finding suitable paths through the EFSM and then deriving test data to follow the
paths. A chosen path may be infeasible and so it is desirable to have methods that can direct
the search for appropriate paths through the EFSM towards those that are likely to be
feasible. However, generating feasible transition paths (FTPs) for model based testing is a
challenging task and is an open research problem. This paper introduces a novel fitness …
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the paths. A chosen path may be infeasible and so it is desirable to have methods that can direct the search for appropriate paths through the EFSM towards those that are likely to be feasible. However, generating feasible transition paths (FTPs) for model based testing is a challenging task and is an open research problem. This paper introduces a novel fitness metric that analyzes data flow dependence among the actions and conditions of the transitions of a path in order to estimate its feasibility. The proposed fitness metric is evaluated by being used in a genetic algorithm to guide the search for FTPs.
ieeexplore.ieee.org