Ejercicios: El proceso de desarrollo

Estas fases del desarrollo de un programa están desordenadas: (a) probar el programa con distintos datos, (b) editar el código fuente, (c) depurar los errores encontrados, (d) ejecutar el programa. Ordénelas de forma razonable y explique qué se hace en cada una, teniendo en cuenta que al probar puede ser necesario volver atrás.

Explique qué es un «bug» en un programa y qué es depurar. Ponga un ejemplo sencillo de error que podría tener el programa de un cajero automático y qué consecuencia tendría para el usuario.

La figura muestra el ciclo de trabajo del desarrollo de un programa, pero una de sus etapas está tapada con un signo de interrogación, como se muestra en la figura.

Indique qué etapa falta dentro del ciclo, en qué consiste y por qué la flecha de «no» devuelve el trabajo a la edición del código.

Explique qué es un mensaje de traza o registro (log) en un programa y cómo ayuda a encontrar un error (permite ver por dónde pasó el programa y con qué valores).

Los programas tienen versiones (1.0, 1.1, 2.0...). Explique para qué sirve guardar versiones del código y qué puede hacer si la última versión funciona peor que la anterior.

Explique qué es un caso de prueba y escriba dos casos para un programa que suma dos números: uno con valores normales y otro con algún valor especial, indicando la entrada y el resultado esperado de cada uno.

La documentación acompaña al programa. Explique qué dos cosas debería explicar como mínimo (qué hace el programa y cómo se usa) y por qué un programa sin documentar «envejece» mal cuando trabaja un equipo.

Distinga entre un error que aparece al compilar (el programa ni siquiera arranca) y un error que aparece en ejecución (arranca pero falla con ciertos datos), con un ejemplo de cada tipo.

Explique la diferencia entre un error de sintaxis y un error de lógica, con un ejemplo de cada uno en un programa que calcula el promedio de tres notas. ¿Cuál de los dos tipos impide ejecutar el programa y cuál deja ejecutarlo pero da resultados incorrectos?

Un programa que divide dos números funciona bien en casi todas las pruebas, pero falla cuando el divisor es 0. Explique qué son los valores límite o casos especiales en las pruebas, por qué hay que probarlos siempre y cite otros dos valores con los que probaría este programa.

Explique qué es la modularización de un programa (dividirlo en funciones o módulos) y analice dos ventajas que aporta cuando el desarrollo lo hace un equipo de varias personas: piense en el reparto del trabajo, en las pruebas y en la localización de errores.

Un bucle de un programa no se detiene nunca. Explique dónde colocaría mensajes de escritura temporales para diagnosticarlo (dentro del bucle, mostrando la variable de control en cada vuelta) y qué observaría en esos mensajes para encontrar la causa.

Para probar un programa que aplica un descuento a personas de 65 años o más, defina tres casos de prueba: uno con un valor normal, uno con el valor límite exacto y uno con un valor erróneo (edad negativa o imposible), con el resultado esperado de cada uno. Justifique sus elecciones.

Explique qué es refactorizar (mejorar el código sin cambiar lo que hace) y describa dos refactorizaciones típicas (renombrar variables con nombres claros, extraer una función a partir de código repetido), con un ejemplo de cada una.

Un fragmento de código usa las variables x, y2 y zzz para guardar el precio, el impuesto sobre ventas y el total. Reescriba esos nombres de forma significativa y explique por qué la elección de nombres es una herramienta contra los errores (el código se autodocumenta).

En el sistema de cobro de una cooperativa escolar se ha detectado que, al emitir la factura mensual, el total a pagar de algunos socios es erróneo. Usted dispone de los siguientes registros del sistema:

• Socio 101: 2 compras de 15.00 lempiras -> Total cobrado: 30.00 lempiras (esperado: 30.00 lempiras).

• Socio 102: 1 compra de 50.00 lempiras con descuento promocional del 10 % (5.00 lempiras) y recargo por gastos de gestión de 3.00 lempiras -> Total cobrado: 47.50 lempiras (esperado: 48.00 lempiras).

• Socio 103: 1 compra de 20.00 lempiras y devolución de 1 artículo de 5.00 lempiras (-5.00 lempiras) -> Total cobrado: 25.00 lempiras (esperado: 15.00 lempiras).

• Formule una hipótesis justificada sobre el fallo lógico o de orden de operaciones que explica el error en el Socio 102 y en el Socio 103.

• Diseñe la estrategia de depuración para confirmar sus hipótesis: indique qué datos de prueba mínimos introduciría para aislar el fallo, en qué puntos del flujo situaría puntos de interrupción (breakpoints) y qué variables concretas debería inspeccionar paso a paso.

Diseñe un plan de pruebas para un programa que pide dos números y muestra su división: haga una tabla con al menos seis casos de prueba (pares de valores de entrada, incluyendo valores normales, límite y erróneos), el resultado esperado de cada uno y qué debería hacer el programa si la entrada no es válida. Justifique la elección de cada caso.

La intranet del colegio implementa un módulo de autenticación con los siguientes requisitos:

• Nombre de usuario: de 4 a 12 caracteres alfanuméricos, insensible a mayúsculas/minúsculas.

• Contraseña: entre 8 y 16 caracteres, sensible a mayúsculas/minúsculas, con al menos un dígito y un carácter especial.

• Seguridad: bloqueo temporal de la cuenta durante 15 minutos tras tres intentos fallidos consecutivos.

Diseñe un plan de pruebas riguroso mediante una tabla con al menos seis casos de prueba diseñados por usted. Para cada caso debe especificar: identificador, valores de entrada (usuario y contraseña), estado previo del sistema, resultado esperado y qué riesgo específico de lógica, frontera o seguridad está validando.