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.

Publisher: Springer


Metrics



Back to previous page
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},
	doi = {10.1007/978-3-540-71876-5},
	year = {2007}
}