Apoio à automatização de oráculos de teste para programas com saída gráfica

Resumo

No contexto de desenvolvimento de software, as atividades de validação, verificação e, em particular, de teste, têm recebido muita atenção por parte de desenvolvedores e, em conseqüência, de pesquisadores que procuram definir técnicas e ferramentas que permitam que tais atividades sejam executadas de maneira sistemática, com alta qualidade e custo reduzido.Neste cenário, a automatização da atividade de teste é fundamental, uma vez que sua realização manual é improdutiva e está sujeita a erros. Parte desta automatização está ligada à definição de oráculos de teste, que é o mecanismo que permite que se decida se uma execução do programa em teste está correta ou não. A automatização de oráculos de teste não é uma tarefa trivial e diversos trabalhos têm sido publicados sobre o tema. Ainda mais complicado torna-se este problema quando a decisão sobre a correção de uma execução deve levar em conta saídas não textuais como, por exemplo, uma tela de GUI (Graphical User Interface) ou um arquivo com uma imagem processada. Este trabalho busca colaborar nesse tema, procurando utilizar técnicas de Recuperação Baseada em Conteúdo (do inglês: CBIR -- Content-Based Image Retrieval) para permitir que oráculos de teste sejam definidos de forma flexível. Propõe-se ainda a criação de um protótipo de uma ferramenta que permita ao testador definir e parametrizar oráculos de teste em seu ambiente.