The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1995 vol.21)
pp: 1006-1009
ABSTRACT
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.
INDEX TERMS
Adequacy criteria, data flow testing, subsumes, covers.
CITATION
Allen S. Parrish, "On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria", IEEE Transactions on Software Engineering, vol.21, no. 12, pp. 1006-1009, December 1995, doi:10.1109/32.489075
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool