Introducción a la metodología de diseño descendente

© FUOC • P05/75062/00112 35 Introducción a la metodología de diseño descendente4. Evaluar la soluciónDe momento no hemos introducido ningún método formal para verificar la correcciónde un algoritmo. Es decir, debemos hacerlo informalmente, medianteel razonamiento sobre la semántica de los elementos y las construcciones dellenguaje algorítmico que hayamos utilizado, y mediante la comprobación, pasoa paso, de que los hemos ido componiendo de modo adecuado para conseguirfinalmente la postcondición deseada.Los comentarios que hayamosinsertado en el momento de hacerel diseño, como ya sabéis, nosayudarán a llevar a cabo estareflexión.De todas formas, el uso de la metodología de diseño y aplicación adecuada delos esquemas de recorrido y búsqueda nos asegura la corrección de los tratamientossecuenciales que hayamos hecho. Recordad que un esquema es una especiede plantilla cuyo funcionamiento conocemos muy bien, y que utilizamospara solucionar un tipo concreto de problemas; por lo tanto, si lo aplicamos correctamente,nos conducirá a resultados también correctos.El uso combinado del diseño descendente y de los mecanismos de abstracciónno sólo beneficia al diseño, sino que también favorece otras etapas del desarrollode programas:Como vimos en el módulo“Introducción a la programación”las etapas de desarrollo de un programason el análisis de requerimientos,el diseño, la implementación, las pruebasy el mantenimiento.• El proceso de desarrollo: gracias al hecho de parcelar la complejidad de losproblemas y de descomponerlos sucesivamente en fragmentos menores,nos ocupamos en cada momento de la resolución de un único problema dedimensiones más manejables.• La puesta a punto: los fragmentos que componen los programas se puedenprobar por separado (individualmente cada acción y función), y poco a poco.• El mantenimiento: las modificaciones posteriores que será necesario realizardurante la vida útil de un programa, normalmente, tienen un impactolocalizado sólo en unas pocas acciones; el resto del programa no se ve afectadoy, por lo tanto, el hecho de tenerlo descompuesto facilita su modificación.Por otro lado, si los programas tienen una estructura más clara, resultamás fácil y seguro modificarlos.• La reutilización del código: si se desarrollan programas que tratan con objetossimilares, seguramente podremos aprovechar estos diseños de tiposya hechos por otros programas, así como las funciones y las acciones quetraten.• La legibilidad: los programas que nos resultan después de aplicar las técnicasde diseño descendente y los esquemas están estructurados, por lo queson más fáciles de leer y analizar.