A symbolic framework for model-based testing (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• A symbolic framework for model-based testing (Articolo in rivista) (literal)

Anno

• 2006-01-01T00:00:00+01:00 (literal)

Alternative label

• Frantzen L.; Tretmans J.; Willemse T. (2006)
  A symbolic framework for model-based testing
  in Lecture notes in computer science
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Frantzen L.; Tretmans J.; Willemse T. (literal)

Pagina inizio

• 40 (literal)

Pagina fine

• 54 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Formal Approaches to Software Testing and Runtime Verification. First Combined International Workshops. FATES 2006 and RV 2006 (Seattle, WA, USA, August 15-16, 2006). Revised Selected Papers. pp. 40-54. Klaus Havelund, Manuel Núñez, Grigore Rosu and Burkhart Wolff (eds.). (Lecture Notes in Computer Science, vol. 4262). Springer, 2006. (literal)

Note

• ISI Web of Science (WOS) (literal)

Titolo

• A symbolic framework for model-based testing (literal)

Abstract

• The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formalism of Labelled Transition Systems is ioco. For ioco several test generation algorithms and test tools have been built. In this paper we define a framework for the symbolic implementation relation sioco which lifts ioco to Symbolic Transition Systems. These are transition systems with an explicit notion of data and data-dependent control flow. The introduction of symbolism avoids the state-space explosion during test generation, and it preserves the information present in data definitions and constraints for use during the test selection process. We show the soundness and completeness of the symbolic notions w.r.t. their underlying Labelled Transition Systems' counterparts. (literal)

Prodotto di

• @-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.005) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Insieme di parole chiave

• Keywords of "A symbolic framework for model-based testing" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• @-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.005) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)

Insieme di parole chiave di

• Keywords of "A symbolic framework for model-based testing" (Insieme di parole chiave)