ADL—an interface definition language for specifying and testing software

Authors:
Sriram Sankar;Roger Hayes
Affiliations:
Sun Microsystems Laboratories, Inc., 2550 Garcia Avenue, UMTV29-112, Mountain View, California;Sun Microsystems Laboratories, Inc., 2550 Garcia Avenue, UMTV29-112, Mountain View, California
Venue:
IDL '94 Proceedings of the workshop on Interface definition languages
Year:
1994

Citing 3
Cited 11

ANNA: a language for annotating Ada programs

ANNA: a language for annotating Ada programs
Understanding Z: a specification language and its formal semantics

Understanding Z: a specification language and its formal semantics
A new approach to prototyping Ada-based hardware/software systems

TRI-Ada '90 Proceedings of the conference on TRI-ADA '90

Experiences with cluster and class testing

Communications of the ACM
Clarity MCode: a retargetable intermediate representation for compilation

IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Interface-Based Protocol Specification of Open Systems using PSL

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
The specification of distributed objects: liveness and locality

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
JCrasher: an automatic robustness tester for Java

Software—Practice & Experience
DSD-Crasher: a hybrid analysis tool for bug finding

Proceedings of the 2006 international symposium on Software testing and analysis
IBDL: a language for interface behavior specification and testing

COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Preliminary design of ADL/C++: a specification language for C++

COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
The spring object model

COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Performance-driven interface contract enforcement for scientific components

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering

Quantified Score

Hi-index	0.02

Visualization

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.