Case studies on testing object-oriented programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Case studies on testing object-oriented programs

Full text

Pdf (1.08 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: 165 - 177

Year of Publication: 1991

ISBN:0-89791-449-X

Authors

Roong-Ko Doong	Department of Computer Science, Polytechnic University, 333 Jay Street, Brooklyn, NY
Phyllis G. Frankl	Department of Computer Science, Polytechnic University, 333 Jay Street, Brooklyn, NY

Sponsor

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 13, Downloads (12 Months): 65, Citation Count: 9

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.120822 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	P. G. Frankl and R.-K. Doong, "Tools for testing object-oriented programs", in Proceedings of Pacific No rthwest Software Quality Conference 1990, (Portland, Oregon), pp. 309-324, Oct. 1990.
	2	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	3	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	4	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	5	B. H. Liskov and S. N. Zilles, "Specification techniques for data abstractions, IEEE Transactions -on Software Engineemng, vol. 1, pp. 7-19, Mar. 1975.
	6	J. A. Goguen, J. W. Thatcher, and E. G. Wagner, "An initial algebra approach to the specification, correctness, and implementation of abstract data types," Current finds in Programming Methodology,vol. 4, 1978.
	7	John Guttag, Abstract data types and the development of data structures, Communications of the ACM, v.20 n.6, p.396-404, June 1977 [doi>10.1145/359605.359618]
	8	Jhon V. Guttag , Ellis Horowitz , David R. Musser, Some extensions to algebraic specifications, Proceedings of an ACM conference on Language design for reliable software, p.63-67, March 28-30, 1977, Raleigh, North Carolina
	9	J. D. Gannon , R. G. Hamlet , H. D. Mills, Theory of modules, IEEE Transactions on Software Engineering, v.13 n.7, p.820-829, July 1987 [doi>10.1109/TSE.1987.233493]
	10	W. Bartusaek and D. L. Parnas, "Using assertions about traces to write abstract specifications for software modules," in Software Specification Techniques (N. Gehani and A. McGettrick, eds.), pp. 11 1130, Reading, MA: Addison-Wesley Publishing Company, 1986.
	11	D. Hoffman , Richard Thomas Snodgrass, Trace Specifications: Methodology and Models, IEEE Transactions on Software Engineering, v.14 n.9, p.1243-1252, September 1988 [doi>10.1109/32.6168]
	12	J. V. Guttag, J. J. Horning, and J. M. Wing, The larch family of specification languages, IEEE Software, vol. 2, pp. 24 36, Sept. 1985.
	13	John Gannon , Paul McMullin , Richard Hamlet, Data Abstraction, Implementation, Specification, and Testing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.211-223, July 1981 [doi>10.1145/357139.357140]
	14	D. Hoffman , C. Brealey, Module test case generation, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.97-102, December 13-15, 1989, Key West, Florida, United States
	15	N. Choquet, "Test data generation using a prolog with constrains," in Proceedings of Workshop on Software Testing, pp. 132-141, IEEE Computer Society,1986.
	16	M. Gaudel and B. Marre, "Generation of test data from algebraic specifications," in Proc. Second Workshop on Software Testing, Verfication, and Analysis, (Banff, Canada), pp. 138-139, July 1988.
	17	P. Jalote and M. G. Caballero, "Automated testcase generation for data abstraction," in Proceedings of COMPSAC 88, (Chicago, IL), pp. 205-210, Oct. 1988.
	18	Pankaj Jalote, Testing the Completeness of Specifications, IEEE Transactions on Software Engineering, v.15 n.5, p.526-531, May 1989 [doi>10.1109/32.24701]
	19	D. E. Perry , G. E. Kaiser, Adequate testing and object-oriented programming, Journal of Object-Oriented Programming, v.2 n.5, p.13-19, Jan./Feb. 1990

CITED BY 9

	Huo Yan Chen , T. H. Tse , T. Y. Chen, TACCLE: a methodology for object-oriented software testing at the class and cluster levels, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.1, p.56-109, Jan. 2001
	Huo Yan Chen , T. H. Tse , F. T. Chan , T. Y. Chen, In black and white: an integrated approach to class-level testing of object-oriented programs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.7 n.3, p.250-295, July 1998
	Roong-Ko Doong , Phyllis G. Frankl, The ASTOOT approach to testing object-oriented programs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.3 n.2, p.101-130, April 1994
	Dechang Gu , Yin Zhong , Sarwar Ali, On testing of classes in object-oriented programs, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.22, October 31-November 03, 1994, Toronto, Ontario, Canada
	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
	Sergio Antoy , Dick Hamlet, Automatically Checking an Implementation against Its Formal Specification, IEEE Transactions on Software Engineering, v.26 n.1, p.55-69, January 2000
	Anthony J. Simons, JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction, Automated Software Engineering, v.14 n.4, p.369-418, December 2007
	Allen Parrish , David Cordes , Brandon Dixon , John McGregor, Class development and testing in the small, Proceedings of the 38th annual on Southeast regional conference, April 07-08, 2000, Clemson, South Carolina
	Robert M. Hierons , Kirill Bogdanov , Jonathan P. Bowen , Rance Cleaveland , John Derrick , Jeremy Dick , Marian Gheorghe , Mark Harman , Kalpesh Kapoor , Paul Krause , Gerald Lüttgen , Anthony J. H. Simons , Sergiy Vilkomir , Martin R. Woodward , Hussein Zedan, Using formal specifications to support testing, ACM Computing Surveys (CSUR), v.41 n.2, p.1-76, February 2009