1. Progetto "Quality and Validation of Software Architectures" Resp. Antonia Bertolino

2. Project Goals Rigorous approaches to Assess, Analyse and Test Complex Systems –Based on the notion of SA –Cost-effective Methods and Tools usable in industrial context (UML) Scaling-up academic results and technology transfer of concepts & techniques (bring state-of-art to state-of- practice)

3. Architecture-based Testing Architecture-based Testing Testing interactions (only) between system components (processes, packages, subsystems...) at an appropriate level of abstraction SA = Structure + Behavior (statics) & (dynamics) Integration Testing Integration Testing + Software Architecture = Integration Testing + Software Architecture =

4. Automated derivation of test cases for integration and system testActivities Top-down Formal description of SA Based on the LTS Bottom-up UML-based, from ERI Case- studies COW-Test, UIT => COW-Suite Distributed SAs (Middleware, Component- based approach)

5. Currently COW-suite development UIT fine-tuning, manual application to ERI Case Study (GSM on the net) Started study of mutual relationships between SA and underlying Middleware Quantitative methods to control test phases continuously going-on

6. Team Young Francesca Basanieri, AR Eda Marchetti, PhD Student Andrea Polini, PhD Student Antonia Bertolino, Alberto Ribolini - IEI Gaetano Lombardi, Giovanni Nucera - ERI Staff Ext. Coll. Raffaela Mirandola, Paola Inverardi, Henry Muccini (or old?)

7. Milestones Mid-2000: Start project for UML-based test Oct00: Checkpoint with ERI of Method UIT -> need for strategy to manage tests ~Dec00: Conceived Method COW Tool COW-Suite started Jan01: Andreas PhD starts June: UIT part of COW-Suite ready preliminary workplan for SA&Middlew By the end of the year: complete COW-Suite prototype released Planned...