Validación de un algoritmo

Proceso de verificación mediante el cual se asegura que el algoritmo está libre de errores sintácticos y de escritura y (b) 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.