This book gives a realistic overview of model-based testing, its values and prerequisites for success when deploying the approach in a software testing industrialization perspective. The text shows how to save time and lower costs while raising quality in the phases of system testing, acceptance testing and, more generally, all functional testing phases. Key features: * Details the key role of model-based testing to ensure continuity in the software testing industrialization process, describing how each step could be implemented. * Uses detailed examples the actiTIME application to teach techniques of model-based testing, including modeling guidelines, test generation strategies and automated test execution. * Offers a companion website which makes available machine-readable versions of case studies and examples used in the book, as well as presentation slides.
