A Formal Evaluation of Data Flow Path Selection Criteria

IEEE Transactions on Software Engineering

Volumn 15, Issue 11, 1989, Pages 1318-1332

  Clarke, Lori A ^a   Podgurski, Andy ^a,b   Richardson, Debra J ^a,c   Zeil, Steven J ^a,d  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

^b CASE WESTERN RESERVE UNIVERSITY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d OLD DOMINION UNIVERSITY   (United States)

Author keywords

Path selection; software testing; testing criteria

Indexed keywords

MATHEMATICAL TECHNIQUES--GRAPH THEORY;

DATA FLOW COMPUTING; SOFTWARE TESTING;

COMPUTER SOFTWARE;

EID: 0024769237     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.41326     Document Type: Note

References (27)

1. L.A. Clarke, A. Podgurski, D.J. Richardson, and S.J. Zeil, “A comparison of data flow path selection criteria.” in Proc. Eighth Int. Conf. Software Engineering, IEEE Comput. Soc, London, England, Aug. 1985, pp. 244–251.
2. L.A. Clarke and D.J. Richardson, “Applications of symbolic evaluation,” J. Syst. Software, vol. 5, no. 1, pp. 15–35, Jan. 1985.
3. R.A. DeMillo, D.S. Guindi, W.M. McCracken, A.J. Offut, and K.N. King, “An extended overview of the mothra software testing environment,” in Proc. ACM SIGSOFT/1EEE Second Workshop Software Testing, Verification, and Analysis, IEEE Comput. Soc, Banff, Alberta, Canada, July 1988, pp. 142–151.
4. P.G. Frankl and E.J. Weyuker, “Data flow testing in the presence of unexecutable paths,” in Proc. ACM SIGSOFT/IEEE Workshop Software Testing, IEEE Comput. Soc, Banff, Alberta, Canada, July 1986, pp. 4–13.
5. P.M. Herman, “A data flow analysis approach to program testing,” Australian Comput. J., vol. 8, no. 3, Nov. 1976.
6. W.E. Howden, “Methodology for the generation of program test data,” IEEE Trans. Comput., vol. C-24, no. 5, pp. 554–559, May 1975.
7. W.E. Howden, “A functional approach to program testing and analysis,” IEEE Trans. Software Eng., vol. SE-12, no. 10, pp. 997–1005, Oct. 1986.
8. J.W. Laski, “On the comparative analysis of some data flow testing strategies,” Dep. Eng. Comput. Sei., Oakland Univ., Rochester, MI, Tech. Rep. 87-05, May 1987.
9. J.W. Laski and B. Korel, “A data flow oriented program testing strategy,” IEEE Trans. Software Eng., vol. SE-9, no. 3, pp. 347–354, May 1983.
10. L.J. Morell, “Theoretical insights into fault-based testing,” in Proc. ACM SIGSOFT/IEEE Second Workshop Software Testing, Verification, and Analysis, IEEE Comput. Soc, Banff, Alberta, Canada, July 1988, pp. 45–62.
11. S.C. Ntafos, “On testing with required elements,” in Proc. COMP-SAC ′81, IEEE Comput. Soc, Nov. 1981, pp. 132–139.
12. S.C. Ntafos, “On required element testing,” Comput. Sei. Program, Univ. Texas, Dallas, Tech. Rep. 123, Nov. 1982.
13. S.C. Ntafos, “On required element testing,” IEEE Trans. Software Eng., vol. SE-10, no. 6, pp. 795–803, Nov. 1984.
14. S.C. Ntafos, “A comparison of some structural testing strategies,” Comput. Sei. Program, Univ. Texas, Dallas, Tech. Rep. 210, June 1985.
15. S.C. Ntafos, “A comparison of some structural testing strategies,” IEEE Trans. Software Eng., vol. SE-14, no. 6, pp. 868–874, June 1988.
16. L.J. Osterweil and L.D. Fosdick, “DAVE-A validation, error detection, and documentation system for Fortran programs,” Software Practice and Experience, vol. 6, no. 4, pp. 473–486, Oct. 1976.
17. A. Podgurski and L.A. Clarke, “The significance of program dependences for software testing, debugging, and maintenance,” in Proc. ACM SIGSOFT ′89: Third Symp. Testing, Verification, and Analysis, Key West, FL, Dec. 1989.
18. S. Rapps and E.J. Weyuker, “Data flow analysis techniques for test data selection,” in Proc. Sixth Int. Conf. Software Engineering, IEEE Comput. Soc, Tokyo, Japan, Sept. 1982, pp. 272–277.
19. S. Rapps, “Selecting software test data using data flow information,” IEEE Trans. Software Eng., vol. SE-11, no. 4, pp. 367–375, Apr. 1985.
20. D.J. Richardson and M.C. Thompson, “An analysis of test data selection criteria using the Rf.lay model of error detection.” Dep. Comput. Inform. Sei., Univ. Massachusetts. Amherst, Tech. Rep. 86-65. Dec 1986.
21. D.J. Richardson, “The Rf.lay model of error detection and its application.” in Proc. ACM SIGSOFT/IEEE Second Workshop Software Testing, Analysis and Verification. IEEE Comput. Soc. Banff. Alberta. Canada. July 1988, pp. 223–230.
22. L.G. Stucki, “Automatic generation of self-metric software,” in Rec. 1973 IEEE Symp. Software Reliability, IEEE Comput. Soc, Apr. 1973, pp. 94–100.
23. E.J. Weyuker, “The complexity of data flow criteria for test data selection,” Inform. Processing Lett., vol. 19, pp. 103–109, Aug. 1984.
24. E.J. Weyuker, “An empirical study of the complexity of data flow testing,” in Proc. ACM SIGSOFT/IEEE Second Workshop Software Testing, Verification, and Analysis, IEEE Comput. Soc, Banff, Alberta, Canada, July 1988, pp. 188–195.
25. M.R. Woodward, D. Hedley, and M.A. Hennel, “Experience with path analysis and testing of programs,” IEEE Trans. Software Eng., vol. SE-6, no. 3, pp. 278–286, May 1980.
26. S.J. Zeil, “Selectivity of data-flow and control-flow path criteria,” in Proc. ACM SIGSOFT/IEEE Second Workshop Software Testing, Verification, and Analysis, IEEE Comput. Soc, Banff, Alberta, Canada, July 1988, pp. 216–222.
27. S.J. Zeil, “Perturbation techniques for detecting domain errors,” IEEE Trans. Software Eng., vol. SE-15, no. 6, pp. 737–746, June 1989.