El proceso de evaluación de un programa sin ejecutar el programa. Véase también escritorio comprobación, auditoría, inspección, analizador estático, recorrido por el código. Análisis de contraste con dinámica.