Using software architecture for code testing (Articolo in rivista)

Type
Label
  • Using software architecture for code testing (Articolo in rivista) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/TSE.2004.1271170 (literal)
Alternative label
  • Henry Muccini; Antonia Bertolino; Paola Inverardi (2004)
    Using software architecture for code testing
    in IEEE transactions on software engineering
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Henry Muccini; Antonia Bertolino; Paola Inverardi (literal)
Pagina inizio
  • 160 (literal)
Pagina fine
  • 171 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1271170&isnumber=28461 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 30 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Vol. 30 n.3, IEEE, 2004. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 3 (literal)
Note
  • Scopu (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Dipartimento di Informatica, Universita dell' Aquila, Via Vetoio 1, 67100 L'Aquila, Italy; Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\"; Dipartimento di Informatica, Universita dell' Aquila, Via Vetoio 1, 67100 L'Aquila, Italy (literal)
Titolo
  • Using software architecture for code testing (literal)
Abstract
  • Our research deals with the use of Software Architecture (SA) as a reference model for testing the conformance of an implemented system with respect to its architectural specification. We exploit the specification of SA dynamics to identify useful schemes of interactions between system components and to select test classes corresponding to relevant architectural behaviors. The SA dynamics is modeled by Labeled Transition Systems (LTSs). The approach consists of deriving suitable LTS abstractions called ALTSs. ALTSs o®er specific views of SA dynamics by concentrating on relevant features and abstracting away from uninteresting ones. Intuitively, deriving an adequate set of test classes entails deriving a set of paths that appropriately cover the ALTS. Next, a relation between these abstract SA tests and more concrete, executable tests needs to be established, so that the architectural tests derived can be refined into code-level tests. In the paper, we use the TRMCS case study to illustrate our hands-on experience. We discuss the insights gained and highlight some issues, problems, and solutions of general interest in architecture-based testing. (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