Home · About · A-Z Index · Search · Contacts · Press · Register · Login


About ADL
You are here: ADL
Assertion Definition Language
  • Automatic test generation
  • API document generation
  • Java testing
  • C/C++ testing
  • IDL testing

Assertion Definition Language (ADL) is a high-level language that provides a formal grammar for the expression of programmatic assertions. It can be used to automatically generate tests based on API specifications and to produce natural language representations of these assertions for documentation. The language has C/C++, IDL and Java dialects each of which are designed to reflect the syntax of those languages to help developers to better describe native APIs.

The Assertion Definition Language system of translators, document and code generators are freely available as a single package. Users may do anything with the system, as long as they continue to give credit to the ADL project.

In addition to the ADL Translation System, there are several example interface specifications available, including the POSIX.1 File System, the Test Environment Toolkit API, and the CORBA 1.2 APIs.

ADL is well documented and support is available to licensed users.

Home · Contacts · Legal · Copyright · Members · News
© The Open Group 1995-2015  Updated on Friday, 23 November 2001