Lo que el pseudocódigo no prueba

La herramienta avisa de lo que no resolvió: una rama que depende de un valor del equipo, un bloque que quedó marcado como datos en vez de como código, una llamada cuyo destino se decide durante la ejecución. Cada aviso es un trozo de programa que no está en el pseudocódigo, aunque el texto se lea entero y seguido.

En M-2411 hay tres funciones con aviso y cuatro limpias. La que peor queda es una que arma el cuerpo de un mensaje y se lo entrega a un destino que la herramienta no pudo determinar: el mensaje está, el destinatario no.

La frase que más se repite en estos informes es «la muestra hace X» cuando lo que se ha visto es que tiene código para hacer X. No es lo mismo. Una rama puede no cumplirse nunca en los equipos de la empresa; una función puede estar en el archivo y no alcanzarse por ningún camino; una comparación puede fallar siempre.

El informe que distingue las dos cosas sirve para decidir. El que las mezcla convierte una posibilidad en un hecho y obliga a quien recibe el informe a tomar decisiones caras sobre algo que nadie observó.

El borrador que circuló tiene cinco frases. Cuatro se apoyan en lecturas razonables que el material no sostiene: suman dos funciones que no se llaman entre sí, dan por leída una rama que la herramienta marcó como datos, atribuyen autoría por un parecido y nombran una operación que el pseudocódigo deja sin nombre. Una sola tiene a la vez la evidencia en el texto y la observación de la corrida.

Reconocer esa frase es el ejercicio: no se trata de tachar el borrador entero, sino de ver qué parte aguanta y qué parte necesita otra cosa.

La afirmación más tentadora del borrador une dos funciones: una que recorre carpetas y otra que habla con el servidor. Suena a conclusión evidente, pero en el grafo de llamadas esas dos funciones no se llaman entre sí en ese orden, y nadie ha trazado el recorrido de los datos de una a otra.

Esa es la forma más común de pasarse de la raya leyendo pseudocódigo: no inventar nada, sino sumar dos lecturas correctas y presentar la suma como si estuviera leída.