Generador de retroalimentación detallada para DOMjudge

Abstract

DOMfeed es una aplicación web que ofrece retroalimentación a los participantes de unconcurso de programación que se lleve a cabo mediante el sistema DOMjudge. DOMjudge no ofrece la posibilidad de mostrar qué casos de prueba de un problema han fallado, ya que únicamente informa al usuario de si una solución es válida o no. En DOMfeed, sin embargo, para cada entrega inválida por parte de un usuario se muestra el caso de prueba erróneo. De esta forma, el usuario podrá agilizar el proceso de depuración de su solución. No obstante, el administrador del concurso deberá describir el formato de los ficheros de entrada y salida para que se almacenen en la base de datos de DOMfeed. Para ello definimos un lenguaje de especificaciones que permite, dado un problema, determinar cómo separar los casos de prueba en la entrada y la salida del mismo.DOMfeed is a web application that provides feedback to the participants of a programming contest conducted using the DOMjudge system. DOMjudge does not offer the possibility to show which test cases of a problem have failed, as it only informs the user whether a solution is valid or not. In DOMfeed, however, for each invalid submission by a user, the wrong test case is displayed. In this way, the user can speed up the debugging process of their solution. However, the contest administrator must describe the format of the input and output files to be stored in the DOMfeed database. For this purpose, we define a specification language that allows, given a problem, to determine how to separate the test cases in the input and output of the problem.