Progetto Quality and Validation of Software Architectures Resp

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

Project Goals l 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) l Scaling-up academic results and technology transfer of concepts & techniques (bring state-of-art to state-ofpractice)

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

Activities l Automated derivation of test cases for integration and system test “Top-down” Formal description of SA Based on the LTS l l “Bottom-up” UML-based, from ERI Casestudies COW-Test, UIT => COW-Suite Distributed SAs (Middleware, Componentbased approach)

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

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

Milestones l Mid-2000: Start project for UML-based test l Oct 00: Checkpoint with ERI of Method UIT -> need for strategy to manage tests l ~Dec 00: Conceived Method COW Tool COW-Suite started l Jan 01: Andrea’s Ph. D starts Planned. . . June: UIT part of COW-Suite ready preliminary workplan for SA&Middlew By the end of the year: complete COW-Suite prototype released