Validación de un algoritmo

Proceso de verificación mediante el cual se asegura: 1. Que el algoritmo está libre de errores sintácticos y de escritura, y 2. Que genera resultados correctos para cualquier combinación coherente de valores de las variables de entrada. No siempre es posible realizar una validación algorítmica completa.