Advanced search
Start date
Betweenand


Structural test of exception handling on AO programs: representation, criteria and evaluation

Full text
Author(s):
Luciano Augusto Fernandes Carvalho
Total Authors: 1
Document type: Master's Dissertation
Press: São Carlos.
Institution: Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB)
Defense date:
Examining board members:
Paulo Cesar Masiero; Roberta de Souza Coelho; Fabiano Cutigi Ferrari
Advisor: Paulo Cesar Masiero
Abstract

Exception handling mechanisms available in object-oriented languages have become increasingly used and account for about 8% of the lines of code in modern programs according to some empirical researches. Yet, this mechanism is among the least understood by programmers and the less tested. The difficulty of testing exceptions increases in the phase of integration testing (e.g. inter-class testing) because exceptions raised on a certain level and not handled can flow through the call hierarchy. Using aspects also cause other types of errors, e.g. an advice can insert exceptions not foreseen by the base program. This paper presents a proposal for structural integration testing of exception flows of Java and AspectJ programs. This is done by proposing changes to the classic control ow graph and by proposing new criteria based on the exception ow. Moreover, these proposals have been implemented in a tool named JaBUTi/AJ. To evaluate the proposal of this work, a case study and a formal experiment have been conducted. The case study had the objective of validating the JaBUTi/AJ extension developed and making a preliminary assessment of the cost to use the tool. The formal experiment made a comparison between the tools JaBUTi/AJ and VITTAE in the context of exception flow test. Both studies are presented and discussed in this dissertation (AU)

FAPESP's process: 11/04306-1 - Structural integration testing of object-oriented and aspect-oriented programs: consolidation and evaluation
Grantee:Luciano Augusto Fernandes Carvalho
Support Opportunities: Scholarships in Brazil - Master