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
@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} }