On-the-Fly Conformance Testing using Spin
de Vries, R.G. and Tretmans, G.J. (1998) On-the-Fly Conformance Testing using Spin. In: Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, November 2, 1998, Paris, France.
Restricted to UT campus only: Request a copy
|Abstract:||In this paper we report about the construction of a tool for conformance testing based|
on Spin. The Spin tool has been adapted such it can derive test primitives from systems
described in Promela. These primitives support the on-the-fly conformance testing process.
Traditional derivation of tests from formal specifications suffers from the state-space explosion
problem and from complexity. Spin is one of the most advanced model checkers with
respect to handling large state spaces. This advantage of Spin has been used for the derivation
of test primitives from a Promela description.
To reduce the state space, we introduce the on-the-fly testing framework. Within this
framework the Primer is distinguished. This Primer derives test primitives from a model of
a system according to a well defined and complete testing theory. Algorithms are presented
which enable us to derive test primitives from a Promela description. These algorithms have
been implemented in the adapted version of the Spin tool which acts as the Primer in the
framework. As a result of this prototype study it is concluded that it is in principle possible
to derive these primitives automatically from Promela descriptions, and to perform testing.
|Item Type:||Conference or Workshop Item|
Electrical Engineering, Mathematics and Computer Science (EEMCS)
|Link to this item:||http://purl.utwente.nl/publications/63293|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page