An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria

Full text

Pdf (1.07 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: 154 - 164

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

Phyllis G. Frankl	Computer Science Dept., Polytechnic University, 333 Jay St., Brooklyn, N.Y.
Stewart N. Weiss	Computer Science Dept., Hunter College, 695 Park Ave., 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): 16, Citation Count: 10

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.120821 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	A. Agresti. Analysis of Ordinal Categorical Data. John Wiley & Sons, Inc., New York, 1984.
	2	Victor R. Basili , Richard W. Selby, Comparing the effectiveness of software testing strategies, IEEE Transactions on Software Engineering, v.13 n.12, p.1278-1296, December 1, 1987 [doi>10.1109/TSE.1987.232881]
	3	G. K. Bhattacharyya and R. A. Johnson. Statistical Concepts and Methods. John Wiley & Sons, Inc., New York, 1977.
	4	Robert S. Boyer , Bernard Elspas , Karl N. Levitt, SELECT—a formal system for testing and debugging programs by symbolic execution, Proceedings of the international conference on Reliable software, p.234-245, April 21-23, 1975, Los Angeles, California
	5	D. R. Byrkit. Elements of Statistics. D. van Nostrand Company, New York, 1980.
	6	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]
	7	R. A. DeMillo, D. S. Guindi, W. McCracken, A. Offutt, and K. King. An extended overview of the Mothra software testing environment. In Proceedings Second Workshop on Software Testing Verification and Analysis, pages 142-151. IEEE Computer Society Press, July 1988.
	8	R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, Apr. 1978.
	9	J. W. Duran and S. C. Ntafos. An evaluation of random testing. IEEE Transactions on Soflware Engineering, SE-10(7):438-444, July 1984.
	10	J. W. Duran and J. Wiorkowski. Quantifying software validity by sampling. IEEE Transactions on Reliability, R-29:141-144, 1980.
	11	P. G. Frankl. Partial symbolic evaluation of path expressions. submitted.
	12	P. G. Frankl. ASSET user's manual. Technical Report 318, Computer Science Department, Courant Institute of Mathematical Sciences, New York University,Sept. 1987.
	13	Phyllis G. Frankl, The use of data flow information for the selection and evaluation of software test data, 1987
	14	P. G. Frankl, S. N. Weiss, and E. J. Weyuker. AS- SET a system to select and evaluate tests. In Proceedings of the IEEE Conference on Software Tools, pages 72-79, Apr. 1985.
	15	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]
	16	Phyllis G. Frankl , Elaine J. Weyuker, Assessing the fault-detecting ability of testing methods, Proceedings of the conference on Software for citical systems, p.77-91, December 04-06, 1991, New Orleans, Louisiana, United States
	17	M. Girgis and M. Woodward. An experimental comparison of the error exposing ability of program testing criteria. In Proceedings IEEE Workshop on Software Testing, pages 64-73. IEEE Computer Society Press, July 1986.
	18	J. Goodenough and S. Gerhart. Toward a theory of test data selection. IEEE Transadion. on Software Engineering, SE-1( 2):156-173,June 1975.
	19	Fred G. Gustavson, Remark on algorithm 408: a sparse matrix package (part 1) [F4], ACM Transactions on Mathematical Software (TOMS), v.4 n.3, p.295, Sept. 1978 [doi>10.1145/355791.356474]
	20	R. Hamlet, Theoretical comparison of testing methods, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.28-37, December 13-15, 1989, Key West, Florida, United States
	21	Dick Hamlet , Ross Taylor, Partition Testing Does Not Inspire Confidence (Program Testing), IEEE Transactions on Software Engineering, v.16 n.12, p.1402-1411, December 1990 [doi>10.1109/32.62448]
	22	W. E. Howden. A survey of dynamic analysis methods. In Tutorial: Software Testing and Vahdation Techniques, pages 209-231. IEEE Computer Society Press, 1978.
	23	J. C. Huang, An Approach to Program Testing, ACM Computing Surveys (CSUR), v.7 n.3, p.113-128, Sept. 1975 [doi>10.1145/356651.356652]
	24	B. Jeng , E. Weyuker, Some observations on partition testing, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.38-47, December 13-15, 1989, Key West, Florida, United States
	25	J. C. Knight , N. G. Leveson, An experimental evaluation of the assumption of independence in multiversion programming, IEEE Transactions on Software Engineering, v.12 n.1, p.96-109, Jan. 1986
	26	J. W. Laski and B. Korel. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering, SE-9(3):347-354, May 1983.
	27	John Michael McNamee, Algorithm 408: a sparse matrix package (part I) [F4], Communications of the ACM, v.14 n.4, p.265-273, April 1971 [doi>10.1145/362575.362584]
	28	S. Ntafos. On required element test ing. IEEE Transactions on Sofiware Engineering, SE- 10 (6):795-803, Nov. 1984.
	29	S. C. Ntafos, A Comparison of Some Structural Testing Strategies, IEEE Transactions on Software Engineering, v.14 n.6, p.868-874, June 1988 [doi>10.1109/32.6165]
	30	William H. Press , Brian P. Flannery , Saul A. Teukolsky , William T. Vetterling, Numerical recipes: the art of scientific computing, Cambridge University Press, New York, NY, 1986
	31	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]
	32	J. Rowland , Y. Zuyuan, Experimental comparison of three system test strategies preliminary report, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.141-149, December 13-15, 1989, Key West, Florida, United States
	33	K. C. Tai. Program testing complexity and test criteria. IEEE Transactions on Software Engineering, SE-6(6):531-538, Nov. 1980.
	34	M. Vouk, D. McAllister, and K. Tai. An experimental evaluation of the effectiveness of random testing of fault-tolerant software. In Proceedings IEEE Workshop on Software Testing. IEEE Computer Society Press, July 1986.
	35	S. N. Weiss. Methods of comparing test data adequacy criteria. In COMPSAC 90, pages 1-6, Oct. 1990.
	36	S. N. Weiss and P. G. Frankl. Comparison of all-uses and all-edges: Design, data, and analysis. Technical Report CS-91-03, Hunter College Computer Science Dept., Mar. 1991.

CITED BY 10

	P. G. Frankl , E. J. Weyuker, A Formal Analysis of the Fault-Detecting Ability of Testing Methods, IEEE Transactions on Software Engineering, v.19 n.3, p.202-213, March 1993
	Phyllis G. Frankl , Elaine J. Weyuker, Assessing the fault-detecting ability of testing methods, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.77-91, Dec. 1991
	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
	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
	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
	N. Juristo , A. M. Moreno , S. Vegas, Limitations of empirical testing technique knowledge, Lecture notes on empirical software engineering, World Scientific Publishing Co., Inc., River Edge, NJ, 2003
	J. H. Andrews , L. C. Briand , Y. Labiche, Is mutation an appropriate tool for testing experiments?, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
	Natalia Juristo , Ana M. Moreno , Sira Vegas, Reviewing 25 Years of Testing Technique Experiments, Empirical Software Engineering, v.9 n.1-2, p.7-44, March 2004
	Mats P. Heimdahl , Devaraj George, On the effect of test-suite reduction on automatically generated model-based tests, Automated Software Engineering, v.14 n.1, p.37-57, March 2007
	James H. Andrews , Lionel C. Briand , Yvan Labiche , Akbar Siami Namin, Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria, IEEE Transactions on Software Engineering, v.32 n.8, p.608-624, August 2006