1 / 7

Progetto "Quality and Validation of Software Architectures"

The project aims to provide rigorous approaches for assessing, analyzing, and testing complex systems based on the notion of Software Architectures (SA). The goal is to develop cost-effective methods and tools usable in an industrial context, such as UML, and to bring state-of-the-art concepts and techniques to state-of-practice through technology transfer. The project focuses on integration testing and software architecture, emphasizing the testing of interactions between system components at an appropriate level of abstraction. It involves both top-down formal descriptions of SA based on LTS and bottom-up UML-based approaches. The project also includes activities for automated derivation of test cases, the development of a COW-Suite toolkit, and the study of the mutual relationships between SA and underlying middleware. The project team includes Francesca Basanieri, Eda Marchetti, Andrea Polini, Antonia Bertolino, Alberto Ribolini, Gaetano Lombardi, Giovanni Nucera, Raffaela Mirandola, Paola Inverardi, and Henry Muccini.

dtirado
Download Presentation

Progetto "Quality and Validation of Software Architectures"

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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. Integration Testing + Software Architecture = Integration Testing • Testing interactions (only) between system components (processes, packages, subsystems...) at an appropriate level of abstraction • SA = Structure + Behavior (statics) & (dynamics) Architecture-based Testing

  4. “Top-down” Formal description of SA Based on the LTS “Bottom-up” UML-based, from ERI Case-studies Activities • Automated derivation of test cases for integration and system test • 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 Staff (or old?) Antonia Bertolino, Alberto Ribolini - IEI Gaetano Lombardi, Giovanni Nucera - ERI Ext. Coll. Raffaela Mirandola, Paola Inverardi, Henry Muccini

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

More Related