Algoritmos y Programación en Pascal

9.3. Metodología de la programación con subprogramas 193
SumarFracciones y SimplificarFraccion son totalmente independientes entre
sí, de manera que ambas pueden usarse y verificarse por separado. Se facilita
así la legibilidad del programa y la posibilidad de modificar alguna de
sus partes sin preocuparnos por los efectos o la repercusión de éstas sobre otros
subprogramas. Supongamos que en vez de sumar hubiera que multiplicar fracciones;
bastaría entonces con sustituir SumarFraccion por un nuevo procedimiento
MultiplicarFraccion, quedando el resto del programa inalterado.
También se facilita el mantenimiento del programa, puesto que las modificaciones
necesarias afectarán solamente a algunos subprogramas.
En la programación con subprogramas debe atenderse a los siguientes aspectos:
• El cometido de cada subprograma, que se refleja en la interfaz y en la
especificación.
• El desarrollo del subprograma en sí, que es un aspecto privado, oculto al
exterior.
• Los objetos que surjan en este desarrollo son particulares del subprograma,
por lo que deben ocultarse al exterior. Esta ocultación de la información
consiste en que los objetos y acciones particulares de los subprogramas
sean inaccesibles desde el exterior. Cada subprograma pasa a constituir
una caja negra en la que se introducen unos datos y de la que se extraen
unos resultados pero sin poder ver lo que pasa dentro.
• Como consecuencia, toda la comunicación con los subprogramas se debe
realizar únicamente a través de los parámetros, alcanzándose entonces la
independencia de los subprogramas entre sí. La independencia es deseable
al facilitar el desarrollo del programa, su comprensión y verificación, su
mantenimiento y reutilización posterior.
• En el desarrollo de subprogramas es corriente que surja la necesidad de
crear nuevos subprogramas . . , dando lugar a una estructura jerárquica
derivada de la aplicación de las técnicas de diseño descendente.
9.3.1 Diseño descendente con subprogramas
La división de un algoritmo en subprogramas requiere un proceso de abstracción
por el que se usan, como si existieran, subalgoritmos sin concretar todavía.
Debe entonces establecerse la interfaz y el cometido (especificación) de ese subprograma,
que constituye su enunciado y que será útil para su posterior concreción
y verificación según las ideas dadas en el apartado 8.7.