El lenguaje de definición de aserciones ( ADL ) es un lenguaje de especificación que proporciona un comportamiento basado en lógica de predicados , así como interfaces, para software de computadora . [1]
ADL utiliza condiciones previas y posteriores a la función para especificar interfaces y está diseñado para proporcionar un intermediario entre las especificaciones informales del idioma inglés y las especificaciones formales de pruebas programáticas.
Existe soporte de herramientas tanto para convertir especificaciones ADL al idioma inglés como para generar sistemas de prueba con los que se pueda verificar el código de implementación. [2]
ADL es desarrollado en colaboración por The Open Group y SunTest de Sun Microsystems [3]