1 Corrector Automático para Taller de Programación I (75.42)
2 Universidad de Buenos Aires - Facultad de Ingeniería
4 Este programa requiere el siguiente los siguientes programas y bibliotecas:
8 * php4 PEAR DB_DataObject (1.7.2 o superior) (# pear install -a DB_DataObject)
11 * python2.4-sqlobject (0.6.2 o superior)
13 La base de datos a utilizar es a elección, pero se recomienda SQLite, con la
14 que fue desarrollado y la única probada, por lo tanto los siguientes paquetes
15 son también necesarios en condiciones normales:
16 * sqlite (para crear la base de datos y tareas de mantenimiento)
20 En el directorio /etc/sercom se encuentran los archivos de configuración,
21 debería darle una mirada antes de correr el servidor.
23 /etc/sercom/log.ini es un poco más complejo y sirve para configurar el nivel
24 de log. El formato está descripto en:
25 http://docs.python.org/lib/logging-config-fileformat.html
26 Se lo provee de una forma bastante razonable, probablemente haya que cambiar
27 la sección [handler_mail] para poner un servidor SMTP y direcciones de mail
30 Los archivos de configuración originales se encuentran en
31 /usr/share/doc/sercom/examples, por si fuera necesario recuperarlos.
33 En /var/lib/sercom están los archivos de datos del programa. Contiene:
34 - Makefile de ejemplo ('Makefile' para C y 'Makefile-cpp' para C++).
35 - Directorio 'intentos' donde los intentos de entrega que llegan por mail
36 de los alumnos. Su estructura es:
37 intentos/año.cuatrimestre/curso.ejercicio.entrega/padron.intento
38 dentro de cada directorio están los archivos fuente enviados por el alumno.
39 - Directorio 'ejercicios' donde los datos sobre los ejercicios deben ser
40 guardados, incluyendo los archivos para casos de prueba. Su estructura es:
41 ejercicios/[id]/Makefile
42 casos_de_prueba/[nombre]/{stdin}
47 [algo] significa que algo es una variable. {algo} indica que puede no existir.
48 id: es el identificador de ejercicio en la base de datos.
49 nombre: es el nombre del caso de prueba
50 stdin/stdout/stderr: es la entrada estándar, salida estándar y salida de error
51 esperada (la entrada es la que espera el programa a probar y las salidas son
52 las que espera el corrector para saber si la corrida fue correcta).
53 entradas: los 'archivo's de entradas son los archivos que espera tener
54 presente el programa para correr el caso de prueba.
55 salidas: los 'archivo's de salidas son los archivos que espera que genere (o
56 modifique si estaba presente también en entradas) el corrector y con el que
57 serán comparados dichos archivos generados para evaluar si la corrida fue
59 - Archivo de base de datos: la configuración por omisión espera la base de datos
60 en /var/lib/sercom/corrector.sqlite, con la estructura descripta en
61 /usr/share/doc/sercom/schema.sql. Para crear la base de datos vacía:
62 sqlite /var/lib/sercom/corrector.sqlite < /usr/share/doc/sercom/schema.sql
63 Pero recuerde que también habrá que cargar la base de datos con los datos
64 mínimos para que el corrector funcione (entregas, ejercicios, cursos,
65 docentes, inscriptos, casos de prueba).
67 Por omisión el programa guarda el archivo de log en /var/log/sercom.log.
69 -- Leandro Lucarella <llucare@fi.uba.ar>, sáb mar 5 22:16:29 ART 2005