Lecture Notes in Computer Science 3472

Part IV
Tools and Case Studies
The previous parts of this book have shown how to relate models to models, and
how to relate models to actual systems running in their actual environments.
This included the theoretical background as well as pragmatic and technological
considerations when it came to reducing the number of test cases to a “sufficient”
number.
The two articles of this part are concerned with tools and case studies that
are, in a way or another, based on the observations of the previous papers. It is
concerned with both technology, as reflected in tools, and with methodology, as
reflected in a survey of a few selected real world case studies.
Overview Belinfante, Frantzen, and Schallhart provide an overview of tools for
test case generation in Chapter 14. They are structured w.r.t. the modeling
formalism. The authors take into account tools for test case generation with timesynchronous
languages, with extended finite state machines, and with labeled
transition systems. Their paper shows that there is an increasing body of tools
for automated model-based testing. While this appears very promising, of course,
existing tools are limited by the complexity of the systems for which test cases
are to be generated. The authors provide arguments for their assessment that
test case generation technology has matured to a point at which it is capable of
coping with systems that are not toy examples any more.
This claim is even strengthened by El-Ramly, Horstmann, and Prenninger
in Chapter 15. They review case studies that actually relied on abstract models
that have been successfully used for test case generation. Application domains