Conference Paper

Using interfaces to support the testing of crosscutting features

DOI: 10.1145/1176617.1176723 Conference: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA
Source: DBLP


An important question in the context of software product line development is how to improve the modularization and composition of crosscutting features. However, little attention has been paid to the closely related issue of testing the crosscutting features. There is still a lack of techniques to help developers test such features. Usually, developers test the crosscutting features in combination with the affected feature, which impairs the fault diagnosis. This work proposes a verification approach for crosscutting features implemented by means of aspects and crosscutting interfaces (XPIs).

  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The goal of exception handling mechanisms is to make programs more reliable and robust. However, the integration of exception handling mechanisms with aspect-oriented languages raises unique issues. This paper presents a PhD work whose goal was to investigate such issues. The main contributions of this work were the following: (i) to perform the first exploratory study aiming at assessing the error proneness of AOP mechanisms on exception flows of programs; (ii) the development of SAFE (Static Analysis for the Flow of Exceptions), an exception-flow analysis tool for AspectJ programs; (iii) the identification of a set of bug patterns on the exception handling code of AO systems; and (iii) the definition of an approach that enables the developer to find faults on the exception handling code statically.
    Preview · Article ·