Summary: A Case Study of Coverage­Checked Random Data Structure Testing
James H. Andrews
Dept. of Computer Science
Univ. of Western Ontario
London, Ontario
CANADA N6A 5B7
(519)661­2111 x86856
andrews@csd.uwo.ca
Abstract
We study coverage­checked random unit testing (CRUT),
the practice of repeatedly testing units on sequences of
random function calls until given code coverage goals are
achieved. Previous research has shown that this practice
can be a useful complement to traditional testing methods.
However, questions remained as to the breadth of its appli­
cability.
In this paper, we report on a case study in which we ap­
plied CRUT to the testing of two mature public­domain data
structures packages. We show that CRUT helped in identify­
ing faults, in debugging, in extracting and specifying actual

Source: Andrews, Jamie - Department of Computer Science, University of Western Ontario

Collections: Computer Technologies and Information Sciences