Title :
Search-based Testing using State-based Fitness
Author :
Lefticaru, Raluca ; Ipate, Florentin
Author_Institution :
Dept. of Comput. Sci. & Math., Univ. of Pitesti, Pitesti
Abstract :
This paper investigates the adequacy of a general form of fitness function, based on a state-based specification, by characterizing the associated search problem and the dynamics of the applied metaheuristic. The measurement approach of the fitness landscape is experimented on various examples and suggests some tuning choices to be made for the metaheuristic considered.
Keywords :
formal specification; program testing; search problems; applied metaheuristic; fitness function; search-based testing; state-based fitness; state-based specification; Autocorrelation; Calendars; Computer science; Genetic algorithms; Mathematics; Particle swarm optimization; Performance evaluation; Search problems; Simulated annealing; Software testing;
Conference_Titel :
Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on
Conference_Location :
Lillehammer
Print_ISBN :
978-0-7695-3388-9
DOI :
10.1109/ICSTW.2008.35
