Article

Free access

ADL—an interface definition language for specifying and testing software

Authors:

Sriram Sankar,

Roger HayesAuthors Info & Claims

IDL '94: Proceedings of the Workshop on Interface Definition Languages

Pages 13 - 21

https://doi.org/10.1145/185084.185096

Published: 01 August 1994 Publication History

PDF eReader

Abstract

This paper describes an interface definition language called ADL which extends OMG's CORBA interface definition language with formal specification constructs. In addition to ADL's use in formal documentation, ADL's primary use is for testing software. ADL can be adapted for use with most programming languages.This paper also presents an overview of a testing technology based on ADL and presents the highlights of a test-data description language (TDD) used to describe test-data.

References

[1]

[1] Frank Belz and David C. Luckham. A new approach to prototyping Ada-based hardware/software systems. In Proceedings of the ACM Tri-Ada Conference , Baltimore, December 1990. ACM Press.

Digital Library

Google Scholar

[2]

[2] Digital Equipment Corporation, Hewlett-Packard Company, HyperDesk Corporation, NCR Corporation, Object Design, Inc., and SunSoft, Inc. The Common Object Request Broker: Architecture and Specification, omg document number 91.12.1 edition, December 1991. Revision 1.1.

Google Scholar

[3]

[3] J. V. Guttag, J. J. Horning, and J. M. Wing. The Larch family of specification languages. IEEE Software , 2(5):24-36, September 1985.

Digital Library

Google Scholar

[4]

[4] Dinesh Katiyar and Sriram Sankar. Completely bounded quantification is decidable. In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, pages 68-77, San Francisco, California, June 1992.

Google Scholar

[5]

[5] B. Liskov and S. Zilles. Specification techniques for data abstraction. IEEE Transactions on Software Engineering, SE-1(1):7-19, March 1975.

Digital Library

Google Scholar

[6]

[6] David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, and Olaf Owe. ANNA, A Language for Annotating Ada Programs, volume 260 of Lecture Notes in Computer Science. Springer-Verlag, 1987.

Digital Library

Google Scholar

[7]

[7] J. M. Spivey. Understanding Z, A Specification Language and its Formal Semantics. Cambridge Unversity Press, 1988. Tracts in Theorectical Computer Science, Volume 3.

Digital Library

Google Scholar

[8]

[8] Sun Microsystems Inc., U.S.A., and Information-Technology Promotion Agency, Japan. ADL Language Reference Manual, document number MITI/0002/D/0.1 edition, August 1993.

Google Scholar

[9]

[9] Sun Microsystems Inc., U.S.A., and Information-Technology Promotion Agency, Japan. ADL Translator Design Specification, document number MITI/0001/D/0.1 edition, August 1993.

Google Scholar

Cited By

View all

Csallner CSmaragdakis YPollock LPezzè M(2006)DSD-CrasherProceedings of the 2006 international symposium on Software testing and analysis10.1145/1146238.1146267(245-254)Online publication date: 21-Jul-2006
https://dl.acm.org/doi/10.1145/1146238.1146267
Lea DMarlowe J(2000)Interface-Based Protocol Specification of Open Systems using PSLObject-Oriented Programming10.1007/3-540-49538-X_18(374-398)Online publication date: 25-Aug-2000
https://doi.org/10.1007/3-540-49538-X_18
Viswanadha SKapur D(1998)IBDLProceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 410.5555/1268009.1268026(17-17)Online publication date: 27-Apr-1998
https://dl.acm.org/doi/10.5555/1268009.1268026
Show More Cited By

Index Terms

ADL—an interface definition language for specifying and testing software
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. System description languages
      1. Specification languages

Recommendations

ADL—an interface definition language for specifying and testing software

This paper describes an interface definition language called ADL which extends OMG's CORBA interface definition language with formal specification constructs. In addition to ADL's use in formal documentation, ADL's primary use is for testing software. ...
Integrated language definition testing: enabling test-driven language development
OOPSLA '11

The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as ...
Integrated language definition testing: enabling test-driven language development
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as ...

Comments

Information & Contributors

Information

Published In

IDL '94: Proceedings of the Workshop on Interface Definition Languages

August 1994

138 pages

ISBN:9781450333207

DOI:10.1145/185084

Editors:
Jeanette M. Wing
Carnegie Mellon Univ., Pittsburgh, PA
,
Richard L. Wexelblat
ACM SIGPLAN Notices, Washington, DC

ACM SIGPLAN Notices Volume 29, Issue 8
Aug. 1994
138 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/185087
Editors:
Richard L. Wexelblat
ACM SIGPLAN Notices, Washington, DC
,
Jeanette M. Wing
Carnegie Mellon Univ., Pittsburgh, PA
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
677
Total Downloads

Downloads (Last 12 months)80
Downloads (Last 6 weeks)19

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Csallner CSmaragdakis YPollock LPezzè M(2006)DSD-CrasherProceedings of the 2006 international symposium on Software testing and analysis10.1145/1146238.1146267(245-254)Online publication date: 21-Jul-2006
https://dl.acm.org/doi/10.1145/1146238.1146267
Lea DMarlowe J(2000)Interface-Based Protocol Specification of Open Systems using PSLObject-Oriented Programming10.1007/3-540-49538-X_18(374-398)Online publication date: 25-Aug-2000
https://doi.org/10.1007/3-540-49538-X_18
Viswanadha SKapur D(1998)IBDLProceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 410.5555/1268009.1268026(17-17)Online publication date: 27-Apr-1998
https://dl.acm.org/doi/10.5555/1268009.1268026
Liu WDasiewicz P(1998)Extended TTCN in software testingConference Proceedings. IEEE Canadian Conference on Electrical and Computer Engineering (Cat. No.98TH8341)10.1109/CCECE.1998.682749(321-324)Online publication date: 1998
https://doi.org/10.1109/CCECE.1998.682749
Radia SHamilton GKessler PPowell M(1995)The spring object modelProceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)10.5555/1268098.1268112(12-12)Online publication date: 26-Jun-1995
https://dl.acm.org/doi/10.5555/1268098.1268112
Lewis BDeutsch LGoldstein T(1995)Clarity MCodeACM SIGPLAN Notices10.1145/202530.20254230:3(119-128)Online publication date: 1-Mar-1995
https://dl.acm.org/doi/10.1145/202530.202542
Lewis BDeutsch LGoldstein TErnst M(1995)Clarity MCodePapers from the 1995 ACM SIGPLAN workshop on Intermediate representations10.1145/202529.202542(119-128)Online publication date: 1-Mar-1995
https://dl.acm.org/doi/10.1145/202529.202542
Murphy GTownsend PWong P(1994)Experiences with cluster and class testingCommunications of the ACM10.1145/182987.18299037:9(39-47)Online publication date: 1-Sep-1994
https://dl.acm.org/doi/10.1145/182987.182990
Fink GLevitt K(1994)Property-based testing of privileged programsTenth Annual Computer Security Applications Conference10.1109/CSAC.1994.367311(154-163)Online publication date: 1994
https://doi.org/10.1109/CSAC.1994.367311
Itsykson V(2018)Formalism and Language Tools for Specification of the Semantics of Software LibrariesAutomatic Control and Computer Sciences10.3103/S014641161707010051:7(531-538)Online publication date: 7-Feb-2018
https://doi.org/10.3103/S0146411617070100
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

ADL—an interface definition language for specifying and testing software

Integrated language definition testing: enabling test-driven language development

Integrated language definition testing: enabling test-driven language development