Data flow-based test adequacy analysis for languages with pointers

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Data flow-based test adequacy analysis for languages with pointers

Full text

Pdf (1.19 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: 74 - 86

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

Thomas J. Ostrand	Siemens Corporate Research, Inc., 755 College Road East, Princeton, NJ
Elaine J. Weyuker	New York University, 251 Mercer Street, New York, NY

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 28, Citation Count: 16

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.120814 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.

	1	J. Camaratta, M. Platoff, and M. Wagner, "An Integrated Program Representation and Toolkit for the Maintenance of C Programs," Proc. IEEE Conf. on Software Maintenance-1991, (October 1991).
	2	Phyllis G. Frankl , Elaine J. Weyuker, A data flow testing tool, Proceedings of the second conference on Software development tools, techniques, and alternatives, p.46-53, December 1985, San Francisco, California, United States
	3	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]
	4	P.G. Frankl, S.N. Weiss, and E.J. Weyuker, "ASSET A System to Select and Evaluate Tests," Proc. IEEE Conf. Software Tools, New York, (April 1985).
	5	P.M. Herman, "A Data Analysis Approach to Program Testing," Australian Computer J. 8, (November 1976), 92-96.
	6	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]
	7	J.W. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy," IEEE Trans. Softw. Eng. SE-9, no 3, (May 1983), 347-354.
	8	J. R. Larus, Abstract execution: a technique for efficiently tracing programs, Software—Practice & Experience, v.20 n.12, p.1241-1258, Dec. 1990 [doi>10.1002/spe.4380201205]
	9	Simeon C. Ntafos, An evaluation of required element testing strategies, Proceedings of the 7th international conference on Software engineering, p.250-256, March 26-29, 1984, Orlando, Florida, United States
	10	T. Ostrand, "Data-Flow Testing with Pointers and Function Calls", Proc. Pacific Northwest Software Quality Conf., Portland, OR (Oct. 1990), 218-227.
	11	Hemant D. Pande , William Landi, Interprocedural Def-Use associations in C programs, Proceedings of the symposium on Testing, analysis, and verification, p.139-153, October 08-10, 1991, Victoria, British Columbia, Canada [doi>10.1145/120807.120820]
	12	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
	13	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]

CITED BY 16

	Cheer-Sun D. Yang , Lori L. Pollock, Towards a structural load testing tool, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.201-208, May 1996
	Barbara Ryder, The future of program analysis, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	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
	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
	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
	Rita Z. Altucher , William Landi, An extended form of must alias analysis for dynamic allocation, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.74-84, January 23-25, 1995, San Francisco, California, United States
	William Landi , Barbara G. Ryder , Sean Zhang, Interprocedural modification side effect analysis with pointer aliasing, ACM SIGPLAN Notices, v.28 n.6, p.56-67, June 1993
	H. D. Pande , W. A. Landi , B. G. Ryder, Interprocedural Def-Use Associations for C Systems with Single Level Pointers, IEEE Transactions on Software Engineering, v.20 n.5, p.385-403, May 1994
	Yong-Fong Lee , Barbara G. Ryder , Marc E. Fiuczynski, Region Analysis: A Parallel Elimination Method for Data Flow Analysis, IEEE Transactions on Software Engineering, v.21 n.11, p.913-926, November 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
	Alessandro Orso , Saurabh Sinha , Mary Jean Harrold, Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.2, p.199-239, April 2004
	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
	Arnaud Gotlieb , Tristan Denmat , Bernard Botella, Constraint-based test data generation in the presence of stack-directed pointers, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Hemant D. Pande , Barbara G. Ryder, Static type determination for C++, Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference, p.5-5, April 11-14, 1994, Cambridge, MA
	Arnaud Gotlieb , Tristan Denmat , Bernard Botella, Goal-oriented test data generation for pointer programs, Information and Software Technology, v.49 n.9-10, p.1030-1044, September, 2007
	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