TeStor: deriving test sequences from model-based specifications (Articolo in rivista)

Type
Label
  • TeStor: deriving test sequences from model-based specifications (Articolo in rivista) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • Pelliccione P.; Muccini H.; Bucchiarone A.; Facchini F. (2005)
    TeStor: deriving test sequences from model-based specifications
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pelliccione P.; Muccini H.; Bucchiarone A.; Facchini F. (literal)
Pagina inizio
  • 267 (literal)
Pagina fine
  • 282 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • 8th Component-Based Software Engineering - CBSE 2005 (St. Louis, MO, U.S.A., May 14-15, 2005). Proceedings. George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, et al. (eds.). Springer-Verlag, 2005. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • TeStor: deriving test sequences from model-based specifications (literal)
Abstract
  • The dependability analysis of a component-based system may be driven by the components/system implementation or by the model-based specification provided prior to or together with the implementation. In particular, model-based testing allows to derive test cases from the model and to successively run them on the system implementation. Several techniques have been proposed so far to allow model-based testing. However, almost none of them show certain characteristics which are peculiar for use in industrial contexts. We here describe TGE, the Test Generation Engine, an algorithm which allows to extract test cases from both state machine and scenario diagrams. We detail the algorithm, we apply it to a system study and we provide a link on its implementation. (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


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