A comparison of data flow path selection criteria

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

A comparison of data flow path selection criteria

Full text

Pdf (893 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 8th international conference on Software engineering table of contents

London, England

Pages: 244 - 251

Year of Publication: 1985

ISBN:0-8186-0620-7

Authors

Lori A. Clarke	Software Development Laboratory, Department of Computer and Information Science, Amherst, Massachusetts
Andy Podgurski	Software Development Laboratory, Department of Computer and Information Science, Amherst, Massachusetts
Debra J. Richardson	Software Development Laboratory, Department of Computer and Information Science, Amherst, Massachusetts
Steven J. Zeil	Software Development Laboratory, Department of Computer and Information Science, Amherst, Massachusetts

Sponsors

IEEE-CS : Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 62, Citation Count: 18

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

A number of path selection testing criteria have been proposed throughout the years. Unfortunately, little work has been done on comparing these criteria. To determine what would be an effective path selection criterion for revealing errors in programs, we have undertaken an evaluation of these criteria. This paper reports on the results of our evaluation for those path selection criteria based on data flow relationships. We show how these criteria relate to each other, thereby demonstrating some of their strengths and weaknesses.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Clar85A	L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil "A Comparison of Data Flow Path Selection Criteria," COINS Tech. Rep. no. 85-16, Dept. of Comp. and Information Sci., University of Mass., Amherst, June 1985.
	Herm76	P. M. Herman, 'A Data Flow Analysis Approach to Program Testing," The Austraian Computer Journal, vol. 8. no. 3, Nov. 1976.
	Lask83	J. W. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy," IEEE Trans. on Software Eng., vol. SE9, no. 3, pp. 347-354, May 1983.
	Ntaf81	S. C. Ntafos, "On Testing With Required Elements," Proc. IEEE COMPSA C 81, pp. 132-139, Nov. 1981.
	Ntaf84	S. C. Ntafos, "On Required Element Testing," IEEE Tram. on Software Eng., vol. SE-10, no. 6, pp. 795- 803, Nov. 1984.
	Rapp82	Sandra Rapps , Elaine J. Weyuker, Data flow analysis techniques for test data selection, Proceedings of the 6th international conference on Software engineering, p.272-278, September 13-16, 1982, Tokyo, Japan
	Rapp85	Sandra Rapps , Elaine J. Weyuker, Selecting software test data using data flow information, IEEE Transactions on Software Engineering, v.11 n.4, p.367-375, April 1985 [doi>10.1109/TSE.1985.232226]
	Stuc73	L. G. Stucki, "Automatic Generation of Self-Metric Software," Recording, 1973 IEEE Symp. Software Reliability, pp. 94-166, April 1973.
	Weyu84	Elaine J. Weyuker, The complexity of data flow criteria for test data selection, Information Processing Letters, v.19 n.2, p.103-109, August 1984 [doi>10.1016/0020-0190(84)90106-6]

CITED BY 18

	W. E. Howden , Yudong Huang, Software trustability analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.1, p.36-64, Jan. 1995
	S. C. Ntafos, A Comparison of Some Structural Testing Strategies, IEEE Transactions on Software Engineering, v.14 n.6, p.868-874, June 1988
	M. Harrold , M. Soffa, Interprocedual data flow testing, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.158-167, Dec. 1989
	Elaine J. Weyuker , Stewart N. Weiss , Dick Hamlet, Comparison of program testing strategies, Proceedings of the symposium on Testing, analysis, and verification, p.1-10, October 08-10, 1991, Victoria, British Columbia, Canada
	Lori A. Clarke , Debra J. Richardson , Steven J. Zeil, TEAM: a support environment for testing, evaluation, and analysis, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.153-162, November 1988
	Mary Jean Harrold, The effects of optimizing transformations on data-flow adequate test sets, Proceedings of the symposium on Testing, analysis, and verification, p.130-138, October 08-10, 1991, Victoria, British Columbia, Canada
	Thomas Reps , Thomas Ball , Manuvir Das , James Larus, The use of program profiling for software maintenance with applications to the year 2000 problem, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.432-449, Nov. 1997
	S. J. Zeil , E. C. Epp, Interpretation in a tool-fragment environment, Proceedings of the 10th international conference on Software engineering, p.241-248, April 11-15, 1988, Singapore
	P. G. Frankl , E. J. Weyuker, An Applicable Family of Data Flow Testing Criteria, IEEE Transactions on Software Engineering, v.14 n.10, p.1483-1498, October 1988
	Michael Young , Richard N. Taylor, Rethinking the taxonomy of fault detection techniques, Proceedings of the 11th international conference on Software engineering, p.53-62, May 1989, Pittsburgh, Pennsylvania, United States
	J. Bieman , J. Schultz, Estimating the number of test cases required to satisfy the all-du-paths testing criterion, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.179-186, Dec. 1989
	Richard A. DeMillo , A. Jefferson Offutt, Constraint-Based Automatic Test Data Generation, IEEE Transactions on Software Engineering, v.17 n.9, p.900-910, September 1991
	Elaine J. Weyuker, The Cost of Data Flow Testing: An Empirical Study, IEEE Transactions on Software Engineering, v.16 n.2, p.121-128, February 1990
	J. S. Davis , R. J. LeBlanc, A Study of the Applicability of Complexity Measures, IEEE Transactions on Software Engineering, v.14 n.9, p.1366-1372, September 1988
	Richard N. Taylor , David L. Levine , Cheryl D. Kelly, Structural Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.18 n.3, p.206-215, March 1992
	Debra J. Richardson , Margaret C. Thompson, An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection, IEEE Transactions on Software Engineering, v.19 n.6, p.533-553, June 1993
	L. A. Clarke , A. Podgurski , D. J. Richardson , S. J. Zeil, A Formal Evaluation of Data Flow Path Selection Criteria, IEEE Transactions on Software Engineering, v.15 n.11, p.1318-1332, November 1989
	K. C. Tai, What to do beyond branch testing, ACM SIGSOFT Software Engineering Notes, v.14 n.2, p.58-61, April 1989