摘要：Prover feedback é uma das maneiras de informar aos estudantes sobre seu desempenho acadêmico. Fornecer feedback pode melhorar e reforçar o aprendizado dos estudantes, uma vez que detectar seus erros é o primeiro passo para corrigi-los, sendo um componente essencial no ciclo de aprendizado, proporcionando reflexão e desenvolvimento cognitivo por parte do estudante. O ensino de computação, particularmente em algoritmos e programação, requer o uso de ferramentas para a correção de uma grande quantidade de códigos-fonte produzidos pelos alunos, dada a inviabilidade de uma produção em massa de feedback manual. Neste artigo, foram analisadas ferramentas de correção automática de exercícios e foi realizado um estudo empírico, com base nos resultados dessa análise, gerando feedbacks ipsativos que permitem acompanhar e mensurar o desempenho dos estudantes, examinando-se os códigos-fonte escolhidos especificamente para este fim.
关键词：Feedback;Aprendizagem de Programação;Ferramenta de correção automática;Online Judge.
