Access Restriction

Author Bertolino, Antonia ♦ Nazionale, Consiglio
Source CiteSeerX
Content type Text
Publisher IEEE Computer Society
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Complex System ♦ Unit Testing ♦ Software Architecture ♦ Reduced Graph ♦ Formal Base ♦ Possible Behaviour ♦ Cham Formalism ♦ Formal Architectural Description ♦ Interesting Quot ♦ Right Level ♦ Architectural Description ♦ Suitable Set ♦ Integration Testing ♦ Integration Test ♦ Data Flow Graph ♦ Comprehensive Model ♦ Integration Test Strategy ♦ Formal Description ♦ Specific Architectural Property ♦ Coverage Strategy
Description 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 information about 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 the system. 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, we then identify a suitable set of reduced graphs, each highlighting specific architectural properties of the system. These reduced graphs can be used for the generation of integration tests according to a coverage strategy, analogously to what happens with the control and data flow graphs in unit testing. 1
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1997-01-01
Publisher Institution In Proceedings of the IEEE ICECCS97