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

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

Full description

Bibliographic Details
Main Author: Ivan Gustavo Franchin
Other Authors: Paulo Cesar Masiero
Language:Portuguese
Published: Universidade de São Paulo 2007
Subjects:
Online Access:http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30052007-005908/
id ndltd-IBICT-oai-teses.usp.br-tde-30052007-005908
record_format oai_dc
spelling ndltd-IBICT-oai-teses.usp.br-tde-30052007-0059082019-01-22T00:36:03Z Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização Pairwise integration structural testing of object- and aspect-oriented programs: criteria and automation Ivan Gustavo Franchin Paulo Cesar Masiero Marcos Lordello Chaim José Carlos Maldonado Programação orientada a aspectos Programação orientada a objetos Teste de integração Teste de programas orientados a aspectos Teste de programas orientados a objetos Teste de software Teste estrutral Aspect-oriented programming Integration testing Object-oriented programmin Software testing Structural testing Testing aspect-oriented programs Testing object-oriented programs Uma 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-a-par envolve testar a interação entre os seguintes pares de unidades: método-mé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 A pairwise integration structural testing approach for OO and AO programs implemented with Java and AspectJ is presented. The purpose of this approach is to find faults that may exist in the interface between the pairs of units that relate in a program. For OO programs this type of testing involves testing the interaction among pair of methods. For AO programs, the pairwise integration structural testing involves testing the interaction among the following pairs of units: method-method, method-advice, advice-method and advice-advice. To perform the pairwise integration structural testing, all the execution flow (control and data flow) that happens between the caller and the called unit must be considered. For this, it is defined the PairWise Def-Use graph (PWDU) that is an abstraction formed by the integration of the Aspect-Oriented Def-Use (AODU) graphs of the caller and called unit. Additionally, three new criteria to derive test requirements for pairs of units are proposed. Amongst them, two criteria are based on control flow: all-integrated-nodes and all-integrated-edges; and one criterion is based on data flow: all-integrated-uses. A tool that supports unit structural testing of OO and AO programs implemented with Java and AspectJ, called JaBUTi/AJ, was extended in order to support the proposed integration testing approach. Examples are discussed in order to explain the application of the approach 2007-04-19 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30052007-005908/ por info:eu-repo/semantics/openAccess Universidade de São Paulo Ciências da Computação e Matemática Computacional USP BR reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo instacron:USP
collection NDLTD
language Portuguese
sources NDLTD
topic Programação orientada a aspectos
Programação orientada a objetos
Teste de integração
Teste de programas orientados a aspectos
Teste de programas orientados a objetos
Teste de software
Teste estrutral
Aspect-oriented programming
Integration testing
Object-oriented programmin
Software testing
Structural testing
Testing aspect-oriented programs
Testing object-oriented programs
spellingShingle Programação orientada a aspectos
Programação orientada a objetos
Teste de integração
Teste de programas orientados a aspectos
Teste de programas orientados a objetos
Teste de software
Teste estrutral
Aspect-oriented programming
Integration testing
Object-oriented programmin
Software testing
Structural testing
Testing aspect-oriented programs
Testing object-oriented programs
Ivan Gustavo Franchin
Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
description Uma 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-a-par envolve testar a interação entre os seguintes pares de unidades: método-mé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 === A pairwise integration structural testing approach for OO and AO programs implemented with Java and AspectJ is presented. The purpose of this approach is to find faults that may exist in the interface between the pairs of units that relate in a program. For OO programs this type of testing involves testing the interaction among pair of methods. For AO programs, the pairwise integration structural testing involves testing the interaction among the following pairs of units: method-method, method-advice, advice-method and advice-advice. To perform the pairwise integration structural testing, all the execution flow (control and data flow) that happens between the caller and the called unit must be considered. For this, it is defined the PairWise Def-Use graph (PWDU) that is an abstraction formed by the integration of the Aspect-Oriented Def-Use (AODU) graphs of the caller and called unit. Additionally, three new criteria to derive test requirements for pairs of units are proposed. Amongst them, two criteria are based on control flow: all-integrated-nodes and all-integrated-edges; and one criterion is based on data flow: all-integrated-uses. A tool that supports unit structural testing of OO and AO programs implemented with Java and AspectJ, called JaBUTi/AJ, was extended in order to support the proposed integration testing approach. Examples are discussed in order to explain the application of the approach
author2 Paulo Cesar Masiero
author_facet Paulo Cesar Masiero
Ivan Gustavo Franchin
author Ivan Gustavo Franchin
author_sort Ivan Gustavo Franchin
title Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
title_short Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
title_full Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
title_fullStr Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
title_full_unstemmed Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
title_sort teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização
publisher Universidade de São Paulo
publishDate 2007
url http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30052007-005908/
work_keys_str_mv AT ivangustavofranchin testeestruturaldeintegracaoparapardeprogramasorientadosaobjetoseaaspectoscriterioseautomatizacao
AT ivangustavofranchin pairwiseintegrationstructuraltestingofobjectandaspectorientedprogramscriteriaandautomation
_version_ 1718924020314800128