El concepto de Smart City o Ciudad Inteligente engloba el conjunto de acciones y servicios, basados en las tecnologías de información y comunicación, que se ofrecen en un núcleo urbano. En este sentido, el uso de técnicas bioinspiradas para la gestión del flujo del tráfico mediante la sincronización de semáforos podría constituir uno de los aspectos más innovadores en los entornos urbanos en el futuro. No obstante, la programación automática de semáforos requiere además de un proceso de validación de las soluciones generadas, dado que afectan a la seguridad de miles de usuarios. En este trabajo se propone una estrategia de validación basada en los Modelos de Características (Feature Models) para generar automáticamente diversos escenarios para la comprobación de la robustez de los programas de semáforos. Como caso de estudio, se realiza la validación de programas de semáforos en el área urbana de la ciudad de Málaga, generados mediante cuatro algoritmos de optimización (PSO, DE, Random Search y SCPG). El resultado es información validada sobre el programa de semáforos que mejor actúa para un mayor porcentaje de situaciones de tráfico diferentes.