Publicado mi TFM en el portal de libros de la UAM

En este trabajo se describe el diseño e implementación de un entorno que genera ejercicios tipo test de forma automática mediante técnicas de mutación, llamado Wodel-Edu. Wodel-Edu es una extensión de post-procesado para el Lenguaje de Dominio Específico (DSL) Wodel, desarrollado por el grupo MISO, y que proporciona primitivas de alto nivel para mutación de modelos. Para ello, se ha extendido el DSL Wodel con nuevas primitivas de mutación, nuevas estrategias de selección, un registro de las mutaciones aplicadas, un control de la generación de mutantes duplicados, y una comprobación de que los mutantes que se generan son modelos correctos (conformes a su meta-modelo). También se ha dotado a Wodel de un mecanismo extensible que permite registrar distintas acciones de post-procesado sobre los mutantes generados, extensión sobre la que se ha implementado el entorno Wodel-Edu. Wodel-Edu es independiente del dominio, y genera tres formatos diferentes de ejercicios tipo test: el primero, en el que se presentan varios diagramas, y el estudiante ha de decidir cuál es el correcto; el segundo, en el que se presenta un único diagrama, y el estudiante ha de decidir si es correcto, o no; el tercer formato, se presentan una serie de posibles cambios a realizar sobre el diagrama para corregirlo, y el estudiante ha de seleccionar cuáles de estos cambios son correctos. En este trabajo se ha elegido utilizar Wodel-Edu para generar ejercicios de autómatas finitos. Se presenta además una evaluación de la aplicación de ejercicios.

generada.