Autoria e Validação Automática

Baseado na dinâmica dos programas de GD e na estrutura interna do iGeom, desenvolvemos dois recursos interligados de particular utilidade ao professor. Um para criar exercícios e outro para validá-los automaticamente. No capítulo mostramos a técnica utilizada para fazer a validação automática e detalhes de implementação destes dois recursos.

Nossa implementação permite criar exercícios que podem ser executados pela Web ou no próprio aplicativo do iGeom, diferentemente do Cinderella e do C.a.R. que permitem apenas que o exercício seja executado e validados em páginas na Web. Um dos motivos desta limitação nos programas citados decorre da dificuldade em liberar/bloquear as suas ferramentas (botões). Entretanto, como o projeto inicial do iGeom já previa tal possibilidade, foi razoalmente simples implementarmos a liberação e bloqueio de botões no iGeom, seja na forma de aplicativo quanto em applet.

Utilizando o recurso de validação automática de exercícios, para cada solução considerada incorreta, encontramos uma posição da construção na qual fica claro que a solução possui algum erro. Esta configuração (instância) será chamada aqui de contra-exemplo. O uso de contra-exemplos auxilia tanto o professor para verificar o problema na construção do aluno, quanto ao próprio aluno que tem a possibilidade de visualizar seu erro.

A autoria e a validação automática, em conjunto com o recurso de exportação para Web, viabilizaram a criação de exercícios interativos que podem ser utilizados em páginas Web de livre acesso. Através deste conjunto de ferramentas o professor pode produzir um conjunto de páginas Web com diversos exercícios e oferecer aos seus alunos uma validação imediata de suas construções sem a necessidade de verificar cada construção pessoalmente.

Um exemplo prático da utilização destes recursos pode ser encontrado no iMática a partir do endereço http://www.matematica.br/igeom/docs/exemplo1/. Este é um site criado por Sandra Cairolli como trabalho final da disciplina MAC118 - Noções de ensino de matemática usando o computador, em 2004. Este trabalho possui diversas atividades (divididas em aulas, tópicos e exercícios) para ensino de Geometria (Figura ). Todas elas podem ser realizadas diretamente na Web e o resultado da validação (se está correta ou não) de cada solução é fornecida pelo iGeom após o aluno marcar sua resposta e clicar no botão de ``envio de resposta''.

Figura: Exemplo de atividade para uso via Web desenvolvida com o iGeom