ADL—an interface definition language for specifying and testing software-Reference-Cited by-同舟云学术

ADL—an interface definition language for specifying and testing software

Published:1994-08 Issue:8 Volume:29 Page:13-21
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Sankar Sriram¹,Hayes Roger¹

Affiliation:

1. Sun Microsystems Laboratories, Inc., 2550 Garcia Avenue, UMTV29-112, Mountain View, California

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/185087.185096

Reference9 articles.

1. A new approach to prototyping Ada-based hardware/software systems

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

3. The Larch Family of Specification Languages

4. Specification techniques for data abstractions

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalism and Language Tools for Specification of the Semantics of Software Libraries;Automatic Control and Computer Sciences;2017-12

2. Automated Test Oracles;Advances in Computers;2014

3. Specification of Tasks in Terms of Object-Level Relations for a Two-Handed Robot;Recent Advances in Automation, Robotics and Measuring Techniques;2014

4. JCrasher: an automatic robustness tester for Java;Software: Practice and Experience;2004-08-11

5. Summary;Distributed Infrastructure Support for Electronic Commerce Applications;2004