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

Resumo

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.