Data Abstraction, Implementation, Specification, and Testing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Data Abstraction, Implementation, Specification, and Testing

Full text

Pdf (809 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 3 , Issue 3 (July 1981) table of contents

Pages: 211 - 223

Year of Publication: 1981

ISSN:0164-0925

Authors

John Gannon	Department of Computer Science, University of Maryland, College Park, MD
Paul McMullin	Department of Computer Science, University of Maryland, College Park, MD
Richard Hamlet	Department of Computer Science, University of Maryland, College Park, MD

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 54, Citation Count: 40

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/357139.357140 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	BASILI, V.R. The design and implementation of a family of application-oriented languages. In Proc. 5th Texas Conf. on Computing Systems, Austin, Tex., Oct. 1976, pp. 6-12.
	2	John Gannon , Paul McMullin , Richard Hamlet , Mark Ardis, Testing traversable stacks, ACM SIGPLAN Notices, v.15 n.1, p.58-65, January 1980 [doi>10.1145/954127.954132]
	3	GANNON, J.D., AND ROSENBERG, J. Implementing data abstraction features in a stack-based language. Softw. Pract. Exper. 9 (1979), 547-560.
	4	GOGUEN, J.A., AND TARDO, J.J. An introduction to OBJ: A language for writing and testing formal algebraic program specifications. In Proc. Specifications of Reliable Software, 1979, pp. 170-189.
	5	GOGUEN, J.A., THATCHER, J.W., AND WAGNER, E.G. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In Current Trends in Programming Methodology, vol. 4, R. Yeh (Ed.). Prentice-Hall, Englewood Cliffs, N.J., 1978, pp. 80-149.
	6	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]
	7	GUTTAG, J.V., AND HORNING, J.J. The algebraic specification of abstract data types. Acta Inf. 10 (1978), 27-52.
	8	John V. Guttag , Ellis Horowitz , David R. Musser, Abstract data types and software validation, Communications of the ACM, v.21 n.12, p.1048-1064, Dec. 1978 [doi>10.1145/359657.359666]
	9	HAMLET, R.G. Critique of reliability theory. In IEEE Workshop on Software Testing, Fort Lauderdale, Fla., Dec. 1978, pp. 56-69.
	10	HOARE, C.A.R. Proof of correctness of data representations. Acta Inf. 1 (1972), 271-281.
	11	B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977 [doi>10.1145/954666.971189]
	12	Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
	13	McMULLIN, P.R., AND GANNON, J.D. Evaluating a data abstraction testing system based on formal specifications. Tech. Rep. TR-962, Dep. Computer Science, Univ. Maryland, 1979.
	14	MusssR, D.R. Abstract data type specification in the Affirm system. In Proc. Specifications of Reliable Software, 1979, pp. 47-57.
	15	Ben Wegbreit , Jay M. Spitzen, Proving Properties of Complex Data Structures, Journal of the ACM (JACM), v.23 n.2, p.389-396, April 1976 [doi>10.1145/321941.321957]
	16	WULr, W.A., LONDON, R.L., AND SHAW, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Softw. Eng. SE-2 (Dec. 1976), 253-265.
	17	ZILLES, S.N. Algebraic specification of data types. In Project MAC progress report for 1973-74. CSG Memo 119, MIT, Cambridge, Mass., pp. 1-12.

