Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification

Barra lateral del artículo

PDF

Contenido principal del artículo

Edgar Darío Ramírez de León
División Académica de Informática y Sistemas Universidad Juárez Autónoma de Tabasco
Oscar Chávez Bosquez
División Académica de Informática y Sistemas Universidad Juárez Autónoma de Tabasco
Julián Javier Francisco León
División Académica de Informática y Sistemas Universidad Juárez Autónoma de Tabasco

Resumen

XJML (Ramírez et al., 2012) es una plataforma modular externa para la verificación y validación de clases Java empleando el lenguaje de modelado de Java (JML, Java Modeling Language) a través de contratos escritos en XML. Uno de los problemas que se enfrentaron durante el desarrollo de XJML fue la integración de la técnica de verificación denominada Full Static Program Verification (FSPV). En este artículo se presentan los experimentos y resultados que permitieron definir qué herramienta se integra en XJML para ejecutar FSPV.

Detalles del artículo

Cómo citar
Ramírez de León, E. D., Chávez Bosquez, O., & Francisco León, J. J. (2015). Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification. Ingeniería Investigación Y Tecnología, 15(4). Recuperado a partir de https://www.revistas.unam.mx/index.php/ingenieria/article/view/45882