Algoritmos y Programación en Pascal

202 Capítulo 9. Programación con subprogramas
En consecuencia, el código generado aplicando los principios de la programación
con subprogramas es reutilizable, por lo que puede ser incorporado en
otros programas, lo que significa un importante ahorro de tiempo y trabajo. De
hecho, es frecuente la creación de bibliotecas compuestas por subprogramas especializados
para ciertas aplicaciones, como cálculo numérico, estadística, gráficos,
etc. Dichas bibliotecas están disponibles en ciertas instituciones de forma gratuita
o comercial; de ellas, se toman aquellos subprogramas que se precisen y se
introducen dentro del programa. Las técnicas de programación con subprogramas
facilitan la utilización de las bibliotecas y garantizan que no se produzcan
incompatibilidades entre los subprogramas debido, esencialmente, a su independencia.
Cuando se dispone de los subprogramas más elementales, procedentes de
bibliotecas o de otros programas creados con anterioridad, y se integran para
realizar acciones más complejas, y éstas se integran a su vez para efectuar otras
más complejas, y así sucesivamente, hasta obtener la solución de un problema,
se dice que se ha seguido una metodología de diseño ascendente (bottom-up).
Depuración y verificación
Un subprograma puede comprobarse por separado, mediante un programa
de prueba que efectúe la llamada al subprograma, le pase unos datos de prueba
y muestre los resultados. Una vez que se hayan comprobado separadamente los
subprogramas correspondientes a una sección del programa, pueden comprobarse
conjuntamente, y por último probar el programa en su totalidad. La comprobación
de un programa dividido en subprogramas es más fácil de realizar y por
su propia estructura más exhaustiva que la de un programa monolítico.
También puede utilizarse la llamada estrategia incremental de pruebas, consistente
en codificar en primer lugar los subprogramas de los niveles superiores,
utilizando subprogramas subordinados provisionales (que realicen su tarea lo
más simplificadamente posible). De esta forma se dispone de una versión previa
del sistema funcionando continuamente durante todo el proceso de pruebas,
facilitando así la intervención del usuario en éstas.
Igualmente, el proceso de verificación formal será también más llevadero sobre
un programa dividido en partes que sobre la totalidad. Como se explicó en
el apartado 8.7, la verificación de un programa con subprogramas consistirá en
verificar cada uno de éstos, así como su correcto ensamblaje (mediante llamadas).
Ninguna de estas tareas será complicada, y se simplificará notablemente
la comprobación de la corrección con respecto a la de un programa de una sola
pieza.
Por consiguiente, un programa construido mediante subprogramas tendrá
menos errores y éstos serán más fáciles de detectar y subsanar.