In this chapter, we present three case studies to give you an impression how model-based testing (MBT) looks like in real-life projects. All three case studies are based on true projects, even if we adapted them slightly for pedagogic reasons and to preserve confidentiality.

The MBT approaches presented here differ a lot from each other. The first case study is dedicated to enterprise IT software testing. It illustrates how MBT models help communicating with stakeholders (e.g., business analysts). We show the concept of the approach without going much into detail regarding the technical realization. The second case study presents an MBT approach for tool validation in a safety critical domain. It focuses more on the modeling experience, on modeling guidelines, and on the iterative definition of test selection criteria. In the end, we generate test cases for manual test execution. The third case study illustrates an MBT approach targeting automated test execution to verify a communication interface. It shows the different activities that lead from the test basis to the generated automated test scripts including technical details how to obtain coverage.


This case study is dedicated to enterprise IT software testing. By enterprise software we mean information systems dedicated to implement business processes and business rules. Business software is found in all types of organizations and targets all industries, ...

Get Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.