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

© FUOC • P05/75062/00112 15 Introducción a la metodología de diseño descendenteescribirResultadosAnalisis(ResultadosAnalisisTexto);{ Post: en el caso de que no sea necesario corregir T no se escribe nada. En el caso deque T sea un texto por corregir, se generará en la salida una secuencia R formadapor tres elementos:R1 representa la media de palabras que hay que corregir por frase de T.R2 representa el porcentaje de frases que hay que corregir en T.R3 representa el máximo de palabras que hay que corregir por frase de T }falgoritmoObservad que la última solución presentada por el primer nivel tiene la particularidadde ser sintácticamente correcta. Sin embargo, no es completa porque faltapor definir el tipo tFrase y un conjunto de acciones y/o funciones (obtenerFrase, yultimaFrase), y el tipo tDatosAnalisis con sus acciones (inicioResultadosAnalisis, actualizaResultadosAnalisis,y escribirResultadosAnalisis), que se deberán definir en unsegundo nivel.A pesar de que no es completa, hay otra ventaja que podemos aprovechar: podemosrazonar la corrección de la solución hasta ahora formulada sin necesidadde conocer los detalles de los tipos aún no definidos, ni de cómo lasacciones y/o funciones realizarán el efecto que se espera de ellas, que todavíaestán por desarrollar. La especificación de cada una de las acciones o funcionesque hay que desarrollar nos indica cuál es su efecto; a partir de aquí podemosrazonar la corrección de la solución formulada. Cuando se desarrolle el siguientenivel, si las acciones o funciones desarrolladas respetan sus precondiciones ypostcondiciones, se mantendrá la corrección del nivel actual. La especificaciónjuega aquí un papel importante de puente entre niveles, ya que ayuda a separarel qué del cómo.La corrección de la solución nos viene asegurada por el hecho de que hemosaplicado el esquema de recorrido a una secuencia de frases. En la solución propuestahemos considerado una última frase que actúa como marca de final desecuencia. Es preciso averiguar si esta frase es sólo una marca o si es al mismotiempo una frase que se debe tratar y una marca.Si examinamos el enunciado, observamos que al final del texto tendremos doscaracteres “.”. El primer punto pertenece a la última frase “real” del texto. El segundopunto puede verse como un punto que cierra una frase vacía (no tieneninguna palabra) y sólo sirve para marcar el final del texto. La frase vacía indicaráel fin de la secuencia de frases; por lo tanto, no es necesario tratarla (analizarla,en este caso). Sólo hay que analizar cada frase leída no vacía, acumulandolos resultados de su análisis en el objeto ResultadosAnalisisTexto. Cuando salgamosde la iteración mientras , habremos analizado todas las frases “reales” deltexto (es decir, con caracteres y, por lo tanto, con contenido), y ResultadosAnalisisTextotendrá el resultado del análisis global del texto.Uno de los puntos...... fuertes de los esquemas resideen que conocemos todos losdetalles de su funcionamiento ocomportamiento, que nos sirvende base para razonar cómodamentesobre la correccióndel algoritmo o fragmento dealgoritmo resultante de la aplicaciónde los esquemas.Además, el hecho de que el algoritmo no entre en detalles del tipo no definido,pues la responsabilidad de estos detalles pertenece a las acciones y/o funcionesque tratan el tipo, hace que la definición concreta de tFrase sea irrelevanteLa orientación a objetos nos facilitauna separación de los problemasmuy efectiva para descomponerlosen subproblemas independientes.