Sciweavers

FATES
2006
Springer

A Symbolic Framework for Model-Based Testing

14 years 3 months ago
A Symbolic Framework for Model-Based Testing
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
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FATES
Authors Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
Comments (0)