A taxonomy of model-based testing approaches

Mark Utting (1) , Alexander Pretschner (2) , Bruno Legeard (3)

1 University of Waikato [Hamilton]
2 KIT - Karlsruhe Institute of Technology
3 UFC - Université de Franche-Comté

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.

Domaines: Génie logiciel [cs.SE]; Modélisation et simulation

Mark Utting, Alexander Pretschner, Bruno Legeard. A taxonomy of model-based testing approaches. Journal of Software Testing, Verification and Reliability, 2012, 22, pp.297 - 312. ⟨10.1002/stvr.456⟩. ⟨hal-00940611⟩