Architectural verification of black-box component-based systems

Authors:
Antonia Bertolino;Henry Muccini;Andrea Polini
Affiliations:
Istituto di Scienza e Tecnologie della Informazione "Alessandro Faedo", Consiglio Nazionale delle Ricerche, Pisa, Italy;Dipartimento di Informatica, University of L'Aquila, L'Aquila, Italy;Istituto di Scienza e Tecnologie della Informazione "Alessandro Faedo", Consiglio Nazionale delle Ricerche, Pisa, Italy
Venue:
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Year:
2006

Citing 12
Cited 2

A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Software architecture: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Building Reliable Component-Based Software Systems

Building Reliable Component-Based Software Systems
Behaviour Analysis of Software Architectures

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language

Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Using Software Architecture for Code Testing

IEEE Transactions on Software Engineering
Profiling Deployed Software: Assessing Strategies and Testing Opportunities

IEEE Transactions on Software Engineering
Behavior Capture and Test: Automated Analysis of Component Integration

ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
CHARMY: an extensible tool for architectural analysis

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects

Proceedings of the 2006 international symposium on Software testing and analysis
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual

Modular System Verification by Inference, Testing and Reachability Analysis

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Monitoring architectural properties in dynamic component-based systems

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce an original approach, which combines monitoring and model checking techniques into a comprehensive methodology for the architectural verification of Component-based systems. The approach works by first capturing the traces of execution via the instrumented middleware; then, the observed traces are reverse engineered into Message Sequence Charts, which are then checked for compliance to the Component-based Software Architecture, using a model checker. The methodology has been conceived for being applied indifferently for validating the system in house before deployment and for continuous validation in the field following evolution. A case study for the first case is here illustrated.