Document - Architectural verification of black-box component-based systems

2007

Conference article Restricted

Architectural verification of black-box component-based systems

Bertolino A., Muccini H., Polini A.

Architectural verification Monitoring Component-based Systems Model checking

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.

Source: RISE 2006 Third International Workshop, pp. 98–113, Geneva, Switzerland, 13-15 September 2006

Publisher: Springer, Berlin Heidelberg, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:43970,
	title = {Architectural verification of black-box component-based systems},
	author = {Bertolino A. and Muccini H. and Polini A.},
	publisher = {Springer, Berlin Heidelberg, DEU},
	doi = {10.1007/978-3-540-71876-5},
	booktitle = {RISE 2006 Third International Workshop, pp. 98–113, Geneva, Switzerland, 13-15 September 2006},
	year = {2007}
}