Comparison of program testing strategies

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Comparison of program testing strategies

Full text

Pdf (1.06 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: 1 - 10

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

Elaine J. Weyuker	Depatment of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, New York
Stewart N. Weiss	Department of Computer Science, Hunter College of CUNY, 695 Park Avenue, New York, New York
Dick Hamlet	Department of Computer Science, Portland State University, Box 751, Portland, OR

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 95, Citation Count: 23

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

	BaS	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]
	CHR	L.A. Clarke, J. Hassell, and D.J. Richardson, "A Close Look at Domain Testing," IEEE Trans. Software Eng., Vol. SE-8, No. 4, July 1982, pp. 380-390.
	CPRZ	Lori A. Clarke , Andy Podgurski , Debra J. Richardson , Steven J. Zeil, A comparison of data flow path selection criteria, Proceedings of the 8th international conference on Software engineering, p.244-251, August 28-30, 1985, London, England
	DaW	M.D. Davis and E.J. Weyuker, "A Formal Notion of Program-Based Test Data Adequacy," Information and Control, vol.56, Nos.1-2, Jan/Feb 1983, pp. 52-71.
	DuW	J.W. Duran and J. Wiorkowski, "Quantifying software vatidity by sampling," IEEE Trans. on Reliability, Vol. R-29, 1980, pp. 141-144.
	DuN	J.W. Duran and S.C. Ntafos, "An Evaluation of Random Testing," IEEE Trans. Sofware Eng., Vol. SE-10, No. 4, July 1984, pp. 438-444.
	FrW	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]
	FWe	Phyllis G. Frankl , Stewart N. Weiss, An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria, Proceedings of the symposium on Testing, analysis, and verification, p.154-164, October 08-10, 1991, Victoria, British Columbia, Canada [doi>10.1145/120807.120821]
	GiW	M.R. Girgis and M.R. Woodward, "An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria," Proc. Workshop on Software Testing, Banff, Canada, July 1986, pp. 64-73.
	Gou	J.S. Gourlay, "A Mathematical Framework for the Investigation of Testing," IEEE Trans. on Sofmare Eng., VO1.SE-9, No.6, Nov 1983, pp. 686-709.
	H88	R. Hamlet, Introduction to special section on software testing, Communications of the ACM, v.31 n.6, p.662-667, June 1988 [doi>10.1145/62959.62962]
	H89	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
	HaT	R. Hamlet and R. Taylor, "Partition Testing Does Not Inspire Confidence," Proc. Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 206-215.
	How	W.E. Howden, "Reliability of the Path Analysis Testing Strategy," IEEE Trans. Software Eng., vol. SE-2, No.3, Sept 1976, pp. 208-215.
	IEE	IEEE Standard Dictionary of Electrical and Electronics Terms, Fourth Ed., IEEE, 1988.
	JeW	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
	KeP	Brian W. Kernighan , P. J. Plauger, Software Tools in Pascal, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1981
	LaR	L. Lauterbach and W Randall, Experimental evaluation of six test techniques, Proc. COMPASS '89, Gaitersburg, MD, June, 1989, pp. 36-41.
	N84	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
	N88	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]
	RW82	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
	RW85	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]
	RoZ	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
	Tai	K.C. Tai, "Program Testing Complexity and Test Criteria," IEEE Trans. Software Eng., Vol. SE-6, No.6, Nov. 1980, pp. 531- 538.
	WGM	M.D. Weiser, J.D. Gannon, P.R. McMullin, "Comparison of Structural Test Coverage Metrics," IEEE Software, Vol. 19, No. 2, Mar 1985, pp. 80-85.
	Wei	S. N. Weiss, Comparing test data adequacy criteria, ACM SIGSOFT Software Engineering Notes, v.14 n.6, p.42-49, Oct. 1989 [doi>10.1145/70739.70742]
	W84	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]
	W88	E.J. Weyuker, "An Empirical Study of the Complexity of Data Flow Testing," Proc, Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 188-195.
	W90	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]
	WHC	L.J. White and E.I. Cohen, "A Domain Testing Strategy," IEEE Transactions on Sofiware Engineering, Vol. SE-6, No. 3, May, 1980, pp. 247-257.
	Zei	S.J. Zeil, "Selectivity of Data-Flow and Control-Flow Path Criteria," Proc. Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, July 1988, pp. 216-222.

CITED BY 23

	A. S. Parrish , S. H. Zweben, Clarifying Some Fundamental Concepts in Software Testing, IEEE Transactions on Software Engineering, v.19 n.7, p.742-746, July 1993
	Antonia Bertolino , Lorenzo Strigini, Using testability measures for dependability assessment, Proceedings of the 17th international conference on Software engineering, p.61-70, April 24-28, 1995, Seattle, Washington, United States
	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
	A. Jefferson Offutt , Ammei Lee , Gregg Rothermel , Roland H. Untch , Christian Zapf, An experimental determination of sufficient mutant operators, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.2, p.99-118, April 1996
	Stewart N. Weiss , Vladimir N. Fleyshgakker, Improved serial algorithms for mutation analysis, ACM SIGSOFT Software Engineering Notes, v.18 n.3, p.149-158, July 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
	Dick Hamlet, Foundations of software testing: dependability theory, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.128-139, Dec. 1994
	Nancy G. Leveson, High-pressure steam engines and computer software, Proceedings of the 14th international conference on Software engineering, p.2-14, May 11-15, 1992, Melbourne, Australia
	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
	Elaine J. Weyuker, Using operational distributions to judge testing progress, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	P. G. Frankl , E. J. Weyuker, Provable Improvements on Branch Testing, IEEE Transactions on Software Engineering, v.19 n.10, p.962-975, October 1993
	P. G. Frankl , S. N. Weiss, An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing, IEEE Transactions on Software Engineering, v.19 n.8, p.774-787, August 1993
	Bingchiang Jeng , Elaine J. Weyuker, A simplified domain-testing strategy, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.3, p.254-270, July 1994
	E. Weyuker , T. Goradia , A. Singh, Automatically Generating Test Data from a Boolean Specification, IEEE Transactions on Software Engineering, v.20 n.5, p.353-363, May 1994
	R. M. Hierons, Comparing test sets and criteria in the presence of test hypotheses and fault domains, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.4, p.427-448, October 2002
	E. J. Weyuker, More Experience with Data Flow Testing, IEEE Transactions on Software Engineering, v.19 n.9, p.912-919, September 1993
	Walter J. Gutjahr, Partition Testing vs. Random Testing: The Influence of Uncertainty, IEEE Transactions on Software Engineering, v.25 n.5, p.661-674, September 1999
	Borislav Nikolik, Convergence debugging, Proceedings of the sixth international symposium on Automated analysis-driven debugging, p.89-98, September 19-21, 2005, Monterey, California, USA
	Walter J. Gutjahr, Optimal Test Distributions for Software Failure Cost Estimation, IEEE Transactions on Software Engineering, v.21 n.3, p.219-228, March 1995
	Borislav Nikolik, Test suite oscillations, Information Processing Letters, v.98 n.2, p.47-55, 30 April 2006
	L. C. Briand , Y. Labiche , Y. Wang, Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart, Proceedings of the 26th International Conference on Software Engineering, p.86-95, May 23-28, 2004
	Hui Liu , Hee Beng Kuan Tan, Testing input validation in Web applications through automated model recovery, Journal of Systems and Software, v.81 n.2, p.222-233, February, 2008
	Chris Chambers , Martin Erwig, Automatic detection of dimension errors in spreadsheets, Journal of Visual Languages and Computing, v.20 n.4, p.269-283, August, 2009