INES – National Institute of Science and Technology for Software Engineering

RSS feed


March 2011
« Feb   Apr »

  • INES at LADC’2011

    Publicado em March 17th, 2011Uncategorized

    INES member Fernando Castor will be presenting two papers in the Fifth Latin-American Symposium on Dependable Computing (LADC’2011), to be held in São José dos Campos, 25-29 April 2011. One of the papers will be presented in the main track of the conference, whereas the other one was accepted for presentation at the Workshop on Exception Handling in Contemporary Software Systems (EHCoS’2011). LADC is the premier conference on software dependability in Latin American. It is supported by the Brazilian Computer Society, the IEEE Computer Society and IFIP. The conference proceedings will be published by the IEEE Computer Society Press. Fernando will be presenting the papers at the conference as a member of the “Tools for the Development and Evolution of Software Product Lines” project.

    The titles and abstracts of the two papers are presented below.

    Title: Exception Handling for Service Component Architectures


    The Service Component Architecture (SCA) makes it possible to combine existing and new services based on a variety of technologies with components built using a component-based development approach. However, when asynchronous services compositions are executed, one or more errors can occur, possibly at the same time, affecting the composition’s dependability. In many cases, parts of the com- position are off-the-shelf components or Web services whose individual dependability cannot be reliably ascertained. In this paper, we propose a novel exception handling model that targets the needs of dependable SCA applications. The model is applicable to service-oriented systems and allows the creation of fault-tolerant asynchronous service compositions. We also present the EH-SCA framework, an instantiation of the proposed model implemented as an extension of the Apache Tuscany SCA infrastructure. Developers can apply this instantiation of the model to both new and existing applications by using a simple and flexible aspect-oriented programming model. Finally, a case study of the EH-SCA framework shows how it can be used to build dependable distributed applications.

    Title: Towards Agile Testing of Exceptional Behavior


    Many of the problems found in the uses of exception handling are caused by the lack of testing and a priori design of the exceptional behavior. As a consequence, exceptions flow in unforeseen ways during the execution of a software system, causing a negative impact on reliability. This paper presents a new agile approach to test the exceptional behavior of a system. It supports developers in checking whether exceptions, at runtime, travel through the expected paths. It is agile because tests are written without the need for extra documentation. We present a preliminary evaluation of the proposed approach, where it helped us to uncover four bugs in a production system, two of them previously unknown. We have implemented the proposed approach as an extension of the JUnit framework.