Verificación y Validación: Tipos de Pruebas y Técnicas de Generación de Casos de Prueba