Assertion definition language
This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.Find sources: "Assertion definition language" – news · newspapers · books · scholar · JSTOR (October 2011)
The Assertion Definition Language (ADL) is a specification language providing a predicate logic based behaviour, as well as interfaces, for computer software.[1]
English language support
[edit]ADL uses function pre- and postconditions 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 the English language, and to generate test systems against which implementation code can be verified.[2]
History
[edit]This section needs additional citations for verification. Please help improve this article by adding citations to reliable sources in this section. Unsourced material may be challenged and removed.Find sources: "Assertion definition language" – news · newspapers · books · scholar · JSTOR (January 2017) (Learn how and when to remove this message)
ADL is developed cooperatively by The Open Group and SunTest of Sun Microsystems[3]
See also
[edit]References
[edit]- ^ Peter Gutmann (2004). Cryptographic Security Architecture: Design and Verification. Springer. p. 194. ISBN 9780387953878.
- ^ "About ADL". Archived from the original on 2016-04-06. Retrieved 2016-10-18.
- ^ "ADL History". Archived from the original on 2016-10-19. Retrieved 2016-10-18.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
