A taxonomy of model-based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard

Research output: Contribution to journalArticlepeer-review

492 Scopus citations


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.

Original languageEnglish
Pages (from-to)297-312
Number of pages16
JournalSoftware Testing Verification and Reliability
Issue number5
StatePublished - Aug 2012
Externally publishedYes


  • model-based testing approaches
  • survey
  • taxonomy


Dive into the research topics of 'A taxonomy of model-based testing approaches'. Together they form a unique fingerprint.

Cite this