Las hormigas: modelo para detectar fallas en software