Biblioteca CAC++ para la corrección automática de prácticas de programación en C++

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

     Universidad de Cádiz

     Cádiz, España

     
• Localización: Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 2, 2017 (Ejemplar dedicado a: Actas de las XXIII Jornadas sobre Enseñanza Universitaria de la Informática (Cáceres, 5, 6 y 7 de julio de 2017)), ISBN 978-84-697-4267-9
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    La corrección automática de prácticas de programa- ción facilita el aprendizaje y la evaluación en asigna- turas en las que se enseñan estas habilidades. El aná- lisis estático es una opción que permite detectar sobre el propio código del alumno si se cumplen ciertas con- diciones establecidas en el enunciado de las prácticas.

    No obstante, la implementación de programas de análi- sis estático es compleja ya que se requiere de un meca- nismo para analizar el código, teniendo que contemplar detalles de bajo nivel. Además, cuando las comproba- ciones que se realizan sobre el código de los alumnos se implementan para atajar casos particulares, se ha- ce difícil su reutilización. En este artículo se presenta la biblioteca CAC++, la cual ofrece un método intui- tivo para aplicar comprobaciones de manera sencilla, ya que se abstraen los detalles de implementación, pu- diendo sin embargo personalizarlas para cada práctica concreta. En este artículo se presenta su estructura y principales características así como un ejemplo de uso que permite observar el alcance de la biblioteca desa- rrollada.

  • English

    The automatic correction of programming practices facilitates learning and evaluation in subjects where these skills are taught. The static analysis is a plau- sible option that allows analyzing the source code im- plemented by students to check whether the code meets the established conditions in the practice. However, implementing static analysis programs is a complex task that requires a mechanism to anlayze the code and to handle low-level details. Moreover, reusing these programs is difficult when the verifications im- plemented in them are guided by the particularities of each specific practice. This paper presents the CAC++ library, which offers an intuitive method to apply ver- ifications in a simple way, since the library abstracts away implementation details, being still possible to tai- lor them to each practice. This paper shows the library structure and main features as well as an illustrative ex- ample that allows the teacher to observe the extent of the developed library.