Henry Muccini. Pisa, March , workshop on Architecture-based Testing: Moving Research into Practice

Transcription

1 Università degli Studi dell Aquila Henry Muccini Dipartimento di Informatica University of L Aquila - Italy henry.muccini@di.univaq.it Pisa, March , workshop on Architecture-based Testing: Moving Research into Practice

2 2 Preliminaries 1 Software/System Architecture 6 Architecture-based Testing 8 Achievements and Potential 11

3 3 SEA Group L Aquila

4 4 Research interests Analysis and Design of Software Architectures Architecture- and Model-based Testing Model-checking Architectures Architecture Description Languages Architecting Fault Tolerant Systems Other Global Software Engineering Education Coordinator of the GSEEM master programme( Model Driven Engineering

5 SOFTWARE/SYSTEMARCHITECTURE AND TESTING 5

6 6

7 7 Letusreasonaboutthe Gaudi s Sagrada Familia

8 8 Software/System Architecture Essentially, anarchitecturebringsa hugeamountof information within its description: Selected components/interfaces/connectors Distribution/Configuration of components/connectors Expected behavior Selected SA Style and constraints HW/SW/Deployment views Components Nesting and sub-systems NF attributes Architecture-leveldecisionsimpact the scalability, performance, maintainability, functioningof the produced system

9 9 Architecture-based testing wants to use architecturallyrelevantinformation fordrivinga testing campaign Conformance: totest whetherthe implementedsystem conformstothe selectedarchitectureand toitsdesign decisions Uses information brought by the architecture description for testing the implemented system Test architecturally relevant information Complementarytoimplementation-levelverificationand validation Identify architecturally relevant information

10 10 Architecture-based testing: WHY In combination with validation techniques, architecture-based testing may: Guaranteethe architecturecompliancetouserand system requirements Test whether the system (prototype) works according to its architecture Test whether the system evolves in compliance to architectural decisions(avoiding architectural drift) Re-use of architecture-level Test Cases: High reusability, since they are valid for any product produced out of the selected architecture or product family To handle complexity in the testing of large systems To share the cost of architecting

11 ACHIEVEMENTS AND POTENTIALS FOR FUTURE WORK 11

12 12 Architecture-based testing: HOW Test Case Selection Architecture-specific coverage and adequacy criteria Mostly Integration testing Testability of an Architecture Regression Testing Product Line (Architecture) Testing Combining Testing and validation techniques In red, areas I investigated in collaboration with P. Inverardi, A. Bertolino, D. Richardson, M. Dias, P. Pelliccione, A. van der Hoek, A. Bucchiarone, P. Pierini, A. Rosetti

13 13 Architecture-based IN GENERAL TERMS testing: HOW Structural Spec. Behavioral Spec Formal ADLs -UML notations 5 - Posets, pre-post conditions - Process Algebras - Labeled Transition Systems, IO Automata, IOLTS - Statechart, UML state machine

14 14 Automation: there are potentials for automating most of the test selection and test execution steps Integration: with other formal analysis techniques Model-based testing: re-use of model-based testing principles and practices Non-functional testing: for taking into account also system qualities ProductLineArchitecture-basedTesting: toscale-up the solution to families of architectures SA-based Regression Testing: to minimize the retestingcostswhenthe system or itsarchitecture, evolves

15 15 Software Architecture: Today A set of architecture design decisions taken to generate the architecture artifact Design Decisions as a driver for Architecture-based Testing Focus on set of Views and Viewpoints, looking at stakeholders and their concerns Multi-views based architectural testing, so to provide a better separation of concerns Focus on Architecture Modes Testing different Architecture Modes

16 16 This is a very brief overview on Architecturebased testing and perspectives What is certainly of paramount importance for the area are realproblems, case studies, and needs from industry Thanksforyourattentionand hopetohavea fruitful discussion

17 Università degli Studi dell Aquila Henry Muccini Dipartimento di Informatica University of L Aquila - Italy henry.muccini@di.univaq.it Pisa, March , workshop on Architecture-based Testing: Moving Research into Practice