Prova basada en model

Una prova basada en model, en l'anglès Model-based testing, és l'aplicació del disseny basat en model (Model based design) per al disseny i òptima execució dels artefactes necessaris per dur a terme les proves de programari. Els models es poden utilitzar per a representar el comportament desitjat del sistema en prova (SUT, de l'anglès System Under Test), o per a representar les estratègies de prova desitjades i els entorns de prova. La imatge de la dreta representa el primer enfocament.

• Practical Model-Based Testing: A Tools Approach, Mark Utting and Bruno Legeard, ISBN 978-0-12-372501-1, Morgan-Kaufmann 2007.
• Model-Based Software Testing and Analysis with C#, Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, ISBN 978-0-521-68761-4, Cambridge University Press 2008.
• Hong Zhu; etal. AST '08: Proceedings of the 3rd International Workshop on Automation of Software Test. ACM Press, 2008. ISBN 978-1-60558-030-2.