PROGRAMACIÓN ESTRUCTURADA
La programación estructurada es una teoría de programación que consiste en
construir programas de fácil comprensión, es especialmente útil, cuando se
necesitan realizar correcciones o modificaciones después de haber concluido un
programa o aplicación. Al utilizar la programación estructurada, es mucho más
sencillo entender la codificación del programa, que se habrá hecho en diferentes
secciones.
Se basa en una metodología de desarrollo de programas llamada refinamiento
sucesivos: Se plantea una operación como un todo y se divide en segmentos más
sencillos o de menor complejidad, una vez terminado todos los segmentos del
programa, se procede a unificar las aplicaciones realizadas por el grupo de
programadores. Si se ha utilizado adecuadamente la programación estructurada,
esta integración debe ser sencilla y no presentar problemas al integrar la misma, y
de presentar algún problema, será rápidamente detectable para su corrección.
El teorema del programa estructurado, propuesto por Böhm-Jacopini, demuestra
que todo programa puede escribirse utilizando únicamente las tres instrucciones
de control siguientes:
Estructura Secuencial: Indica que las instrucciones de un programa se
ejecutan una después de la otra, en el mismo orden en el cual aparecen en
el programa. Se representa gráficamente como una caja después de otra,
ambas con una sola entrada y una única salida.
Las cajas A y B pueden ser definidas para ejecutar desde una simple
instrucción hasta un módulo o programa completo, siempre y cuando éstos
también sean programas apropiados.
Estructura Selectiva: También conocida como la estructura si verdadero -
falso, plantea la selección entre dos alternativas con base en el resultado
de la evaluación de una condición; equivale a la instrucción IF de todos los
lenguajes de programación y se representa gráficamente de la siguiente
manera
En el diagrama de flujo anterior, C es una condición que se evalúa; A es la
acción que se ejecuta cuando la evaluación de esta condición resulta
verdadera y B es la acción ejecutada cuando el resultado de la evaluación
indica falso. La estructura también tiene una sola entrada y una sola salida;
y las funciones A y B también pueden ser cualquier estructura básica o
conjunto de estructuras.
Estructura Repetitiva (Iterativa): También llamada la estructura
hacer – mientras - que, corresponde a la ejecución repetida de una
instrucción mientras que se cumple una determinada condición. El
diagrama de flujo para esta estructura es el siguiente:
Aquí el bloque A se ejecuta repetidamente mientras que la
condición C se cumpla o sea cierta. También tiene una sola
entrada y una sola salida; igualmente A puede ser cualquier
estructura básica o conjunto de estructuras.
Solamente con estas tres estructuras se pueden escribir todos los programas y
aplicaciones posibles. Si bien los lenguajes de programación tienen un mayor
repertorio de estructuras de control, estas pueden ser construidas mediante las
tres básicas citadas.
HISTORIA
El teorema del programa estructurado proporciona la base teórica de la
programación estructurada. Señala que la combinación de las tres estructuras
básicas, secuencia, selección e iteración, son suficientes para expresar cualquier
función computable. Esta observación no se originó con el movimiento de la
programación estructurada. Estas estructuras son suficientes para describir el ciclo
de instrucción de una unidad central de procesamiento, así como el
funcionamiento de una máquina de Turing. Por lo tanto un procesador siempre
está ejecutando un "programa estructurado" en este sentido, incluso si las
instrucciones que lee de la memoria no son parte de un programa estructurado.
Sin embargo, los autores usualmente acreditan el resultado a un documento
escrito en 1966 por Böhm y Jacopini, posiblemente porque Dijkstra había citado
este escrito. El teorema del programa estructurado no responde a cómo escribir y
analizar un programa estructurado de manera útil. Estos temas fueron abordados
durante la década de 1960 y principio de los años 1970, con importantes
contribuciones de Dijkstra, Robert W. Floyd, Tony Hoarey y David Gries.
