Data flow coverage and the C language

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Data flow coverage and the C language

Full text

Pdf (1.12 MB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the symposium on Testing, analysis, and verification table of contents

Victoria, British Columbia, Canada

Pages: 87 - 97

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

J. R. Horgan	Bellcore, 445 South Street, Morristown, NJ
S. London	Bellcore, 444 Hoes Lane, Piscataway, NJ

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 52, Citation Count: 20

Additional Information:

references cited by index terms collaborative colleagues

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

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/120807.120815 What is a DOI?

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.

	Bie89	J. Bieman , J. Schultz, Estimating the number of test cases required to satisfy the all-du-paths testing criterion, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.179-186, December 13-15, 1989, Key West, Florida, United States
	Cla89	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 [doi>10.1109/32.41326]
	DeM87	Richard A. DeMillo , W. Michael McCracken , R. J. Martin , John F. Passafiume, Software testing and evaluation, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1987
	DeM88	DeMillo, R.A., D.S. Gundi, K.N. King, W.M. McCracken, and A.J. Offutt, "An extended overview of the Mothra software testing environment," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, IEEE Computer Society, 1988.
	DeM91	DeMillo, R.A., E.W. Krauser, A.P. Mathur, "Compiler-Integrated Mutation," Proceedings of the Fifteenth Annual Computer Software and Applications Conference, Kogakuin University, Tokyo, Japan, September 11-13, 1991.
	Fra87	Phyllis G. Frankl, The use of data flow information for the selection and evaluation of software test data, 1987
	Fra88	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 [doi>10.1109/32.6194]
	Hor90	Horgan, J.R,, S.A. London, "ATAC -- Automatic Test Analysis For C programs," Bellcore internal memorandum, 1990.
	Hor91	Horgan, J.R., A.P. Mathur, "Effectiveness of Data Flow Testing," under preparation, 1991.
	Hor91a	Horgan, J.R., A.P. Mathur, "Weak Mutation is Probably Strong Mutation," SERC-TR-83-P, Software Engineering Research Center, Purdue University, December 1990.
	Hor91b	Horgan, J.R., "Test Selection Oracles and their speed-up," Bellcore internal memorandum, 1991.
	Ker78	B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
	Ker84	Brian W. Kernighan , Rob Pike, The UNIX Programming Environment, Prentice Hall Professional Technical Reference, 1983
	Las90	J. Laski, Data flow testing in STAD, Journal of Systems and Software, v.12 n.1, p.3-14, Apr. 1990 [doi>10.1016/0164-1212(90)90062-Q]
	Nac88	Nachbar, D.W., "SPIFF -- A Program for Making Controlled Approximate Comparison of Files," Bellcore internal memorandum, 1988.
	Off88	Andrew Jefferson Offutt, VI , R. A. Demillo, Automatic test data generation, 1988
	Rap85	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]
	Wey79	Weyuker E.J., "The applicability of program scheme results to programs," Int. J. Comput. Inform. Sci., vol. 8, pp.387-403, Nov, 1979.
	Wey90	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 [doi>10.1109/32.44376]

CITED BY 20

	Phyllis G. Frankl , Oleg Iakounenko, Further empirical studies of test effectiveness, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.153-162, Nov. 1998
	Swapna S. Gokhale , W. Eric Wong , J. R. Horgan , Kishor S. Trivedi, An analytical approach to architecture-based software performance and reliability prediction, Performance Evaluation, v.58 n.4, p.391-412, December 2004
	Delia I. S. Marx , Phyllis G. Frankl, The path-wise approach to data flow testing with pointer variables, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.135-146, May 1996
	Richard A. DeMillo , Hsin Pan , Eugene H. Spafford, Critical slicing for software fault localization, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.121-134, May 1996
	Phyllis G. Frankl , Yuetang Deng, Comparison of delivered reliability of branch, data flow and operational testing: A case study, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.124-134, Sept. 2000
	Dick Hamlet , Bruce Gifford , Borislav Nikolik, Exploring dataflow testing of arrays, Proceedings of the 15th international conference on Software Engineering, p.118-129, May 17-21, 1993, Baltimore, Maryland, United States
	Monica Hutchins , Herb Foster , Tarak Goradia , Thomas Ostrand, Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria, Proceedings of the 16th international conference on Software engineering, p.191-200, May 16-21, 1994, Sorrento, Italy
	Hong Zhu , Patrick A. V. Hall , John H. R. May, Software unit test coverage and adequacy, ACM Computing Surveys (CSUR), v.29 n.4, p.366-427, Dec. 1997
	Allen S. Parrish , Stuart H. Zweben, On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria, IEEE Transactions on Software Engineering, v.21 n.12, p.1006-1009, December 1995
	W. Eric Wong , Tatiana Sugeta , J. Jenny Li , José C. Maldonado, Coverage testing software architectural design in SDL, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.42 n.3, p.359-374, 21 June 2003
	Richard A. DeMillo , Aditya P. Mathur , W. Eric Wong, Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods, IEEE Transactions on Software Engineering, v.21 n.10, p.858-861, October 1995
	Mary Jean Harrold , Gregg Rothermel, Performing data flow testing on classes, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.154-163, Dec. 1994
	A. M. R. Vincenzi , J. C. Maldonado , W. E. Wong , M. E. Delamaro, Coverage testing of Java programs and components, Science of Computer Programming, v.56 n.1-2, p.211-230, April 2005
	Margaret Burnett , Andrei Sheretov , Bing Ren , Gregg Rothermel, Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology, IEEE Transactions on Software Engineering, v.28 n.6, p.576-594, June 2002
	W. Eric Wong , Yu Qi, Effective program debugging based on execution slices and inter-block data dependency, Journal of Systems and Software, v.79 n.7, p.891-903, July 2006
	Swapna S. Gokhale , Kishor S. Trivedi, A time/structure based software reliability model, Annals of Software Engineering, v.8 n.1-4, p.85-121, 1999
	A. M. R. Vincenzi , M. E. Delamaro , J. C. Maldonado , W. E. Wong, Establishing structural testing criteria for Java bytecode, Software—Practice & Experience, v.36 n.14, p.1513-1541, November 2006
	Swapna S. Gokhale, Model-based performance analysis using block coverage measurements, Journal of Systems and Software, v.82 n.1, p.121-130, January, 2009
	Swapna S. Gokhale, Model-based performance analysis using block coverage measurements, Journal of Systems and Software, v.82 n.1, p.121-130, January, 2009
	Xinming Wang , S. C. Cheung , W. K. Chan , Zhenyu Zhang, Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization, Proceedings of the 2009 IEEE 31st International Conference on Software Engineering, p.45-55, May 16-24, 2009