SwipTesting – Una herramienta de testing para la enseñanza de Prolog

Resumen

Este trabajo presenta el desarrollo de una herramienta de verificación y validación de software enfocada en el lenguaje de programación lógica Prolog, diseñada específicamente para el contexto educativo. El proyecto surge ante la falta de un framework de pruebas funcionales en la materia "Lógica para Ciencias de la Computación" de la Universidad Nacional del Sur, lo que afecta la calidad y eficiencia en la corrección de los trabajos de los alumnos. La herramienta facilita la creación y ejecución automatizada de casos de prueba, lo que permite a los docentes ahorrar tiempo en la validación de los programas de los estudiantes. Cuenta con una interfaz gráfica amigable y un modo consola, siguiendo la arquitectura Model-View-Presenter para asegurar una clara separación de responsabilidades y facilitar el mantenimiento. Además, permite almacenar y comparar los resultados obtenidos con los esperados en formatos estructurados como JSON. La implementación ha demostrado beneficios clave, reduciendo significativamente el tiempo de evaluación y proporcionando retroalimentación detallada a los alumnos. La herramienta desarrollada se distribuye de forma libre y gratuita.