El documento describe un trabajo sobre los tipos de pruebas de software presentado por Maria Valentina Caaamal Puc para la asignatura de Verificación y Validación impartida en el noveno semestre del Instituto Tecnológico Superior del Sur del Estado de Yucatán en la carrera de Ingeniería en Sistemas Computacionales. El trabajo examina los diferentes tipos de pruebas de software que pueden realizarse para verificar y validar un programa, incluyendo pruebas de unidad, integración, sistema y aceptación de usuario.