Proyecto del módulo de validación y verificación de software