Journal
JOURNAL OF SYSTEMS AND SOFTWARE
Volume 83, Issue 12, Pages 2416-2430Publisher
ELSEVIER SCIENCE INC
DOI: 10.1016/j.jss.2010.07.027
Keywords
Pareto optimality; Mutation testing; Higher order mutation; SBSE; Monte Carlo; Genetic algorithm; Genetic programming; NSGA-II; Strongly typed GP; Grammar based GP; Non-determinism; Triangle; Schedule; tcas; Gzip
Ask authors/readers for more resources
It is said 90% of faults that survive manufacturer's testing procedures are complex. That is, the corresponding bug fix contains multiple changes. Higher order mutation testing is used to study defect interactions and their impact on software testing for fault finding. We adopt a multi-objective Pareto optimal approach using Monte Carlo sampling, genetic algorithms and genetic programming to search for higher order mutants which are both hard-to-kill and realistic. The space of complex faults (higher order mutants) is much larger than that of traditional first order mutations which correspond to simple faults, nevertheless search based approaches make this scalable. The problems of non-determinism and efficiency are overcome. Easy to detect faults may become harder to detect when they interact and impossible to detect single faults may be brought to light when code contains two such faults. We use strong typing and BNF grammars in search based mutation testing to find examples of both in ancient heavily optimised every day C code. (C) 2010 Elsevier Inc. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available