Lecture Notes in Computer Science 3472

14 Tools for Test Case Generation
Axel Belinfante1 , Lars Frantzen2∗, and Christian Schallhart3 1
Department of Computer Science
University of Twente
Axel.Belinfante@cs.utwente.nl
2
Nijmegen Institute for Computing and Information Sciences (NIII)
Radboud University Nijmegen
lf@cs.kun.nl
3
Institut für Informatik
Technische Universität München
schallha@cs.tum.edu
14.1 Introduction
The preceding parts of this book have mainly dealt with test theory, aimed at
improving the practical techniques which are applied by testers to enhance the
quality of soft- and hardware systems. Only if these academic results can be
efficiently and successfully transferred back to practice, they were worth the
effort.
In this chapter we will present a selection of model-based test tools which
are (partly) based on the theory discussed so far. After a general introduction of
every single tool we will hint at some papers which try to find a fair comparison
of some of them.
Any selection of tools must be incomplete and might be biased by the background
of the authors. We tried to select tools which represent a broad spectrum
of different approaches. Also, to provide some insight into recent developments,
new tools such as AsmL and AGEDIS have been added. Therefore, the tools
differ a lot with respect to theoretical foundation, age, and availability. Due to
commercial restrictions, only limited information was available on the theoretical
basis of some of the tools. For the same reason, it was not always possible to
obtain hands-on experience.
Relation to Theory
The preceding chapters of this book discuss theory for model-based testing. One
could raise the question: what does all this theory bring us, when we want to
make (or use) model-based testing tools? A possible answer could be that theory
allows us to put different tools into perspective and to reason about them.
The formal framework described elsewhere in this book in the introduction to
Part II (page 113) allows to reason about, and classify, all model-based testing
∗
Lars Frantzen is supported by the Netherlands Organisation for Scientific Research
(NWO) under project: STRESS – Systematic Testing of Realtime Embedded Software
Systems.
M. Broy et al. (Eds.): Model-Based Testing of Reactive Systems, LNCS 3472, pp. 391-438, 2005.
© Springer-Verlag Berlin Heidelberg 2005