Ejercicios ejemplo: verificación pseudocódigo algoritmo valor suma de sucesión matemática (CU00238A)

Codificación aprenderaprogramar.com: CU00238A

EJERCICIO 1 VALOR DE LA SUMA DE UNA SUCESIÓN

Se desea realizar una verificación funcional basada en 3 casos, del algoritmo que se muestra a continuación, definido para realizar el cálculo del valor de la suma de la sucesión: 1 / (a) , 1 / (a-1) , 1 / (a-2) , ... , 1 / 1 siendo a un entero comprendido entre 1 y 100.

SOLUCIÓN

Dado que nos pide evaluar 3 casos hemos de decidir entre 1 y 100, qué valores escogemos. El criterio que vamos a seguir es coger los dos extremos más un punto intermedio. Los valores de “arranque” y “terminación” suelen ser singulares, por lo que normalmente los probaremos cuando verifiquemos el algoritmo. Los valores que elegimos son 1, 50, 100. Venimos utilizando tablas de variables pues resultan didácticas para nuestro objetivo. Pero si quisiéramos realizar una evaluación con 50 pasadas por un bucle necesitaríamos, como mínimo, 50 filas de una tabla. Y para 100, pues 100 filas. Resulta excesivo. Tendríamos dos opciones:

a)   Con una buena calculadora realizar la verificación mental del algoritmo.

b)   Resolverlo con “programación rápida”.

Preferimos el segundo método, ya que “confiar en nuestra cabeza” para un gran número de operaciones no nos garantiza el estar libres de error. Dado que aún no hemos hablado de programación con un lenguaje específico, vamos a resolver el ejercicio para los valores 1, 3, 5.

Comentarios: Las tablas se han construido respetando expresiones tipo algebraico en vez de poner sus equivalentes decimales para facilitar la comprensión de los procesos. En efecto, resulta más claro escribir (1 / 5) + (1 / 4) + (1 / 3) que 0,7833333333333333333.

EJERCICIO 2 VERIFICACIÓN DEL ALGORITMO DE CÁLCULO DEL VALOR DE LA SUMA DE UNA SUCESIÓN

Verificar que el programa suc02, algoritmo que se facilita a continuación, funciona correctamente para valores de entrada 0, 1,25 y 5:

a)   Suponiendo que se ejecuta el programa tres veces.

b)   Suponiendo que el usuario realiza los tres cálculos en un misma ejecución del programa.

SOLUCIÓN

Nota: donde aparece SQR el significado es "raíz cuadrada".

Comentarios: Si comparamos el resultado del programa, tanto para tres ejecuciones con un dato por ejecución como para una sola ejecución con tres datos, con el “cálculo normal”, comprobamos que el funcionamiento es correcto.

En las tres primeras tablas no hemos evaluado la variable E porque no tiene trascendencia: se entiende que para meter un dato el usuario ha de elegir el 1 y después sale eligiendo el 2. No tiene que hacerse un seguimiento de todas las variables: el programador decidirá cuáles seguir en función del objetivo de la verificación que esté haciendo.

En la cuarta tabla sí evaluamos la variable E por convertirse en elemento activo de la gestión del programa.

Observamos que existe una columna llamada Dato y otra Copia Dato(Num). Esto obedece a la existencia del módulo genérico Proceso, el cual es invocado en el algoritmo principal de esta manera:

Recordemos que el hecho de invocar PorValor supone que el valor de Dato se transfiere a Num y Num funciona como variable local temporal. Por ello disponemos una columna independiente para seguir la evolución de Num. Si la invocación fuera PorVariable, se transferiría la variable Dato al módulo. En este caso no hubiéramos tenido una columna Copia Dato(Num), sino simplemente hubiéramos reflejado los cambios en la columna Dato.

Otra cuestión a reseñar es la que se produce en la fila número 20 de la cuarta tabla, que hemos señalado con un comentario de [Ojo a esta situación]. Lo que comprobamos ahí es que Raiz01, Raiz02 y Suce presentan unos valores no asociados al dato que se está procesando en ese momento (5), sino al que se procesó anteriormente (1). Ya lo comentamos cuando desarrollamos el programa pero volvemos a repetirlo. Si el acumulador Suce no se establece a cero al empezar el módulo Proceso, obtendremos resultados erróneos. Esto es así porque las variables Raiz01, Raiz02 y Suce son globales, y por tanto conservan “memoria” de todo lo que ha pasado, hecho que no ocurre con las variables locales.

En las tablas que venimos usando a veces empleamos expresiones algebraicas como SQR(5) + SQR(4) + SQR(3) en vez de valores reales equivalentes como  para facilitar el seguimiento del programa y el de la tabla. Piénsese que si escribimos  no tenemos información de cómo se ha generado ese dato, que igual podría provenir de SQR(5) + SQR(4) + SQR(3) como de SQR (35,6184) ó de 4,718+1,25. En resumen, tenemos que pensar que la tabla nos puede ser de utilidad en una consulta dentro de un mes y cuanto más clara sea más fácil nos resultará entenderla.

Para acceder a la información general sobre este curso y al listado completo de entregas pulsa en este link:  Ver curso completo.

Para  hacer un comentario o consulta utiliza los foros aprenderaprogramar.com, abiertos a cualquier persona independientemente de su nivel de conocimiento.