Automatización de la Corrección de Prácticas de Programación a través del Compilador Clang

• Pedro Delgado-Pérez ^[1] ; Inmaculada Medina-Bulo ^[1]
  1. [1] Universidad de Cádiz

     Universidad de Cádiz

     Cádiz, España

     
• Localización: Actas del simposio-taller sobre estrategias y herramientas para el aprendizaje y la evaluación: JENUI 2015 : Andorra La Vella, 7 de julio de 2015 / coord. por Xavier Canaleta , August Climent i Ferrer , Lluís Vicent Safont , 2015, ISBN 978-99920-70-09-3
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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ñosse ha avanzado en este aspecto hacia la automatizaciónde la evaluación de las entregas de los alumnos, lo cualviene a mejorar tanto el aprendizaje del alumno comolas 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 proporcionaruna 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 queconciencie a los alumnos de la importancia de diseñarun conjunto completo de casos de prueba para probarsus programas.

  • English

    The process of correction of exercises for the teachingof 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 solutionsprovided by the students. This support aims to improveboth the learning of students and the work of lecturers.However, one of the main drawbacks to achieve thisgoal is the limitation in the static analysis of the code tocheck the fulfilment of certain requirements. This paper shows how using Clang, a full-fledged open-sourcecompiler, can provide a greater capacity for analysisthrough 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.