A taxonomy of model-based testing approaches

• Published in: Software testing, verification & reliability Vol. 22; no. 5; pp. 297 - 312
• Main Authors: Utting, Mark, Pretschner, Alexander, Legeard, Bruno
• Format: Journal Article
• Language: English
• Published: Chichester, UK John Wiley & Sons, Ltd 01.08.2012; Wiley
• Subjects: Analogies; Classification; Computer programs; Computer Science; Mathematical models; model-based testing approaches; Modeling and Simulation; Software; Software Engineering; Software reliability; survey; Taxonomy
• ISSN: 0960-0833; 1099-1689
• DOI: 10.1002/stvr.456

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. 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 the MBT and defines a taxonomy that covers the key aspects of the MBT approaches. It is intended to help in understanding the characteristics, similarities and differences of those approaches, and in classifying the approach used in a particular MBT tool. Copyright © 2011 John Wiley & Sons, Ltd.