Algoritmos y Programación en Pascal

74 Capítulo 5. Primeros programas completos
un momento dado puede variar dependiendo del conjunto de valores asociados
a los objetos (constantes y variables) en ese instante. Esos valores (así como
el conjunto de los datos de entrada y los resultados producidos) constituyen
la noción de estado de un programa, que se altera mediante cualquiera de las
sentencias básicas a medida que avanza la ejecución del programa.
Por ejemplo, si consideramos declaradas a, b: integer, el efecto de la
instrucción Write(a + b) depende del estado (valor) de ambas variables, a y
b, por lo que su interpretación en los puntos del programa donde aparezca
...
ReadLn(a, b);
WriteLn(a + b);
a:= a + b;
WriteLn(a + b);
b:= Sqr(a);
WriteLn(a + b);
...
requiere una interpretación histórica basada en los sucesivos estados precedentes.
En concreto, si el input consiste en una línea con los números 2 3 ← , las
instrucciones WriteLn(a + b) producen tres salidas distintas: 5, 8 y 30.
Trazado y depuración de un programa
Una forma de comprobar el comportamiento de un programa para un juego
concreto de datos de entrada consiste en simular su funcionamiento a mano y
seguir la evolución de los estados por los que atraviesa. Típicamente, esos estados
incluyen información sobre el input por leer, el output emitido, los valores de
las variables que intervienen y el punto en que estamos en un momento dado
(véase el apartado 1.2.2).
Siguiendo con el fragmento de programa anterior, el estado de los cómputos
se puede mantener en una tabla como la de la figura 5.1, en la que las posiciones
representan los estados sucesivos entre las instrucciones.
Así, resulta fácil analizar cómo las instrucciones modifican el valor de las
variables. Sin embargo, este sencillo método se vuelve inviable a poco que un
programa se complique. Por ello, algunos entornos de desarrollo de programas
incorporan facilidades para efectuar este seguimiento de forma automática, permitiendo
establecer las variables o expresiones de nuestro interés, así como las
posiciones en que deseamos que se produzca una suspensión momentánea de los
cómputos para examinar su estado. Entre esos entornos se encuentra Turbo
Pascal (véase el apartado C.2.6).