El documento presenta una introducción al modelado de pruebas. Explica los conceptos de ingeniería directa e inversa y describe los tipos de pruebas como pruebas de defectos, integración, rendimiento y basadas en requisitos. Luego, presenta un caso de estudio para el mantenimiento de una tabla de usuarios que incluye las aplicaciones para grabar, buscar, listar, actualizar y eliminar usuarios. Finalmente, proporciona referencias bibliográficas.