CITED BY 40

	Elaine J. Weyuker, Assessing Test Data Adequacy through Program Inference, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.641-655, Oct. 1983
	Robert B. Terwilliger , Roy H. Campbell, PLEASE:Predictable Logic based ExecutAble SpeCifications, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.349-358, February 1986, Cincinnati, Ohio, United States
	Dennis Peters , David L. Parnas, Generating a test oracle from program documentation: work in progress, Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, p.58-65, August 17-19, 1994, Seattle, Washington, United States
	Koen Claessen , John Hughes, Testing monadic code with QuickCheck, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.65-77, October 03, 2002, Pittsburgh, Pennsylvania
	D. Richardson , O. O'Malley , C. Tittle, Approaches to specification-based testing, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.86-96, Dec. 1989
	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
	Dennis M. Volpano , Richard B. Kieburtz, Software templates, Proceedings of the 8th international conference on Software engineering, p.55-60, August 28-30, 1985, London, England
	Koen Claessen , John Hughes, QuickCheck: a lightweight tool for random testing of Haskell programs, ACM SIGPLAN Notices, v.35 n.9, p.268-279, Sept. 2000
	G. Deshmukh , R. Deshpande , J. Leathrum , K. Liburdy, The role of testing methodologies in open systems standards: a POSIX experience report, Proceedings of the 16th international conference on Software engineering, p.233-240, May 16-21, 1994, Sorrento, Italy
	Deepak Kapur, An automated tool for analyzing completeness of equational specifications, Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, p.28-43, August 17-19, 1994, Seattle, Washington, United States
	Sriram Sankar, Run-time consistency checking of algebraic specifications, Proceedings of the symposium on Testing, analysis, and verification, p.123-129, October 08-10, 1991, Victoria, British Columbia, Canada
	Roong-Ko Doong , Phyllis G. Frankl, Case studies on testing object-oriented programs, Proceedings of the symposium on Testing, analysis, and verification, p.165-177, October 08-10, 1991, Victoria, British Columbia, Canada
	Merlin Hughes , David Stotts, Daistish: systematic algebraic testing for OO programs in the presence of side-effects, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.53-61, May 1996
	Lori A. Clarke , Debra J. Richardson , Steven J. Zeil, TEAM: a support environment for testing, evaluation, and analysis, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.153-162, November 1988
	Koen Claessen , John Hughes, Testing monadic code with QuickCheck, ACM SIGPLAN Notices, v.37 n.12, December 2002
	Daniel Hoffman , Jayakrishnan Nair , Paul Strooper, Testing generic Ada packages with APE, ACM SIGAda Ada Letters, v.XVIII n.6, p.255-262, Nov./Dec. 1998
	D. Hoffman , C. Brealey, Module test case generation, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.97-102, Dec. 1989
	W. E. Howden , Yudong Huang, Software trustability analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.1, p.36-64, Jan. 1995
	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
	Daniel Hoffman , Xianhong Fang, Testing the C set++ collection class library, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.26, October 31-November 03, 1994, Toronto, Ontario, Canada
	Daniel Hoffman , Paul Strooper, A case study in class testing, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering, October 24-28, 1993, Toronto, Ontario, Canada
	J. L. Crowley , J. F. Leathrum , K. A. Liburdy, Issues in the full scale use of formal methods for automated testing, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.71-78, May 1996
	Pankaj Jalote, Testing the Completeness of Specifications, IEEE Transactions on Software Engineering, v.15 n.5, p.526-531, May 1989
	Daniel M. Hoffman , Paul Strooper, Automated Module Testing in Prolog, IEEE Transactions on Software Engineering, v.17 n.9, p.934-943, September 1991
	Ray Ford , Chris Marlin, Implementation prototypes in the development of programming language features, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.61-66, December 1982
	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
	Phil Stocks , David Carrington, A Framework for Specification-Based Testing, IEEE Transactions on Software Engineering, v.22 n.11, p.777-793, November 1996
	Robert I. Winner , Edward M. Carter, Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	Dennis K. Peters , David Lorge Parnas, Using Test Oracles Generated from Program Documentation, IEEE Transactions on Software Engineering, v.24 n.3, p.161-173, March 1998
	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
	Qing Xie , Atif M. Memon, Designing and comparing automated test oracles for GUI-based software applications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.1, p.4-es, February 2007
	Johannes Henkel , Amer Diwan, A Tool for Writing and Debugging Algebraic Specifications, Proceedings of the 26th International Conference on Software Engineering, p.449-458, May 23-28, 2004
	Richard Denney, A comparison of the model-based & algebraic styles of specification as a basis for test specification, ACM SIGSOFT Software Engineering Notes, v.21 n.5, p.60-64, Sept. 1996
	A. A. Omar , F. A. Mohammed, A survey of software functional testing methods, ACM SIGSOFT Software Engineering Notes, v.16 n.2, p.75-82, April 1991
	Johannes Henkel , Christoph Reichenbach , Amer Diwan, Developing and debugging algebraic specifications for Java classes, ACM Transactions on Software Engineering and Methodology (TOSEM), v.17 n.3, p.1-37, June 2008
	Christer Hulten, Simple dynamic assertions for interactive program validation, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
	Magne Haveraaen , Karl Trygve Kalleberg, JAxT and JDI: the simplicity of junit applied to axioms and data invariants, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA
	Magne Haveraaen, Institutions, property-aware programming and testing, Proceedings of the 2007 Symposium on Library-Centric Software Design, p.21-30, October 21-21, 2007, Montreal, Canada
	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