15 Case Studies

In this chapter, we review and analyze some of the significant case studies published on the application of model-based testing. We focus on case studies done in industrial contexts in order to evaluate how model-based testing is applied in practice and how far it is applied. But we also review a few proof of concept and benchmarking case studies. We review case studies on model-based testing of processors [DBG01, SA99, FKL99], smart cards [PPS+03, CJRZ01], protocols [KVZ98, BFdV+99], Java and POSIX [FHP02]. This list is not exhaustive; but it is a good representation of the range of applications, methods and tools used in the available model-based testing case studies. There could be other case studies which we did not detect or have been published recently.

Authors and Affiliations

1. Institut für Informatik, Technische Universität München,  

   Wolfgang Prenninger

2. Department of Computer Science, University of Leicester, UK

   Mohammad El-Ramly

3. Institut für Verkehrssicherheit und Automatisierungstechnik, Technische Universität Braunschweig,  

   Marc Horstmann

Editors and Affiliations

1. Technische Universität München, Germany

   Manfred Broy

2. Dept. of Information Technology, P.O. Box 337, S-751 05, Uppsala, Sweden

   Bengt Jonsson

3. Software Modeling and Verification, RWTH Aachen University, Germany

   Joost-Pieter Katoen

4. Institute for Informatics I4, TU Munich, Boltzmannstr. 3, 85748, Garching, Germany

   Martin Leucker

5. Information Security, ETH Zürich, Switzerland

   Alexander Pretschner

Reprints and permissions

© 2005 Springer-Verlag Berlin Heidelberg

Policies and ethics