Título: Depuração de programas baseada em modelos: uma abordagem hierárquica
Palestrante:  Wellington Pinheiro

Data:   20/10/2008, 14h30
Local:  Sala 03B, IME-USP

Resumo:

Diagnóstico baseado em modelos (Model based diagnosis - MBD) é uma técnica
de Inteligência Artificial usada para encontrar componentes falhos em
dispositivos físicos (sistemas). MBD também tem sido utilizado para auxiliar
programadores experientes a encontrarem falhas em seus programas, sendo essa
técnica chamada de depuração de programas baseada em modelos (Model
based software debugging - MBSD). Embora o MBSD possa auxiliar programadores
experientes a entenderem e corrigirem seus erros, essa abordagem precisa ser
aprimorada para aprendizes de programação.

Nesse seminário, mostraremos uma proposta de uso da técnica de diagnóstico
hierárquico para dar suporte a aprendizes de programação explorando a idéia de
componentes abstratos, tais como: padrões elementares, funções e
procedimentos. Com a utilização de uma abordagem de diagnóstico hierárquico,
será possível encontrar falhas no programa do aluno em diversos níveis de
abstração. Com isso, espera-se que o aluno seja capaz de compreender a origem
de seus erros e aprender durante esse processo.