This Article 
 Bibliographic References 
 Add to: 
An Applicable Family of Data Flow Testing Criteria
October 1988 (vol. 14 no. 10)
pp. 1483-1498

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.

[1] L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil, "A comparison of data flow path selection criteria," inProc. 8th Inf. Conf. Sofware Eng.(London UK), Aug. 1985. Los Alamitos, CA: IEEE Computer Soc., 1985, pp. 244-251.
[2] P. G. Frankl, S. N. Weiss, and E. J. Weyuker, "ASSET: A system to select and evaluate tests," inProc. IEEE Conf. Software Tools, New York, Apr. 1985.
[3] P. G. Frankl and E. J. Weyuker, "A data flow testing tool," inProc. IEEE Softfair II, San Francisco, CA, Dec. 1985.
[4] P. G. Frankl,ASSET User Manual, Dep. Comput. Sci. Courant Inst. Math. Sci., New York Univ., New York, Tech. Rep. #318, Sept. 1987.
[5] P. G. Frankl, "The use of data flow information for the selection and evaluation of software test data," Doctoral dissertation, New York Univ., New York, 1987.
[6] M. R. Girgis and M. R. Woodward, "An integrated system for program testing using weak mutation and data flow analysis," inIEEE Proc. 8th Int. Conf. Software Eng., London, England, Aug. 1985, pp. 313-319.
[7] J. B. Goodenough and S. L. Gerhart, "Toward a theory of test data selection,"IEEE Trans. Software Eng., vol. SE-1, pp. 156-173, June 1975.
[8] M. Hecht,Flow Analysis of Computer Programs. New York: Elsevier North-Holland, 1977.
[9] P. M. Herman, "A data flow analysis approach to program testing,"Australian Comput. J., vol. 8, no. 3, Nov. 1976.
[10] W. E. Howden, "Reliability of the path analysis testing strategy,"IEEE Trans. Software Eng., vol. SE-2, no. 3, pp. 208-215, 1976.
[11] W. E. Howden, "A survey of dynamic analysis methods," inTutorial: Software Testing and Validation Techniques, E. Miller and W. E. Howden, Eds. Los Alamitos, CA: IEEE Computer Society, 1978.
[12] J. C. Huang, "An approach to program testing,"ACM Comput. Surveys, vol. 7, no. 3, pp. 113-128, Sept. 1975.
[13] B. Korel and J. Laski, "A tool for data flow oriented program testing,"ACM Softfair Proc. pp. 35-37, Dec. 1985.
[14] J. W. Laski and B. Korel, "A data flow oriented program testing strategy,"IEEE Trans. Software Eng., vol. SE-9, pp. 347-354, May 1983.
[15] E. F. Miller, Jr., M. R. Paige, J. P. Benson, and W. R. Wisehart, "Structural techniques of program validation," inDig. Compcon, San Francisco, CA, Spring 1974, pp. 161-164.
[16] S. Ntafos, "On required element testing,"IEEE Trans. Software Eng., vol. SE-10, pp. 795-803, Nov. 1984.
[17] L. J. Osterweil and L. D. Fosdick, "DAVE--A validation error detection and documentation system for Fortran programs,"Software Practice Experience, pp. 473-486, Oct.-Dec. 1976.
[18] S. Rapps and E. J. Weyuker, "Data flow analysis techniques for program test data selection," inProc. 6th Int. Conf. Software Eng., Sept. 1982, pp. 272-278.
[19] S. Rapps and E. J. Weyuker, "Selecting software test data using data flow information,"IEEE Trans. Software Eng., vol. SE-11, no. 4, pp. 367-375, Apr. 1985.
[20] M. Schaeffer,A Mathematical Theory of Global Program Optimization. Englewood Cliffs, NJ: Prentice-Hall, 1973.
[21] E. J. Weyuker, "The complexity of data flow criteria for test data selection,"Inform. Processing Lett., vol. 19, no. 2, pp. 103-109, Aug. 1984.
[22] E. J. Weyuker, "Axiomatizing software test data adequacy,"IEEE Trans. Software Eng., vol. SE-12, no. 12, pp. 1128-1138, Dec. 1986.
[23] M. R. Woodward, D. Hedley, and M. A. Hennell, "Experience with path analysis and testing of programs,"IEEE Trans. Software Eng., vol. SE-6, pp. 278-286, May 1980.

Index Terms:
program testing; data flow testing; Pascal; adequacy criteria; definition-use associations; ASSET; program testing; software reliability
"An Applicable Family of Data Flow Testing Criteria," IEEE Transactions on Software Engineering, vol. 14, no. 10, pp. 1483-1498, Oct. 1988, doi:10.1109/32.6194
Usage of this product signifies your acceptance of the Terms of Use.