Progetto Progetto "Quality and Validation of "Quality and Validation of Software Architectures"Software Architectures"

Resp. Antonia Bertolino

Project GoalsProject 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)

Architecture-based TestingArchitecture-based Testing

Testing interactions (only) between system components (processes, packages, subsystems...) at an appropriate level of abstraction

SA = Structure + Behavior (statics) & (dynamics)

Integration TestingIntegration Testing

Integration TestingIntegration Testing + + Software Architecture = Software Architecture =

Automated derivation of test cases for integration and system test

ActivitiesActivities

“Top-down”Formal description of SABased on the LTS

“Bottom-up”

UML-based, from ERI Case-studies

COW-Test, UIT => COW-Suite Distributed SAs (Middleware, Component-

based approach)

CurrentlyCurrently

COW-suite developmentUIT 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

TeamTeam

Young

Francesca Basanieri, AR

Eda Marchetti, PhD Student

Andrea Polini, PhD Student

Antonia Bertolino, Alberto Ribolini - IEIGaetano Lombardi, Giovanni Nucera - ERI

Staff

Ext. Coll.Raffaela Mirandola, Paola Inverardi, Henry Muccini

(or old?)

MilestonesMilestones 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: Andrea’s 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...