An approach to integration testing based on architectural descriptions

Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integration testing, since they supply informationabout how the software is structured in parts and how those parts (are expected to) interact. We propose to use formal architectural descriptions to model the “interesting" behaviour of em. This model is at a right level of abstraction to be used as a formal base on which integration test strategies can be devised. Starting from a formal description of the software architecture (given in the CHAM formalism), we first derive a graph of all the possible behaviours of the system in terms of the interactions between the components. This graph contains altogether the information we need for the planning of integration testing. On this comprehensive model, wethenidentifyasuitablesetofreducedgraphs,each highlighting specific architectural properties of the system. ...

• Type: Conference
• Year: 1997
• Where: ICECCS
• Authors: Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti
• Keywords: Formal Architectural Descriptions, Hardware, ICECCS 1997, Integration Testing, Software Architecture