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

© FUOC • P05/75062/00112 16 Introducción a la metodología de diseño descendentepara razonar la corrección de esta etapa de diseño. En el segundo nivel deberemosdefinir los tipos tFrase, para trabajar con los detalles que creamos convenientes.Podremos estudiar la mejor alternativa, que no tendrá ningún efectosobre el primer nivel, siempre que se respete el significado, implícito en estosmomentos, de las acciones y/o funciones que utiliza el algoritmo del primer nivel,y que se desarrollarán en el segundo. Podremos comprobar que cada funcióno acción haga lo que tiene que hacer, sin tener que retroceder a etapas anterioresdel diseño.Antes de proseguir con el problema que nos ilustra este apartado, vamos a hacerotras observaciones. La notación algorítmica nos permite definir accionesy/o funciones y encapsular subproblemas, tal y como hemos hecho en la últimasolución del ejemplo. Los constructores de tipos y la declaración de nuevostipos nos permiten encapsular las abstracciones de datos. De este modo, la notaciónnos da todos los elementos necesarios para poder reflejar en el diseñolas abstracciones que hemos realizado y la metodología seguida en las descomposiciones.Si seguimos las pautas, también podremos evitar reescribir o modificarcada una de las etapas previas.1.5. Herramientas de la notación para abstraer datosComencemos por hablar sobre cómo encapsular nuestras abstracciones de datos.Por ejemplo, intentemos definir la abstracción de frase de nuestro ejemplo.Podemos ver la frase como una secuencia de palabras o vocablos, y tambiéncomo una secuencia de caracteres. Imaginemos que en la aplicación que estamosdesarrollando nos piden detectar frases capicúas. Cuando llegásemos alnivel que trata la abstracción de frase, nos daríamos cuenta de que nos hacefalta guardar toda la frase para comparar el último carácter con el primero, elpenúltimo con el segundo, etc., aplicando un esquema de búsqueda dentro deuna función que señalaría si una frase es capicúa o no. Para definir los tipos,podemos utilizar los constructores de tipos que nos ofrece el lenguaje: tablasy tuplas.Por ejemplo, la frase“Dábale arroz a la zorra el abad”es capicúa.En nuestro caso, puesto que la frase consiste en datos homogéneos (caracteres),utilizaríamos las tablas. Por ejemplo:tipoftipotFrase = tabla [maxCarFrase + 1] de caracter;donde maxCarFrase es el máximo de caracteres que preveíamos que tendríacada frase. El elemento de más es para el centinela, ya que a priori no sabemos