O Algoritmo Validador

Baseado na validação numérica apresentada na seção , implementamos no iGeom um algoritmo validador composto de quatro passos principais: transformação numérica, análise, instanciação e validação. Como apresentado na seção , para efetuar a validação é necessário que o professor anote durante a construção do gabarito quais objetos serão avaliados (objetos-resposta). Ao final de sua resolução, o aluno deve anotar quais são seus objetos-resposta, que devem ser iguais aos do gabarito em número e tipos, e depois solicita a validação⁶ da sua solução.

As listas de objetos-resposta do professor e do aluno serão os dados de entrada do validador e o resultado será um natural entre $1$ e $3$, mas este intervalo de resultados é facilmente alterável. Nas duas sub-seções seguintes detalharemos este algoritmo.