UAM_Biblioteca | Unified search engine | Scientific Production Portal | UAM Research Data Repository
Universidad Autónoma de Madrid
Biblos-e Archivo
We are onFacebookCanal BiblosYouTubeTwitterPinterestWhatsappInstagram
    • español
    • English
  • English 
    • español
    • English
  • Log in
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search Biblos-e Archivo

Advanced Search

Browse

All of Biblos-e ArchivoCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsFacultiesThis CollectionBy Issue DateAuthorsTitlesSubjectsFaculties

My Account

Log inRegister

Statistics

View Usage Statistics

Help

Information about Biblos-e ArchivoI want to submit my workI want to submit my doctoral thesisFrequently Asked QuestionsCopyrightsFinancial Agencies and OA policy

UAM_Biblioteca

View Item 
  •   Biblos-e Archivo
  • 2 - Trabajos de estudiantes (tesis doctorales, TFMs, TFGs, etc.)
  • Trabajos de estudiantes (tesis doctorales, TFMs, TFGs, etc.)
  • View Item
  •   Biblos-e Archivo
  • 2 - Trabajos de estudiantes (tesis doctorales, TFMs, TFGs, etc.)
  • Trabajos de estudiantes (tesis doctorales, TFMs, TFGs, etc.)
  • View Item

Un Framework para la generación automática de ejercicios mediante técnicas de mutación

Author
Gómez Abajo, Pablountranslated
Advisor
Lara Jaramillo, Juan deuntranslated; Guerra Sánchez, Estheruntranslated
Entity
UAM. Departamento de Ingeniería Informática
Date
2016-06
Subjects
Informática
URI
http://hdl.handle.net/10486/676054

Licencia de Creative Commons
Esta obra está bajo una licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.

Abstract

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.
 
This work presents the design and development of a framework for the automatic generation of test exercises using mutation techniques, that we call Wodel-Edu. Wodel-Edu is a post-processing extension for the Domain-Specific Language (DSL) Wodel - developed by MISO group - that provides high level primitives for model mutation. We extend the DSL Wodel with new mutation primitives, new selection strategies, a registry of the applied mutations, a duplicated mutant generation control, and a verification that the generated mutants are conforming to the meta-model. We also improve Wodel with an extensible mechanism that allows applying post-processing actions to the generated mutants, and we use this feature to include the Wodel-Edu extension in the Wodel environment. Wodel-Edu is domain independent, and generates three kind of test exercises: the first one, where several diagrams are shown to the student, and he has to choose which one is correct; the second one, where just one diagram is shown to the student, and he has to choose if it is correct or not; and the third kind of exercise, where several changes, that can be applied to the diagram, are presented to the student, and he has to choose which of these changes are correct. In this work, we chose to apply Wodel-Edu to generate finite automata exercises. We also present an evaluation of the generated test application.
 
Show full item record

Files in this item

Thumbnail
Name
Gomez_Abajo_Pablo_tfm.pdf
Size
2.015Mb
Format
PDF

Refworks Export

Delicious Save this on Delicious

Google™ Scholar:Gómez Abajo, Pablo

This item appears in the following Collection(s)

  • Trabajos de estudiantes (tesis doctorales, TFMs, TFGs, etc.) [19144]

Related items

Showing items related by title, author, creator and subject.

  • Un lenguaje de dominio específico para mutación de modelos 

    Gómez Abajo, PabloAutoridad UAM
    2020-07-14
  • Generación automática de ejercicios para aplicaciones móviles 

    Rico Fernández, Andrés
    2021-07
  • Generación automática de ejercicios de apoyo al estudio de Sistemas Operativos 

    Rodríguez Shaw, María
    2021-06
All the documents from Biblos-e Archivo are protected by copyrights. Some rights reserved.
Universidad Autónoma de Madrid. Biblioteca
Contact Us | Send Feedback
We are onFacebookCanal BiblosYouTubeTwitterPinterestWhatsappInstagram
 

 

All the documents from Biblos-e Archivo are protected by copyrights. Some rights reserved.
Universidad Autónoma de Madrid. Biblioteca
Contact Us | Send Feedback
We are onFacebookCanal BiblosYouTubeTwitterPinterestWhatsappInstagram