Skip to main content

Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.

Save up to 30% on print and eBooks.

Practical Model-Based Testing

A Tools Approach

  • 1st Edition - November 27, 2006
  • Authors: Mark Utting, Bruno Legeard
  • Language: English
  • Hardback ISBN:
    9 7 8 - 0 - 1 2 - 3 7 2 5 0 1 - 1
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 4 6 6 4 8 - 4

Practical Model-Based Testing gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to… Read more

Practical Model-Based Testing

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Institutional subscription on ScienceDirect

Request a sales quote

Practical Model-Based Testing gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish 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 covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded 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 typical 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

How to use a variety of test selection criteria to control the tests that are generated from your models

How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments