Projects per year
Abstract
The effectiveness of probabilistic structural testing depends
on the characteristics of the probability distribution from
which test inputs are sampled at random. Metaheuristic
search has been shown to be a practical method of optimis
ing the characteristics of such distributions. However, the
applicability of the existing searchbased algorithm is lim
ited by the requirement that the software’s inputs must be
a fixed number of numeric values.
In this paper we relax this limitation by means of a new
representation for the probability distribution. The repre
sentation is based on stochastic contextfree grammars but
incorporates two novel extensions: conditional production
weights and the aggregation of terminal symbols represent
ing numeric values.
We demonstrate that an algorithm which combines the
new representation with hillclimbing search is able to effi
ciently derive probability distributions suitable for testing
software with structurallycomplex input domains.
on the characteristics of the probability distribution from
which test inputs are sampled at random. Metaheuristic
search has been shown to be a practical method of optimis
ing the characteristics of such distributions. However, the
applicability of the existing searchbased algorithm is lim
ited by the requirement that the software’s inputs must be
a fixed number of numeric values.
In this paper we relax this limitation by means of a new
representation for the probability distribution. The repre
sentation is based on stochastic contextfree grammars but
incorporates two novel extensions: conditional production
weights and the aggregation of terminal symbols represent
ing numeric values.
We demonstrate that an algorithm which combines the
new representation with hillclimbing search is able to effi
ciently derive probability distributions suitable for testing
software with structurallycomplex input domains.
Original language  English 

Number of pages  8 
Publication status  Published  Jul 2013 
Event  GECCO 2013  Amsterdam, Netherlands Duration: 6 Jul 2013 → 10 Jul 2013 
Conference
Conference  GECCO 2013 

Country/Territory  Netherlands 
City  Amsterdam 
Period  6/07/13 → 10/07/13 
Projects
 3 Finished


The Birth, Life and Death of Semantic Mutants
1/10/09 → 31/03/14
Project: Research project (funded) › Research
