Prácticas en Análisis, validación y depuración de software