The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2004)
Linz, Austria
Sept. 20, 2004 to Sept. 24, 2004
ISSN: 1068-3062
ISBN: 0-7695-2131-2
pp: 316-319
James H. Andrews , Univ. of Western Ontario, London
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 applicability.<div></div> In this paper, we report on a case study in which we applied CRUT to the testing of two mature public-domain data structures packages. We show that CRUT helped in identifying faults, in debugging, in extracting and specifying actual behaviour, and in achieving greater assurance of the correctness of the debugged software.
INDEX TERMS
Testing, random testing, unit testing, test oracles, empirical software engineering
CITATION
James H. Andrews, "A Case Study of Coverage-Checked Random Data Structure Testing", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 316-319, 2004, doi:10.1109/ASE.2004.10010
76 ms
(Ver 3.3 (11022016))