Issue No. 12 - December (1995 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.489075
The all-du-paths data flow testing criterion was designed to be more demanding than the all-uses criterion, which itself was designed to be more demanding than the all-edges criterion. However, formal comparison metrics developed within the testing community have failed to validate these relationships, without requiring restrictive or undecidable assumptions regarding the universe of programs to which the criteria apply. In this correspondence, we show that the formal relationships among these criteria can be made consistent with their intended relative strengths, without making restrictive or undecidable assumptions.
Adequacy criteria, data flow testing, subsumes, covers.
S. H. Zweben and A. S. Parrish, "On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria," in IEEE Transactions on Software Engineering, vol. 21, no. , pp. 1006-1009, 1995.