Lenguaje de definición de aserción

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 informático . ^{[ 1 ]}

ADL utiliza precondiciones y postcondiciones de función para especificar interfaces y está diseñado para proporcionar un intermediario entre las especificaciones informales en lenguaje inglés y las especificaciones formales de pruebas programáticas.

Existen herramientas que permiten convertir las especificaciones ADL al idioma inglés y generar sistemas de prueba contra los cuales se puede verificar el código de implementación. ^{[ 2 ]}

ADL es desarrollado en cooperación por The Open Group y SunTest de Sun Microsystems ^{[ 3 ].}

• Métodos formales
• Especificación formal