Purchase textbook

Practical Model-Based Testing,

Edition 1 A Tools Approach

Editors: By Mark Utting and Bruno Legeard

Publication Date: 27 Nov 2006

0 Reviews

Ways Of Reading

This e-publication is accessible to the full extent that the file format and types of content allow, on a specific reading device, by default, without necessarily including any additions such as textual descriptions of images or enhanced navigation.

Navigation

The contents of the PDF have been tagged to permit access by assistive technologies as per PDF-UA-1 standard.
Page breaks included from the original print source

Additional Accessibility Information

All (or substantially all) textual matter is arranged in a single logical reading order (including text that is visually presented as separate from the main text flow, e.g., in boxouts, captions, tables, footnotes, endnotes, citations, etc.). Non-textual content is also linked from within this logical reading order. (Purely decorative non-text content can be ignored).
The language of the text has been specified (e.g., via the HTML or XML lang attribute) to optimise text-to-speech (and other alternative renderings), both at the whole document level and, where appropriate, for individual words, phrases or passages in a different language.

Conformance

The publication was certified on 20250728
Accessibility addendum
For detailed accessibility information, see Elsevier’s website at https://www.elsevier.com/about/accessibility
For queries regarding accessibility information, contact [email protected]

Note

This product relies on 3rd party tooling which may impact the accessibility features visible in inspection copies. All accessibility features mentioned would be present in the purchased version of the title.

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

Key Features

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 different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies

About the author

By Mark Utting, The University of Waikato, New Zealand and Bruno Legeard, LEIRIOS Technologies and The University of Franche-Comté

Title Reviews

"This topic is hot...and both authors are well known experts in the community of model-based testing."—Wolfgang Grieskamp, Microsoft Research

ISBN: 9780123725011

Page Count: 456

Retail Price (USD) :

Whittaker: How to Break Software (2002; 0201796198; $35.00 / £22.99; Addison-Wesley)

All those involved in software testing activities, including software test engineers who are in charge of test case design and development, software developers who are looking for better and more automated testing methods, and project managers who lead development teams and who ensure high quality software is produced.