Assertion definition language
Encyclopedia
The Assertion Definition Language (ADL) is a specification language
providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and post-conditions to specify interfaces, and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications. Tool support exists both to convert ADL specifications into natural language, and to generate test systems against which implementation code can be verified.
ADL is developed cooperatively by The Open Group
and SunTest of Sun Microsystems
.
Specification language
A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis, requirements analysis and systems design.Specification...
providing a formal grammar to specify behaviour and interfaces for computer software. ADL uses function pre- and post-conditions to specify interfaces, and is designed to provide an intermediary between informal English language specifications and formal programmatic test specifications. Tool support exists both to convert ADL specifications into natural language, and to generate test systems against which implementation code can be verified.
ADL is developed cooperatively by The Open Group
The Open Group
The Open Group is a vendor and technology-neutral industry consortium, currently with over three hundred member organizations. It was formed in 1996 when X/Open merged with the Open Software Foundation...
and SunTest of Sun Microsystems
Sun Microsystems
Sun Microsystems, Inc. was a company that sold :computers, computer components, :computer software, and :information technology services. Sun was founded on February 24, 1982...
.