Depuração de programas baseada em modelos: uma abordagem hierárquica

-----------------------------------------------------------------------------

Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------

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.


--
 Marcelo Finger
 Departamento de Ciencia da Computacao
 Instituto de Matematica e Estatistica | home page:
 Universidade de Sao Paulo             |   www.ime.usp.br/~mfinger
 Rua do Matao, 1010                    | Tel: +55 11 3091 6310, 3091 6135
 05508-090    Sao Paulo, SP     Brazil | Fax: +55 11 3091 6134, 3814 4135