Architectural verification of black-box component-based systems (Articolo in rivista)

Type
Label
  • Architectural verification of black-box component-based systems (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bertolino A.; Muccini H.; Polini A. (2007)
    Architectural verification of black-box component-based systems
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bertolino A.; Muccini H.; Polini A. (literal)
Pagina inizio
  • 98 (literal)
Pagina fine
  • 113 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 4401 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Rapid Integration of Software Engineering Techniques. pp. 98 - 113. Nicolas Guelfi and Didier Buchs (ed.). (Lecture Notes in Computer Science, vol. 4401). Springer, 2007. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Istituto di Scienza e Tecnologie della Informazione (literal)
Titolo
  • Architectural verification of black-box component-based systems (literal)
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. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it