A symbolic framework for model-based testing

L. Frantzen, J. Tretmans, T.A.C. Willemse

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

63 Citaten (Scopus)


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.
Originele taal-2Engels
TitelFormal Approaches to Testing and Runtime Verification
SubtitelFirst Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised Selected Papers
RedacteurenK. Havelund, M. Núñez, G. Rosu, B. Wolff
Plaats van productieBerlin
Aantal pagina's15
ISBN van elektronische versie978-3-540-49703-5
ISBN van geprinte versie3-540-49699-8, 978-3-540-49699-1
StatusGepubliceerd - 2006

Publicatie series

NaamLecture Notes in Computer Science (LNCS)
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349


Duik in de onderzoeksthema's van 'A symbolic framework for model-based testing'. Samen vormen ze een unieke vingerafdruk.

Citeer dit