Mostra el registre d'ítem simple
Automatización de la corrección de prácticas de programación a través del compilador Clang
dc.contributor.author | Delgado-Pérez, Pedro |
dc.contributor.author | Medina-Bulo, Inmaculada |
dc.date.accessioned | 2015-10-27T08:41:42Z |
dc.date.available | 2015-10-27T08:41:42Z |
dc.date.issued | 2015-07-08 |
dc.identifier.citation | Delgado-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.isbn | 978-99920-70-10-9 |
dc.identifier.uri | http://hdl.handle.net/2117/78301 |
dc.description.abstract | El 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.abstract | The 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.extent | 8 p. |
dc.language.iso | spa |
dc.publisher | Universitat Oberta La Salle |
dc.relation.ispartof | Jornadas de Enseñanza Universitaria de la Informática (21es: 2015 : Andorra la Vella) |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://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.lcsh | Computer science -- Study and teaching |
dc.subject.lcsh | Programming languages (Electronic computers) -- Study and teaching |
dc.subject.other | Programación |
dc.subject.other | C++ |
dc.subject.other | Corrección de prácticas |
dc.subject.other | Arbol de sintaxis abstracta |
dc.subject.other | Compilador, prueba de mutaciones |
dc.title | Automatización de la corrección de prácticas de programación a través del compilador Clang |
dc.type | Conference report |
dc.subject.lemac | Informàtica -- Ensenyament |
dc.subject.lemac | Llenguatges de programació -- Ensenyament |
dc.identifier.dl | DL: AND.92-2015 |
dc.rights.access | Open Access |
local.citation.contributor | JENUI 2015 |
local.citation.pubplace | Andorra la Vella |
local.citation.publicationName | Actas de las XXI Jornadas de la Enseñanza Universitaria de la Informática |
local.citation.startingPage | 311 |
local.citation.endingPage | 318 |
local.citation.edition | Universitat Oberta La Salle |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
JENUI 2015 [45]
Andorra la Vella, 8-10 julio de 2015