JavaA: Inclusión de Aserciones en Java

Abstract

LAS ASERCIONES SON CLAUSULAS LOGICAS QUE SE INTEGRAN A LOS LENGUAJES DE PROGRAMACION PARA MEJORAR LA ESPECIFICACION Y LA VERIFICACION. EL LENGUAJE JAVA NO TIENE RECURSOS DE ESTE TIPO. EN ESTE ARTICULOS SE PRESENTA UNA PROPUESTA DE INTEGRACION DE ASERCIONES AL LENGUAJE JAVA. SE MEJORAN CON LA INCLUSION DE CUANTIFICADORES, LAS POSIBILIDADES DE ESTAS ASERCIONES PARA EL DISENO Y ESPECIFICACION. SE ANALIZAN LAS PREMISAS QUE DEBE SATISFACER UNA IMPLEMENTACION DE ESTA INTEGRACION Y SE MUESTRA UN ESQUEMA GENERAL DE IMPLEMENTACION ASI COMO QUE SE ANALIZAN LAS LIMITACIONES DEL PROPIO JAVA PARA LA MISMA.