A taxonomy of model‐based testing approaches

By Mark Utting, Alexander Pretschner, Bruno Legeard. Software testing, verification & reliability, 2012

711 citations recorded by the source corpus.

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.

Subfields: Control and Systems Engineering, Software

View Paper: https://www.semanticscholar.org/paper/062458f0b1cc57c5d96c6d79afd384e0651413fb

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Control and Systems Engineering

In Software

Citations in the corpus

The Oracle Problem in Software Testing: A Survey (2015, methodology): “in the literature [101], [109], [182], [183].”
RESTler: Stateful REST API Fuzzing (2019, methodology): “Our BFS-Fast search strategy is inspired by test generation algorithms used in model-based testing [42], whose goal is to generate a minimum number of tests covering, say, every state and transition of a ﬁnite-state machine model ( e.g., see [43]) in order to generate a test suite to check…”
Robustness Testing of Autonomy Software (2017, background): “Assuring the safe operation of critical software is not a new problem, and various techniques have been proposed to both formally verify important properties [42] and identify dangerous defects in such software.”