The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1988 vol.14)
pp: 1483-1498
ABSTRACT
<p>The authors extend the definitions of the previously introduced family of data flow testing criteria to apply to programs written in a large subset of Pascal. They then define a family of adequacy criteria called feasible data flow testing criteria, which are derived from the data-flow testing criteria. The feasible data flow testing criteria circumvent the problem of nonapplicability of the data flow testing criteria by requiring the test data to exercise only those definition-use associations which are executable. It is shown that there are significant differences between the relationships among the data flow testing criteria and the relationships among the feasible data flow testing criteria. The authors discuss a generalized notion of the executability of a path through a program unit. A script of a testing session using their data flow testing tool, ASSET, is included.</p>
INDEX TERMS
program testing; data flow testing; Pascal; adequacy criteria; definition-use associations; ASSET; program testing; software reliability
CITATION
"An Applicable Family of Data Flow Testing Criteria", IEEE Transactions on Software Engineering, vol.14, no. 10, pp. 1483-1498, October 1988, doi:10.1109/32.6194
SEARCH
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool