A taxonomy of model‐based testing approaches

TLDR

Model‑based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches, aiming to help understand their characteristics, similarities, differences, and to classify the approach used in a particular MBT tool. To illustrate the taxonomy, the authors describe how three different MBT tools fit into it. © 2011 John Wiley & Sons, Ltd.

Abstract

SUMMARY Model‐based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches. It is intended to help with understanding the characteristics, similarities and differences of those approaches, and with classifying the approach used in a particular MBT tool. To illustrate the taxonomy, a description of how three different examples of MBT tools fit into the taxonomy is provided. Copyright © 2011 John Wiley & Sons, Ltd.