Mostra el registre d'ítem simple

dc.contributor.authorDelgado-Pérez, Pedro
dc.contributor.authorMedina-Bulo, Inmaculada
dc.date.accessioned2015-10-27T08:41:42Z
dc.date.available2015-10-27T08:41:42Z
dc.date.issued2015-07-08
dc.identifier.citationDelgado-Pérez, Pedro; Medina-Bulo, Inmaculada. Automatización de la corrección de prácticas de programación a través del compilador Clang. A: JENUI 2015. "Actas de las XXI Jornadas de la Enseñanza Universitaria de la Informática". Universitat Oberta La Salle ed. Andorra la Vella: Universitat Oberta La Salle, 2015, p. 311-318.
dc.identifier.isbn978-99920-70-10-9
dc.identifier.urihttp://hdl.handle.net/2117/78301
dc.description.abstractEl proceso de corrección de ejercicios para la enseñanza de lenguajes de programación se ha realizado tradicionalmente de forma manual. En los últimos años se ha avanzado en este aspecto hacia la automatización de la evaluación de las entregas de los alumnos, lo cual viene a mejorar tanto el aprendizaje del alumno como las tareas del profesor. No obstante, uno de los mayores inconvenientes para lograr este objetivo es la limitación en el análisis sintáctico del código para comprobar el cumplimiento de ciertos requisitos en el mismo. Este trabajo muestra cómo el uso de Clang, un compilador maduro de código abierto, puede proporcionar una capacidad de análisis superior mediante el recorrido por el árbol de sintaxis abstracta. Además, se plantea el uso de la prueba de mutaciones como técnica que conciencie a los alumnos de la importancia de diseñar un conjunto completo de casos de prueba para probar sus programas.
dc.description.abstractThe process of correction of exercises for the teaching of programming languages has been traditionally accomplished in a manual way. In recent years, several advances have been made regarding this aspect towards the automation of the evaluation of the solutions provided by the students. This support aims to improve both the learning of students and the work of lecturers. However, one of the main drawbacks to achieve this goal is the limitation in the static analysis of the code to check the fulfilment of certain requirements. This paper shows how using Clang, a full-fledged open-source compiler, can provide a greater capacity for analysis through the traversal of the abstract syntax tree. Moreover, the technique known as mutation testing is suggested to make students aware of the importance of designing an adequate test suite to test their applications.
dc.format.extent8 p.
dc.language.isospa
dc.publisherUniversitat Oberta La Salle
dc.relation.ispartofJornadas de Enseñanza Universitaria de la Informática (21es: 2015 : Andorra la Vella)
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subjectÀrees temàtiques de la UPC::Ensenyament i aprenentatge
dc.subject.lcshComputer science -- Study and teaching
dc.subject.lcshProgramming languages (Electronic computers) -- Study and teaching
dc.subject.otherProgramación
dc.subject.otherC++
dc.subject.otherCorrección de prácticas
dc.subject.otherArbol de sintaxis abstracta
dc.subject.otherCompilador, prueba de mutaciones
dc.titleAutomatización de la corrección de prácticas de programación a través del compilador Clang
dc.typeConference report
dc.subject.lemacInformàtica -- Ensenyament
dc.subject.lemacLlenguatges de programació -- Ensenyament
dc.identifier.dlDL: AND.92-2015
dc.rights.accessOpen Access
upcommons.citation.contributorJENUI 2015
upcommons.citation.pubplaceAndorra la Vella
upcommons.citation.publishedtrue
upcommons.citation.publicationNameActas de las XXI Jornadas de la Enseñanza Universitaria de la Informática
upcommons.citation.startingPage311
upcommons.citation.endingPage318
upcommons.citation.editionUniversitat Oberta La Salle


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

  • JENUI 2015 [45]

    Andorra la Vella, 8-10 julio de 2015

Mostra el registre d'ítem simple

Llevat que s'hi indiqui el contrari, els continguts d'aquesta obra estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya