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

Abstract

This paper presents the development of a software verification and validation tool focused on the Prolog logic programming language, specifically designed for educational contexts. The project arose from the lack of a functional testing framework in the course "Logic for Computer Science" at the Universidad Nacional del Sur, which affects the quality and efficiency of grading students' work. The tool facilitates the automated creation and execution of test cases, allowing teachers to save time in validating students' programs. It features a user-friendly graphical interface and a console mode, following the Model-View-Presenter architecture to ensure clear separation of responsibilities and ease of maintenance. Additionally, it allows for the storage and comparison of the obtained results with the expected ones in structured formats such as JSON. The implementation has shown key benefits, significantly reducing evaluation time and providing detailed feedback to students. The developed tool is distributed freely.