PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., Muccini H., Polini A. Architectural verification of black-box component-based systems. Nicolas Guelfi and Didier Buchs (eds.). (Lecture Notes in Computer Science, vol. 4401). Berlin / Heidelberg: Springer, 2007.
 
 
Abstract
(English)
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.
URL: http://www.springerlink.com/content/w357373707131w51/fulltext.pdf
DOI: 10.1007/978-3-540-71876-5
Subject Architectural verification
Monitoring
Component-based Systems
Model checking
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional