Sciweavers

Share
ISSRE
2003
IEEE

Investigating Java Type Analyses for the Receiver-Classes Testing Criterion

10 years 1 months ago
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analysis (VTA). Precision is measured relative to class targets. Class targets results are useful in the context of the receiver-classes criterion, which is an object-oriented testing strategy that aims to exercise every possible class binding of the receiver object reference at each dynamic call site. In this context, using a more precise analysis decreases the number of infeasible bindings to cover, thus it reduces the time spent on conceiving test data sets. This paper also introduces two novel variations to VTA, called the iteration and intersection variants. We present experimental results about the precision of CHA, RTA and VTA on a set of 17 Java programs, corresponding to a total of 600 kLOC of source code. Results show that, on average, RTA suggests 13% less bindings than CHA, standard VTA suggests 23% les...
Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoni
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where ISSRE
Authors Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol
Comments (0)
books