Teste de Programas Java auxiliados por ferramentas de análise e verificação

------------------------------------------------------------------------------------------
 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
-------------------------------------------------------------------------------------------

Palestrante: Simone Hanazumi (MSc. -- IME)
Título: Teste de Programas Java auxiliados por ferramentas de análise e
verificação

Data: 18/06/09, 14:00hrs
Local: Sala 241A IME-USP

Resumo:

Testes constituem uma fase difícil e de alto custo no desenvolvimento de
software. Entretanto, apesar de sua complexidade, esta atividade se faz
extremamente necessária para garantir que o programa é robusto e, portanto,
confiável e tolerante a falhas.

Para tornar a atividade de teste mais viável, torna-se necessário o emprego
de ferramentas que auxiliem sua realização. Uma destas ferramentas é a
OConGraX (Object Control-flow Graph with eXceptions), uma ferramenta que faz a
análise do código-fonte de um programa Java e devolve dados como a
definição e uso de objetos e exceções, bem como grafos de fluxo de
controle de objetos e exceções relativos aos programa Java recebido como
entrada. Tais dados combinados permitem que a aplicação de critérios de
testes para o paradigma de orientação a objetos ocorra de forma muito mais
rápida, diminuindo, portanto, os custos desta fase de desenvolvimento de
software.

Neste seminário, será dada uma breve explicação referente aos critérios
de testes OO utilizados como base para o desenvolvimento da ferramenta para,
em seguida, apresentar a OConGraX e suas funcionalidades. Posteriormente,
será mostrada a aplicação desta ferramenta e de ferramentas de
verificação no auxílio à análise dos programas e realização de testes
de cobertura de código.

Todos são benvindos!