Banca de DEFESA: DEMOSTENES SANTOS DE SENA

Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
DISCENTE : DEMOSTENES SANTOS DE SENA
DATA : 13/02/2017
HORA: 13:00
LOCAL: Auditorio B321 - IMD/CVT
TÍTULO:

An Approach to Support the Extraction, Comprehension and Checking of Exception Handling Policies

PALAVRAS-CHAVES:

exception handling, exception flow analysis, rules of exception handling, exception handling policy, static analysis

PÁGINAS: 130
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software
RESUMO:

The Exception handling (EH) mechanisms is a technique embedded in most of the mainstream programming languages to support the development of robust systems. The exception handling policy is composed by the set of exception handling design rules and which specify the elements (methods, classes and packages) responsible for raising, propagating and catching of exceptions as well as the handling actions. Historically, implementation of the exception handling code is postponed or ignored in the software process development. As a consequence, empirical studies have demonstrated that the inappropriate exception handling is a source of bug hazards. Due to the implicit nature of exception flows, the identification of exception handling code is a complex task. In order to address the problems resulting from the not-understood or inadequate exception handling, some approaches have been proposed. Some of them expose the exception flows (e.g. graphically) and others define exception handling rule languages with tool support for EH policy definition and checking. However, none of the proposed approaches provide support to the phase of exception policy definition.

This work proposes an approach helps the architect to extract the EH rules by performing an analysis on the existing code. Doing so, this approach fills a gap previous the EH policy definition, its comprehension and checking. In order to support the proposed approach, a static tool suite was developed, which performs: (i) the discovery of exception flows and its handling actions, (ii) the definition of compartments (iii) the semi-automatic rule extraction process, and (iv) the rule checking and identification of rule violation causes. This approach was performed in two empirical studies. In the first study, 656 libraries from Maven central repository were analyzed. The main goal of this study was revealed and characterized the exception handling policy of analyzed libraries. This study revealed that 80.9% of analyzed libraries have exception flows that implement at least an exceptional anti-pattern. In the second study, we investigated the benefits of rule extraction process in the understanding and the refinement of exception handling policy. Two web information systems (i.e., IProject and SIGAA) were analyzed in this second study. We found that all of extracted rules belonged in the set of rules reported by the architects and the result of extract process allowed that new rules were added to the policy. These added rules corresponded to 57.1% (IProject) and 52.8% (SIGAA/Graduação) of the rules of analyzed systems. The checking process of defined rules supported by our approach verified that 35.6% (IProject) and 45.7% (SIGAA/Graduação) of exception flows violated some defined rule.

MEMBROS DA BANCA:
Presidente - 1709820 - ROBERTA DE SOUZA COELHO
Interno - 1671962 - EDUARDO HENRIQUE DA SILVA ARANHA
Interno - 1644456 - UIRA KULESZA
Externo ao Programa - 2274774 - EIJI ADACHI MEDEIROS BARBOSA
Externo à Instituição - FRANCISCO DANTAS DE MEDEIROS NETO - UERN
Externo à Instituição - RODRIGO BONIFÁCIO DE ALMEIDA - UnB