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

© FUOC • P05/75062/00112 22 Introducción a la metodología de diseño descendenteaccion inicioResultadosAnalisis(sal A: tDatosAnalisis)A.nFrases := 0;A.nFrasesCor := 0;A.nPalabrasPorCorregir := 0;A.maximoPalabrasPorCorregir := 0faccionaccion actualizaResultadosAnalisis(ent F: tFrase; entsal A: tDatosAnalisis)varnPalabrasPorCorFrase: entero;fvarA.nFrases := A.nFrases + 1;nPalabrasPorCorFrase := palabrasPorCorregir(F);si nPalabrasPorCorFrase > 0 entoncesfsiA.nFrasesCor := A.nFrasesCor + 1;A.nPalabrasPorCorregir := A.nPalabrasPorCorregir + nPalabrasPorCorFrasesi nPalabrasPorCorFrase > A.maximoPalabrasPorCorregir entoncesA.maximoPalabrasPorCorregir := nPalabrasPorCorFrasefsifaccionaccion escribirResultadosAnalisis(ent A: tDatosAnalisis)si A.nFrasesCor > 0 entoncesfsifaccionescribirReal(enteroAReal(A.nFrasesCor) / enteroAReal(A.nFrases) ∗ 100.0);escribirReal(enteroAReal(A.nPalabrasPorCorregir) / enteroAReal(A.nFrasesCor));escribirEntero(A.maximoPalabrasPorCorregir)Notad que debemos prever el error de dividir por 0 en la última acción. El enunciadopide que no se genere salida si no hay errores.En la acción actualizaResultadosAnalisis se utiliza la función palabrasPorCorregirque añadiremos al grupo de acciones y/o funciones del tipo tFrase. A pesar deque, por razones de exposición, ya habíamos adelantado el tipo tFrase, la funciónnos resulta útil para mantener la independencia entre las dos abstracciones:para resolver los resultados del análisis del texto no nos hace falta conocerlos detalles de cómo se representa una frase; de esta forma, cuando resolvemosla abstracción de frase, llevaremos a cabo esta acción independientemente de loque se ha hecho en la abstracción de datos del análisis. Si hacemos modificacionesen tFrase (con los respectivos cambios que hay que realizar en su conjuntode acciones y funciones), no tendremos que examinar el código referente a laabstracción de datos de análisis. La especificación de la función será la siguiente:funcion palabrasPorCorregir(f: tFrase): entero;{ Pre: f = F }{ Post: palabrasPorCorregir(F) nos da el número de palabras por corregir en la frase F }Vamos a resolver el segundo nivel de abstracción: la abstracción de frases. Empezaremospor el subproblema de obtener una frase. La mejor forma de plantearsu obtención es considerar que, en la entrada, la frase que se debe obteneres una secuencia de palabras:m 1 m 2 m 3 m 4 ...