Practical Model-Based Testing

This book gives a practical introduction to model-based testing, and to test models for testing purposes. It is aimed at testers and software developers who want to use model-based testing, rather than at tool-developers or academics.

The book focuses on the mainstream practice of functional black-box testing and covering different styles of models, especially transition-based models (UML) and pre-post models (UML / OCL specifications and B notation). The steps of applying model-based testing are embedded in software and information systems.

From this book you will learn:

* The basic principles and terminology of model-based testing
* How model-based testing differs from other testing processes
* How model-based testing fits into specialized software lifecycles such as agile methods and the Unified Process
* The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market
* A step-by-step process for applying model-based testing
* How to write good models for model-based testing
Tests How tests How tests the tests tests tests tests tests tests tests tests tests tests tests tests
* How model-based testing is available in the future. Mercury Test Director, Java JUnit, and proprietary test format

* Presents the basic principles and terminology of model-based testing
* Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market
* Offers guidance on how to use model-based testing techniques

1 The Challenge; 2 The Pain and the Gain; 3 A Model of your System; 4 Selecting your Tests; 5 Testing from Finite State Machines; 6 Testing from Pre / Post Models; 7 Testing from UML Models; 8 Making Tests Executable; 9 The GSM 11.11 Case Study; 10 The ATM Case Study; 11 Putting it into Practice; Appendix; index