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

  1. Pedro Delgado-Pérez 1
  2. Inmaculada Medina-Bulo 1
  1. 1 Universidad de Cádiz
    info

    Universidad de Cádiz

    Cádiz, España

    ROR https://ror.org/04mxxkb11

Llibre:
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
  1. Xavier Canaleta (coord.)
  2. August Climent (coord.)
  3. Lluís Vicent (coord.)

Editorial: Asociación de Enseñantes Universitarios de la Informática. AENUI

ISBN: 978-99920-70-09-3

Any de publicació: 2015

Congrés: Jornadas de Enseñanza Universitaria de la Informática (JENUI) (21. 2015. Andorra La Vella)

Tipus: Aportació congrés

Resum

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.