Petiana: Maruscia Baklizky
Orientador: Prof. Dr. Marcos Lordello Chaim
Teste e depuração de programas são duas atividades custosas do processo desenvolvimento e manutenção de software. Dados recentes indicam que 70 a 80% do tempo dos engenheiros de software americanos é gasto testando e depurando programas. Neste contexto é essencial o desenvolvimento de ferramentas de teste e depuração de programas de maneira rápida e econômica. Porém, o que se observa é que muito esforço é gasto codificando-se repetidamente módulos que reaparecem em diversas ferramentas de teste e depuração.
O objetivo desse projeto é facilitar o desenvolvimento rápido e econômico de ferramentas de teste de integração e depuração. A ideia é desenvolver modelos para padronizar a troca de informações utilizadas para apoiar o teste de integração e depuração. Em particular este projeto visa à criação de modelos para duas representações de programas utilizadas no teste de integração e depuração, a saber, grafo definição/uso inter-procedimental (grafo def/uso inter) e grafo de dependência de programas (GDP). Além disso, pretende-se desenvolver uma biblioteca para leitura, escrita e manipulação de grafos def/uso inter e GDPs.
