Las pruebas basadas en modelos son pruebas de software , en las que los casos de prueba ( test cases ) se obtienen parcial o totalmente de un modelo que describe algunos aspectos (a menudo funcionales) del sistema bajo prueba ( inglés system under test ). Los modelos pueden representar el comportamiento deseado del sistema o usarse para crear estrategias de prueba o entornos de prueba.
El modelo que describe el objeto bajo prueba suele ser abstracto y describe solo una parte de la funcionalidad del objeto. Las pruebas generadas a partir de dichos modelos también son abstractas y no se pueden usar directamente para probar un objeto. Basado en escenarios de prueba abstractos, es necesario implementar su implementación para el objeto bajo prueba. Esta implementación se puede utilizar para pruebas directas. En algunos entornos de modelado, los modelos pueden contener suficiente información para generar pruebas ejecutables.
Dado que los modelos generalmente se construyen sobre la base de los requisitos o el comportamiento esperado de un dispositivo, dicha prueba generalmente se considera una forma de prueba de caja negra .