A taxonomy of model-based testing
(2006)Abstract
Model-based testing relies on models of a system under test and/or its environment to derive test cases for thesystem. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows thecharacterization of different approaches to model-based testing. It is intended to help with understanding benefitsand limitations of model-based testing, understanding the approach used in a particular model-based testing tool,and understanding the issues involved in integrating model-based testing into a software development process. Toillustrate the taxonomy, we classify several approaches embedded in existing model-based testing tools.
