Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização

Abstract

Ma abordagem de teste estrutural de integração par-a-par para programas OO e OA escritos em Java e AspectJ é apresentada. A finalidade dessa abordagem é descobrir defeitos que possam existir na interface entre os pares de unidades que se relacionam em um programa. Para programas OO este tipo de teste envolve testar a interação entre os pares de métodos. Já para programas OA, o teste estrutural de integração par-apar envolve testar a interação entre os seguintes pares de unidades: métodométodo, método-adendo, adendo-método e adendo-adendo. Para efetuar o teste estrutural de integração par-a-par deve-se considerar todo o fluxo de execução (fluxo de controle e de dados) que ocorre entre a unidade chamadora e a unidade chamada. Para isso é definido o grafo Def-Uso Par-a-Par (PWDU) que é uma abstração formada pela integração dos grafos Def-Uso Orientado a Aspectos (AODU) da unidade chamadora e da unidade chamada. Além disso, são propostos três critérios para derivar requisitos de teste para pares de unidades. Dentre eles, dois critérios são baseados em fluxo de controle: todos-nós-integrados e todas-arestas-integradas; e um critério é baseado em fluxo de dados: todos-usos-integrados. Uma ferramenta que apóia o teste estrutural de unidade de programas OO e OA escritos em Java e AspectJ, chamada JaBUTi/AJ, foi estendida para dar apoio à abordagem de teste de integração proposta. Exemplos de usos são discutidos para explicar a aplicação da abordagem.

Teste estrutural de integração contextual de programas orientados a objetos e a aspectos

“…Alguns pesquisadores propuseram abordagens de teste estrutural de programas OO e OA (Bernardi e Lucca, 2007;Franchin, 2007;Lemos, 2005Lemos, , 2009Neves, 2009;Zhao, 2002Zhao, , 2003, porém nota-se que o teste estrutural de integração para programas OA ainda não foi completamente explorado. Esta dissertação trata essa questão, propondo uma abordagem de teste estrutural de integração específica para programas OA.…”

“…Para dar uma ideia geral, na Tabela 4.2 são mostrados os trabalhos em que são descritos nesta seção, indicando: a técnica na qual a abordagemé baseada (Técnica); a fase de teste que a abordagemé aplicada (Fase); se a abordagem define formalmente algum critério de teste específico para programas OA (Critério); e se o trabalho apresenta alguma implementação de ferramenta de apoio (Ferramenta). Zhao, 2002) unidade N N 2 (Zhao, 2003) unidade N N 3 (Lemos, 2005) unidade S S 4 (Xie e Zhao, 2006) -S S 5 (Bernardi e Lucca, 2007) integração S S 6 (Franchin, 2007) integração S S 7 (Xu e Rountev, 2007) unidade N S 8 (Neves, 2009) integração S S 9 (Lemos, 2009) (Mortensen e Alexander, 2005) -N N 12 (Lemos et al, 2006) integração N N Estrutural e Funcional 13 (van Deursen et al, 2005) integração S N S/N = Sim/Não -= Não enfatizam Em programas orientados a aspectos, um aspecto (ou uma classe)é projetado para ser o mais independente possível do seu ambiente. Assim,é possível exercitá-los individualmente por meio de pequenos programas de teste.…”

“…Nesse contexto, o teste de unidade nãoé suficiente para dar a confiança suficiente de que o programa está correto, sendo necessário prosseguir com o teste de integração e o teste de sistema. Franchin (2007), em continuidade ao trabalho de Lemos (2005), propôs o teste de integração de pares de unidades orientadas a objetos e a aspectos. Esse trabalho foi inspirado na proposta apresentada por Vilela et al (1999), que propunha o teste par-a-par para programas procedimentais.…”

“…O adendo anterior, responsável por imprimir registros de log que contêm os números que serão calculados,é disparado nos pontos de junção selecionados pelo conjunto de junção pcLog. (Franchin, 2007). chamada ao método calcular e onde será feita a integração do grafo AODU do método calcular.…”

“…Seguindo as abordagens de teste propostas anteriormente pelo grupo de teste do autor desta dissertação, e levando em consideração os trabalhos relacionados apresentados no Capítulo 4, e definido neste capítulo um grafo de fluxo de controle e de dados para programas OO e OA, bem como tratamentos especiais dadosà construções específicas de Java e AspectJ. Baseado nesse grafo e em um modelo de fluxo de dados definido por Vincenzi e adaptado por Franchin,é definida uma família de critérios de fluxo de controle e de dados (Franchin, 2007;Vincenzi, 2004).…”