Contratos y pruebas de programas

Qué aprenderás

• Un contrato establece entradas válidas y propiedades esperadas de salida
• Construir y comprobar una solución usando datos ficticios.
• Resolver y aprobar la hoja de ejercicios antes de continuar.

Conceptos del tema

Un contrato establece entradas válidas y propiedades esperadas de salida.

Las pruebas incluyen casos normales, límites y errores.

Una prueba que pasa no demuestra que todo programa sea correcto, pero una batería bien elegida detecta regresiones y documenta su comportamiento.

Cómo interpretar este tema

Separa el objetivo de los datos de entrada y del criterio de éxito. Trabaja primero con ejemplos ficticios que puedas comprobar. En código, identifica entradas, operaciones y salidas; en un encargo a una IA, distingue el contenido generado de las acciones realmente ejecutadas.

Construye una solución pequeña y revisable. Comprueba casos normales, fronteras y errores; conserva las fuentes de las afirmaciones y los permisos de cada herramienta. Los ejemplos de Python de este curso se copian a tu propio entorno: la página no ejecuta código ni realiza llamadas a servicios de IA.

Detalles para comprender la regla

El contrato puede exigir un error o una respuesta explícita; debe ser coherente.

Conservan casos relevantes para descubrir errores introducidos por cambios.

Estos casos ejercitan extremos que pueden no aparecer en ejemplos normales.

Ejemplo resuelto

Prueba una función de media de una lista.

1. Comprueba una lista con valores conocidos.
2. Incluye un solo valor y números negativos.
3. Define qué debe ocurrir con una lista vacía antes de probarla.

Cómo practicar

1. Define el resultado y los datos que necesita.
2. Revisa el ejemplo y anticipa su salida antes de probarlo.
3. Comprueba un caso normal, una frontera y un error.
4. Explica la solución y verifica los datos o fuentes que utiliza.

Tu cuenta gratuita guarda respuestas, notas y progreso en las dos plataformas.

Recursos para profundizar

• Programación y algoritmos · MIT OCW ↗

  Programa y materiales abiertos de referencia. Los contenidos y ejercicios de Aprende son propios.