Guiding random test generation with program analysis

Autoren Lei Ma
Cyrille Artho
Cheng Zhang
Hiroyuki Sato
Johannes Gmeiner
Rudolf Ramler
Editoren
TitelGuiding random test generation with program analysis
BuchtitelSoftware Engineering 2016 Fachtagung des GI-Fachbereichs Softwaretechnik - Proc. SE 2016
Typin Konferenzband
VerlagGesellschaft für Informatik
SerieLecture Notes in Informatics
Band252
ISBN978-3-88579-646-6
MonatFebruary
Jahr2016
Seiten15-16
SCCH ID#1582
Abstract

Random test generation is effective in creating method sequences for exercising the software under test. However, black-box approaches for random testing are known to suffer from low code coverage and limited defect detection ability. Analyzing the software under test and using the extracted knowledge to guide test generation can help to overcome these limitations. We developed a random test case generator augmented by a combination of six static and dynamic program analysis techniques. Our tool GRT (Guided Random Testing) has been evaluated on real-world software systems as well as Defects4J benchmarks. It outperformed related approaches in terms of code coverage, mutation score and detected faults. The results show a considerable im-provement potential of random test generation when combined with advanced analysis techniques.