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...
Main Author: | |
---|---|
Other Authors: | |
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 |