Using Dominance for Aiding the Search-Based Testing to Overcome the Limitations of the Control-Dependencies
Search-based optimization techniques have been utilized for a number of software engineering activities. The representation of the problem and the definition of the Fitness Function (FF) are two key ingredients for the application of search-based optimization to software engineering problems. Therefore, a well-defined fitness function is essential to the effectiveness and efficiency of the Search-Based Testing (SBT). Several search based test-data generation techniques have been developed. A wide range of these techniques utilized the Control Dependencies (CD) in the control-flow graph of the program under test for guiding the search in the direction of finding test data.