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.