Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação (2013)
- Authors:
- Autor USP: CARVALHO, LUCIANO AUGUSTO FERNANDES - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS; SOFTWARES (TESTES); PROJETO DE SOFTWARE ORIENTADO A ASPECTO; ENGENHARIA DE SOFTWARE
- Keywords: Exception handling; Experimento formal; Formal experiment; Integration testing; Oriented programming objects/aspects; Programação orientada a objetos/aspectos; Structural testing; Teste de integração; Teste estrutural; Tratamento de exceções
- Language: Português
- Abstract: O mecanismo de tratamento de exceções disponível em linguagens orientadas a objetos está sendo cada vez mais utilizado e representa cerca de 8% das linhas de código em programas escritos com linguagens de terceira geração, de acordo com algumas pesquisas. No entanto, este mecanismo está entre os menos compreendido pelos desenvolvedores e menos testado. A dificuldade de testar exceções aumenta na fase de teste de integração, porque exceções lançadas em um determinado nível e não tratadas podem subir na hierarquia de chamada. O uso de aspectos também pode introduzir novos tipos de defeitos, como por exemplo um adendo pode inserir lançamentos de exceções no programa sem que exista algum tratamento previsto para elas. Este trabalho apresenta uma proposta para testes de integração estrutural de fluxos de exceções de programas Java e AspectJ. Isto é feito propondo-se alterações na representação do fluxo de exceção no grafo de fluxo de controle integrado e propondo-se novos critérios baseados no fluxo de exceção. Além disso, essas propostas foram implementadas e geraram uma extensão da ferramenta chamada Ja-BUTi/AJ. Para avaliar a proposta deste trabalho, um estudo de caso e um experimento formal foram conduzidos. O estudo de caso teve como objetivo validar a extensão da JaBUTi/AJ desenvolvida e fazer uma avaliação inicial do custo de aplicação dos critérios propostos. O experimento formal realizou uma comparação entre as ferramentas JaBUTi/AJ e VITTAE no contexto do teste dofluxo de exceções. Ambos os estudos são apresentados e discutidos nesta dissertação
- Imprenta:
- Publisher place: São Carlos
- Date published: 2013
- Data da defesa: 06.06.2013
-
ABNT
CARVALHO, Luciano Augusto Fernandes. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/. Acesso em: 09 jan. 2026. -
APA
Carvalho, L. A. F. (2013). Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/ -
NLM
Carvalho LAF. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação [Internet]. 2013 ;[citado 2026 jan. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/ -
Vancouver
Carvalho LAF. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação [Internet]. 2013 ;[citado 2026 jan. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
