An Empirical Evaluation (and Specification) of the All-du-paths Testing Criterion (Extended Version) (1992)
| Venue: | Software Engineering Journal |
| Citations: | 13 - 3 self |
BibTeX
@ARTICLE{Bieman92anempirical,
author = {James M. Bieman and Janet L. Schultz},
title = {An Empirical Evaluation (and Specification) of the All-du-paths Testing Criterion (Extended Version)},
journal = {Software Engineering Journal},
year = {1992},
volume = {7},
pages = {43--51}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The all-du-paths structural testing criterion is one of the most discriminating of the data flow testing criteria. Unfortunately, in the worst case, the criterion requires an intractable number of test cases. In a case study of an industrial software system, we find that the worst case scenario is rare. Eighty percent of the subroutines require ten or fewer test cases. Only one subroutine out of 143 requires an intractable number of tests. However, the number of required test cases becomes tractable when using the all-uses criterion. This paper includes a formal specification of both the all-du-paths criterion and the software tools used to estimate a minimal number of test cases necessary to meet the criterion. Keywords: Software testing, software measures formal specifications, data flow analysis. Department of Computer Science Technical Report #CS--91--105 Colorado State University (Revision of Technical Report #CS--89--118) A version of this paper was published in IEE/BCS Software Engineering Journal, 7(1):43-51, Jan. 1992. This research was partially supported by the NATO Collaborative Research Grants Program under RG. 0343/88. 1
