Sciweavers

FATES
2004
Springer

Test Generation Based on Symbolic Specifications

13 years 7 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values. To implement these theories, data types which have infinite universes have to be cut down to finite variants, which are subsequently enumerated to fit in the model. This leads to an explosion of the state space. Moreover, exploiting the syntactical and/or semantical information of the involved data types is non-trivial after enumeration. To overcome these problems, we lift the family of testing relations iocoF to the level of Symbolic Transition Systems (STSs). We present an algorithm based on STSs, which generates and executes tests on-the-fly on a given system. It is sound and complete for the iocoF testing relations.
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where FATES
Authors Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
Comments (0)