Made available in DSpace on 2014-12-17T15:48:06Z (GMT). No. of bitstreams: 1
RicardoJSJ_DISSERT.pdf: 4102063 bytes, checksum: 92b62a467283fb011a1258e8b80ca7b4 (MD5)
Previous issue date: 2013-02-01 / Checking the conformity between implementation and design rules in a system is an
important activity to try to ensure that no degradation occurs between architectural
patterns defined for the system and what is actually implemented in the source code.
Especially in the case of systems which require a high level of reliability is important to
define specific design rules for exceptional behavior. Such rules describe how
exceptions should flow through the system by defining what elements are responsible
for catching exceptions thrown by other system elements. However, current
approaches to automatically check design rules do not provide suitable mechanisms
to define and verify design rules related to the exception handling policy of
applications. This paper proposes a practical approach to preserve the exceptional
behavior of an application or family of applications, based on the definition and runtime
automatic checking of design rules for exception handling of systems developed in
Java or AspectJ. To support this approach was developed, in the context of this work,
a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that
extends the JUnit framework and allows automating test activities to exceptional
design rules. We conducted a case study with the primary objective of evaluating the
effectiveness of the proposed approach on a software product line. Besides this, an
experiment was conducted that aimed to realize a comparative analysis between the
proposed approach and an approach based on a tool called JUnitE, which also
proposes to test the exception handling code using JUnit tests. The results showed
how the exception handling design rules evolve along different versions of a system
and that VITTAE can aid in the detection of defects in exception handling code / Verificar a conformidade entre a implementa??o de um sistema e suas regras de
design ? uma atividade importante para tentar garantir que n?o ocorra a degrada??o
entre os padr?es arquiteturais definidos para o sistema e o que realmente est?
implementado no c?digo-fonte. Especialmente no caso de sistemas dos quais se
exige um alto n?vel de confiabilidade ? importante definir regras de design (design
rules) espec?ficas para o comportamento excepcional. Tais regras descrevem como
as exce??es devem fluir atrav?s do sistema, definindo quais s?o os elementos
respons?veis por capturar as exce??es lan?adas por outros elementos do sistema.
Entretanto, as abordagens atuais para verificar automaticamente regras de design
n?o proveem mecanismos adequados para definir e verificar regras de design
espec?ficas para a pol?tica de tratamento de exce??es das aplica??es. Este trabalho
prop?e uma abordagem pr?tica para preservar o comportamento excepcional de uma
aplica??o ou fam?lia de aplica??es, baseada na defini??o e verifica??o autom?tica em
tempo de execu??o de regras de design de tratamento de exce??o para sistemas
desenvolvidos em Java ou AspectJ. Para apoiar esta abordagem foi desenvolvida, no
contexto deste trabalho, uma ferramenta chamada VITTAE (Verification and
Information Tool to Analyze Exceptions) que estende o framework JUnit e permite
automatizar atividades do teste de regras de design excepcionais. Foi realizado um
estudo de caso preliminar com o objetivo de avaliar a efic?cia da abordagem proposta
sobre uma linha de produto de software. Al?m deste, foi realizado um experimento
cujo objetivo foi realizar uma an?lise comparativa entre a abordagem proposta e uma
abordagem baseada na ferramenta JUnitE, que tamb?m prop?e testar o c?digo de
tratamento de exce??es utilizando testes JUnit. Os resultados mostraram que as
regras de design excepcionais evoluem ao longo de diferentes vers?es de um sistema
e que a VITTAE pode auxiliar na detec??o de defeitos no c?digo de tratamento de
exce??o
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufrn.br:123456789/18076 |
| Date | 01 February 2013 |
| Creators | Sales Junior, Ricardo Jos? |
| Contributors | CPF:02727172400, http://lattes.cnpq.br/9854634275938452, Lima Filho, Fernando Jos? Castor de, CPF:02607070406, http://lattes.cnpq.br/7310046838140771, Cacho, Nelio Alessandro Azevedo, CPF:03038841420, http://lattes.cnpq.br/4635320220484649, Coelho, Roberta de Souza |
| Publisher | Universidade Federal do Rio Grande do Norte, Programa de P?s-Gradua??o em Sistemas e Computa??o, UFRN, BR, Ci?ncia da Computa??o |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Repositório Institucional da UFRN, instname:Universidade Federal do Rio Grande do Norte, instacron:UFRN |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0019 seconds