VIII Jornadas de Enseñanza Universitaria de la Informática Cáceres ...

Como se ha mencionado, el sistema desarrolladodebe ceñirse a su incorporación en un sistemaexistente. En la actualidad, se utiliza el sistemaWebCT, pero es necesario tener en cuenta laposible utilización de otros estándares deenseñanza a distancia. Existen numerosaspropuestas de estandarización de material deenseñanza a distancia [1, 13, 14] que debentenerse en cuenta en la elaboración de materialdocente.4.10. Evaluación automática del trabajo delalumno.Sin duda alguna, la evaluación representa unpunto clave del proceso de enseñanza-aprendizaje;para los maestros, este proceso de calificar untrabajo o bien un examen, en donde no existe unarespuesta concreta es una tarea ardua cuyacomplejidad aumenta en relación con el númerode alumnos a los que se desea evaluar.De forma particular, los profesores delenguajes de programación, tienen un gran retotratando de asignar una nota cuyo valor reflejerealmente la cantidad y calidad de losconocimientos adquiridos por el alumno durante elcurso.Llevar a cabo lo anterior de maneraautomática, es quizás, la parte más difícil deimplementar. Teniendo en cuenta que la mayoríade las pruebas que se realizarán en este cursoserán del tipo de construir un programa, eldominio de las respuestas que puede considerarsecorrectas resulta infinito. Una posibilidad teóricasería la utilización de sistemas de interpretaciónabstracta [15] que analicen ciertas componentes delos programas elaborados por los estudiantes, sinnecesidad de ejecutarlos. Sin embargo, este tipode análisis requiere un estudio de la semánticadinámica de los lenguajes implicados y en laactualidad sólo podría aplicarse a subconjuntos dedichos lenguajes. Este estudio semántico ha sidorealizado de una forma modular en [16] y seconsidera una futura línea de investigación.De una forma más pragmática, la evaluaciónde ejercicios de programación de formaautomática se ha realizado en [18]. En el proyectoIDEFIX, se desarrollará un sistema basado en laespecificación, para cada ejercicio deprogramación, de un conjunto de pruebas querelacionan los datos de entrada con la respuesta aobtener. Algunas de estas pruebas serán visibles alos estudiantes, para que puedan validar ellosmismos sus programas. Otras pruebas seránocultas, para evitar posibles trampas y permitiruna evaluación automática. De la misma forma, seincorporará un sistema de chequeo automático deposibles copias o plagios.5. Arquitectura del Sistema.La arquitectura del sistema se presenta en la figura2. Se mantienen los nombres en inglés de losdiversos componentes para facilitar sureconocimiento en la implementación real. Losprincipales componentes son:• Problem Manager: Forma el núcleo delsistema. Se comunica a través de Internet conlos usuarios (alumnos, profesores yadministradores) y gestiona la realización delos problemas de programación en losdiferentes intérpretes y máquinas. Para ello,se crean diferentes procesos para la ejecuciónde cada problema utilizando un protocolo decomunicación con dichos procesos.• X Wrapper: Encapsula la funcionalidadmínima de un intérprete genérico. Dichafuncionalidad viene dada por primitivas deltipo: load (carga un programa), execute(ejecuta un programa), add (añade uncomponente a un programa), abort (aborta laejecución de un programa), etc. Seimplementará un wrapper por cada uno de loslenguajes de programación que deseenincorporarse al sistema. En la actualidad secontempla la incorporación de los lenguajesHaskell y Prolog.• Machine (EXE): El protocolo decomunicaciones con el problem managertambién admite la ejecución de programasejecutables distribuidos (componenteMachine) que forman uno de los requisitospara impartir la asignatura de SistemasDistribuidos.• Web based IDE: Se encarga del interfaz deusuario y de la creación de un entorno dedesarrollo amigable. El entorno se adaptará alas necesidades específicas de los usuarios.• Collaborative Programmer Assistant: Seencarga de la creación de un sistema de