JavaA: Inclusión de Aserciones en Java

Abstract

Resumen. Las aserciones son cláusulas lógicas que se integran a los lenguajes de programación para mejorar la especificación y la verificación. El lenguaje Java no tiene recursos de este tipo. En este artículo se presenta una propuesta de integración de aserciones al lenguaje Java. Se mejoran, con la inclusión de cuantificadores, las posibilidades de estas aserciones para el diseño y especificación. Se analizan las premisas que debe satisfacer una implementación de esta integración y se muestra un esquema general de implementación así como que se analizan las limitaciones del propio Java para la misma.