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

Resumen

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.