Estadísticas del PDF: ESPECIFICACIÓN DE MÓDULOS CON EJEMPLOS Y CASOS DE PRUEBA

ESPECIFICACIÓN DE MÓDULOS CON EJEMPLOS Y CASOS DE

PRUEBA

MODULE SPECIFICATION USING EXAMPLES AND TEST CASES

Adolfo Di Mare

Universidad de Costa Rica, Escuela de Ciencias de la Computación e Informática, Costa Rica

[email protected]

RESUMEN

Se plantea cómo aprovechar la formación del
programador para que construya, por lo menos
parcialmente, la especificación de sus módulos,
incorporando en cada implementación datos de
prueba que sean ejemplo...